Q5089301 (Q5089301): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+On bisimulations for the asynchronous \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+The essence of parallel Algol.
@@ Property / cites work: The essence of parallel Algol. / rank @@
+Normal rank
@@ Property / cites work @@
+Non-angelic concurrent game semantics
@@ Property / cites work: Non-angelic concurrent game semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Global progress for dynamically interleaved multiparty sessions
+Normal rank
@@ Property / cites work @@
+A fully abstract model for the \(\pi\)-calculus.
@@ Property / cites work: A fully abstract model for the \(\pi\)-calculus. / rank @@
+Normal rank
@@ Property / cites work @@
+A Distributed Pi-Calculus
@@ Property / cites work: A Distributed Pi-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+The marriage of bisimulations and Kripke logical relations
+Normal rank
@@ Property / cites work @@
+Trace semantics for polymorphic references
@@ Property / cites work: Trace semantics for polymorphic references / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile objects as mobile processes
@@ Property / cites work: Mobile objects as mobile processes / 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 @@
+Full abstraction for Reduced ML
@@ Property / cites work: Full abstraction for Reduced ML / rank @@
+Normal rank
@@ Property / cites work @@
+Enhanced coalgebraic bisimulation
@@ Property / cites work: Enhanced coalgebraic bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+The name discipline of uniform receptiveness
@@ Property / cites work: The name discipline of uniform receptiveness / rank @@
+Normal rank