A trace-based service semantics guaranteeing deadlock freedom (Q2428498): Difference between revisions

@@ Property / cites work @@
+Trace and testing equivalence on asynchronous processes
+Normal rank
@@ Property / cites work @@
+A Theory of Communicating Sequential Processes
@@ Property / cites work: A Theory of Communicating Sequential Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Extensional equivalences for transition systems
@@ Property / cites work: Extensional equivalences for transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+The Must Preorder Revisited
@@ Property / cites work: The Must Preorder Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Operating Guidelines for Finite-State Services
@@ Property / cites work: Operating Guidelines for Finite-State Services / rank @@
+Normal rank
@@ Property / cites work @@
+Compact Representations and Efficient Algorithms for Operating Guidelines
+Normal rank
@@ Property / cites work @@
+Q3126969
@@ Property / cites work: Q3126969 / rank @@
+Normal rank
@@ Property / cites work @@
+Fully abstract models of typed \(\lambda\)-calculi
+Normal rank
@@ Property / cites work @@
+Deciding Substitutability of Services with Operating Guidelines
+Normal rank
@@ Property / cites work @@
+Modular construction and partial order semantics of Petri nets
+Normal rank