A Theory for the Composition of Concurrent Processes (Q2827466): Difference between revisions

@@ Property / cites work @@
+Higher-level synchronising devices in Meije-SCCS
@@ Property / cites work: Higher-level synchronising devices in Meije-SCCS / rank @@
+Normal rank
@@ Property / cites work @@
+A context dependent equivalence between processes
@@ Property / cites work: A context dependent equivalence between processes / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic bisimulations
@@ Property / cites work: Symbolic bisimulations / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulations for a calculus of broadcasting systems
+Normal rank
@@ Property / cites work @@
+Synchronized behaviours of processes and rational relations
+Normal rank
@@ Property / cites work @@
+Q4222924
@@ Property / cites work: Q4222924 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4543303
@@ Property / cites work: Q4543303 / rank @@
+Normal rank
@@ Property / cites work @@
+A Theory for the Composition of Concurrent Processes
+Normal rank