Replication, refinement \& reachability: complexity in dynamic condition-response graphs (Q1671247): Difference between revisions

@@ Property / DOI @@
-.1007/s00236-017-0303-8
@@ Property / DOI: 10.1007/s00236-017-0303-8 / rank @@
-Normal rank
@@ Property / author @@
+Thomas Troels Hildebrandt
@@ Property / author: Thomas Troels Hildebrandt / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00236-017-0303-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2760374955
@@ Property / OpenAlex ID: W2760374955 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic Causality in Event Structures
@@ Property / cites work: Dynamic Causality in Event Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Contextual Petri nets, asymmetric event structures, and processes
+Normal rank
@@ Property / cites work @@
+Software engineering and formal methods. 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14--18, 2011. Proceedings
+Normal rank
@@ Property / cites work @@
+Adaptable processes
@@ Property / cites work: Adaptable processes / rank @@
+Normal rank
@@ Property / cites work @@
+Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion
+Normal rank
@@ Property / cites work @@
+Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes
+Normal rank
@@ Property / cites work @@
+Q5472886
@@ Property / cites work: Q5472886 / rank @@
+Normal rank
@@ Property / cites work @@
+Nested Dynamic Condition Response Graphs
@@ Property / cites work: Nested Dynamic Condition Response Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Contracts for cross-organizational workflows as timed dynamic condition response graphs
+Normal rank
@@ Property / cites work @@
+An event structure semantics for general Petri nets
+Normal rank
@@ Property / cites work @@
+Concurrent Flexible Reversibility
@@ Property / cites work: Concurrent Flexible Reversibility / rank @@
+Normal rank
@@ Property / cites work @@
+Causal ambiguity and partial orders in event structures
+Normal rank
@@ Property / cites work @@
+Q4028627
@@ Property / cites work: Q4028627 / rank @@
+Normal rank
@@ Property / cites work @@
+Applications and Theory of Petri Nets 2004
@@ Property / cites work: Applications and Theory of Petri Nets 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+Specification and verification of declarative open interaction models. A logic-based approach
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+On the nature of events: another perspective in concurrency
+Normal rank
@@ Property / cites work @@
+Enabling Flexibility in Process-Aware Information Systems
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2004
@@ Property / cites work: Mathematical Foundations of Computer Science 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking LTL using constraint programming
@@ Property / cites work: Model checking LTL using constraint programming / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00236-017-0303-8
@@ Property / DOI: 10.1007/S00236-017-0303-8 / rank @@
+Normal rank