Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
Københavns Universitets forskningsportal Forside
Hjælp og OSS
Dansk
English
Forside
Profiler
Publikation
Forskningsenheder
Presse/medier
Aktiviteter
Priser
???studenttheses???
Forskningsdatasæt
Søg efter ekspertise, navn eller tilknytning
Replication, refinement & reachability: complexity in dynamic condition-response graphs
Søren Debois,
Thomas T. Hildebrandt
, Tijs Slaats
8
Citationer (Scopus)
40
Downloads (Pure)
Oversigt
Fingeraftryk
Fingeraftryk
Dyk ned i forskningsemnerne om 'Replication, refinement & reachability: complexity in dynamic condition-response graphs'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
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%