Proof systems for message-passing process algebras (Q1815341): Difference between revisions

@@ Property / cites work @@
+Q4312484
@@ Property / cites work: Q4312484 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997501
@@ Property / cites work: Q3997501 / rank @@
+Normal rank
@@ Property / cites work @@
+A proof system for communicating processes with value-passing
+Normal rank
@@ Property / cites work @@
+A theory of communicating processes with value passing
+Normal rank
@@ Property / cites work @@
+Symbolic bisimulations
@@ Property / cites work: Symbolic bisimulations / rank @@
+Normal rank
@@ Property / cites work @@
+A modal logic for message passing processes
@@ Property / cites work: A modal logic for message passing processes / rank @@
+Normal rank
@@ Property / cites work @@
+The laws of Occam programming
@@ Property / cites work: The laws of Occam programming / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic theories for name-passing calculi
@@ Property / cites work: Algebraic theories for name-passing calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Automated analysis of mutual exclusion algorithms using CCS
+Normal rank