Failure-divergence semantics and refinement of long running transactions (Q714877): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2012.04.040
@@ Property / DOI: 10.1016/j.tcs.2012.04.040 / 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.1016/j.tcs.2012.04.040
+Normal rank
@@ Property / OpenAlex ID @@
+W2072325835
@@ Property / OpenAlex ID: W2072325835 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods for Open Object-Based Distributed Systems
+Normal rank
@@ Property / cites work @@
+On the expressive power of process interruption and compensation
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4673433
@@ Property / cites work: Q4673433 / rank @@
+Normal rank
@@ Property / cites work @@
+Theoretical foundations for compensations in flow composition languages
+Normal rank
@@ Property / cites work @@
+Coordination Models and Languages
@@ Property / cites work: Coordination Models and Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Communicating Sequential Processes. The First 25 Years
+Normal rank
@@ Property / cites work @@
+A theory of contracts for web services
@@ Property / cites work: A theory of contracts for web services / rank @@
+Normal rank
@@ Property / cites work @@
+An Extended cCSP with Stable Failures Semantics
@@ Property / cites work: An Extended cCSP with Stable Failures Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+UTP Semantics for Web Services
@@ Property / cites work: UTP Semantics for Web Services / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+On the Expressive Power of Primitives for Compensation Handling
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Modeling Long–Running Transactions with Communicating Hierarchical Timed Automata
+Normal rank
@@ Property / cites work @@
+A Calculus for Orchestration of Web Services
@@ Property / cites work: A Calculus for Orchestration of Web Services / rank @@
+Normal rank
@@ Property / cites work @@
+Transformation of programs for fault-tolerance
@@ Property / cites work: Transformation of programs for fault-tolerance / rank @@
+Normal rank
@@ Property / cites work @@
+PVS Embedding of cCSP Semantic Models and Their Relationship
+Normal rank
@@ Property / cites work @@
+The Three Platonic Models of Divergence-Strict CSP
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2012.04.040
@@ Property / DOI: 10.1016/J.TCS.2012.04.040 / rank @@
+Normal rank