Retracing some paths in process algebra (Q6104362): Difference between revisions

@@ Property / OpenAlex ID @@
+W1554525902
@@ Property / OpenAlex ID: W1554525902 / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs as processes
@@ Property / cites work: Proofs as processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845486
@@ Property / cites work: Q4845486 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992552
@@ Property / cites work: Q3992552 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4885871
@@ Property / cites work: Q4885871 / rank @@
+Normal rank
@@ Property / cites work @@
+Games and full completeness for multiplicative linear logic
+Normal rank
@@ Property / cites work @@
+New foundations for the geometry of interaction
@@ Property / cites work: New foundations for the geometry of interaction / rank @@
+Normal rank
@@ Property / cites work @@
+The Pattern-of-Calls Expansion Is the Canonical Fixpoint for Recursive Definitions
+Normal rank
@@ Property / cites work @@
+A logical view of composition
@@ Property / cites work: A logical view of composition / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287508
@@ Property / cites work: Q5287508 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3946875
@@ Property / cites work: Q3946875 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4204146
@@ Property / cites work: Q4204146 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Coherence for compact closed categories
@@ Property / cites work: Coherence for compact closed categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4077434
@@ Property / cites work: Q4077434 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Functions as processes
@@ Property / cites work: Functions as processes / 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 @@
+A Powerdomain Construction
@@ Property / cites work: A Powerdomain Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Special issue on Hybrid systems
@@ Property / cites work: Special issue on Hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3707426
@@ Property / cites work: Q3707426 / rank @@
+Normal rank