Fully abstract semantics for higher order communicating systems (Q5096859): Difference between revisions

@@ Property / cites work @@
+Q3829081
@@ Property / cites work: Q3829081 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997501
@@ Property / cites work: Q3997501 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038693
@@ Property / cites work: Q4038693 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845486
@@ Property / cites work: Q4845486 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / 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 @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038691
@@ Property / cites work: Q4038691 / rank @@
+Normal rank
@@ Property / cites work @@
+The Category-Theoretic Solution of Recursive Domain Equations
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-55808-x_45
+Normal rank
@@ Property / OpenAlex ID @@
+W1580396515
@@ Property / OpenAlex ID: W1580396515 / rank @@
+Normal rank