Skip to main navigation
Skip to search
Skip to main content
University of Copenhagen Research Portal Home
Help & FAQ
Dansk
English
Home
Profiles
Research output
Research units
Press/Media
Activities
Prizes
???studenttheses???
Datasets
Search by expertise, name or affiliation
Replication, refinement & reachability: complexity in dynamic condition-response graphs
Søren Debois,
Thomas T. Hildebrandt
, Tijs Slaats
8
Citations (Scopus)
40
Downloads (Pure)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Replication, refinement & reachability: complexity in dynamic condition-response graphs'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Reachability
100%
Dynamic Condition Response Graphs
100%
Operational Semantics
33%
Declarative Processes
33%
Regular Languages
33%
Liveness
33%
Event-based
33%
Tractable Approximation
33%
Process Language
33%
Modular Specification
33%
Process-aware Information Systems
33%
Prototype Implementation
33%
Undecidable
33%
Finite State Process
33%
Local Events
33%
NP-hard
33%
Computer Science
Process Model
100%
Operational Semantics
50%
Regular Language
50%
Liveness
50%
Approximation (Algorithm)
50%
Information Systems
50%
Process State
50%
Local Event
50%