Nested Dynamic Condition Response Graphs

DOI10.1007/978-3-642-29320-7_23zbMath1353.68205OpenAlexW60018517MaRDI QIDQ2894574

Raghava Rao Mukkamala, Tijs Slaats, Thomas Troels Hildebrandt

Publication date: 29 June 2012

Published in: Fundamentals of Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-29320-7_23

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (7)

Declarative event based models of concurrency and refinement in psi-calculi ⋮ Business Process Compliance Using Reference Models of Law ⋮ Replication, refinement \& reachability: complexity in dynamic condition-response graphs ⋮ Declarative choreographies and liveness ⋮ Contracts for cross-organizational workflows as timed dynamic condition response graphs ⋮ Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes ⋮ Dynamic Causality in Event Structures

This page was built for publication: Nested Dynamic Condition Response Graphs