A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus (Q5738986): Difference between revisions

@@ Property / author @@
+Thomas Troels Hildebrandt
@@ Property / author: Thomas Troels Hildebrandt / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2587991952
@@ Property / OpenAlex ID: W2587991952 / rank @@
+Normal rank
@@ Property / cites work @@
+Psi-calculi: a framework for mobile processes with nominal data and logic
+Normal rank
@@ Property / cites work @@
+Concurrent bisimulations in Petri nets
@@ Property / cites work: Concurrent bisimulations in Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+A fully abstract semantics for causality in the \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+A theory of processes with localities
@@ Property / cites work: A theory of processes with localities / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760252
@@ Property / cites work: Q2760252 / rank @@
+Normal rank
@@ Property / cites work @@
+State space reduction using partial order techniques
+Normal rank
@@ Property / cites work @@
+Event Structure Semantics of Parallel Extrusion in the Pi-Calculus
+Normal rank
@@ Property / cites work @@
+A Compositional Semantics for the Reversible p-Calculus
+Normal rank
@@ Property / cites work @@
+Refinement of actions and equivalence notions for concurrent systems
+Normal rank
@@ Property / cites work @@
+Q2763547
@@ Property / cites work: Q2763547 / rank @@
+Normal rank
@@ Property / cites work @@
+Reversibility in the higher-order \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q3851636
@@ Property / cites work: Q3851636 / rank @@
+Normal rank
@@ Property / cites work @@
+A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus
+Normal rank
@@ Property / cites work @@
+Q3805922
@@ Property / cites work: Q3805922 / rank @@
+Normal rank
@@ Property / cites work @@
+Locality and interleaving semantics in calculi for mobile processes
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent Machines
@@ Property / cites work: Concurrent Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrency and Reversibility
@@ Property / cites work: Concurrency and Reversibility / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5738986