Concurrent nets: a study of prefixing in process calculi (Q2491636): Difference between revisions

@@ Property / cites work @@
+A proof theoretical approach to communication
@@ Property / cites work: A proof theoretical approach to communication / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536373
@@ Property / cites work: Q4536373 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4896506
@@ Property / cites work: Q4896506 / rank @@
+Normal rank
@@ Property / cites work @@
+Bigraphs and transitions
@@ Property / cites work: Bigraphs and transitions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5714437
@@ Property / cites work: Q5714437 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank