Broadcast Calculus Interpreted in CCS upto Bisimulation (Q4917085): 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 @@
+Q4934334
@@ Property / cites work: Q4934334 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulations for a calculus of broadcasting systems
+Normal rank
@@ Property / cites work @@
+Calculi for synchrony and asynchrony
@@ Property / cites work: Calculi for synchrony and asynchrony / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank