A stable non-interleaving early operational semantics for the pi-calculus (Q2423752): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlamp.2019.02.006
+Normal rank
@@ Property / OpenAlex ID @@
+W2916646198
@@ Property / OpenAlex ID: W2916646198 / rank @@
+Normal rank
@@ Property / cites work @@
+A static view of localities
@@ Property / cites work: A static view of localities / rank @@
+Normal rank
@@ Property / cites work @@
+On Recursion, Replication and Scope Mechanisms in Process Calculi
+Normal rank
@@ Property / cites work @@
+Psi-calculi: a framework for mobile processes with nominal data and logic
+Normal rank
@@ Property / cites work @@
+A fully abstract semantics for causality in the π-calculus
+Normal rank
@@ Property / cites work @@
+A fully abstract semantics for causality in the \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Flow models of distributed computations: Three equivalent semantics for CCS
+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 @@
+OBSERVING DISTRIBUTION IN PROCESSES: STATIC AND DYNAMIC LOCALITIES
+Normal rank
@@ Property / cites work @@
+Q2760252
@@ Property / cites work: Q2760252 / rank @@
+Normal rank
@@ Property / cites work @@
+Models for name-passing processes: Interleaving and causal
+Normal rank
@@ Property / cites work @@
+State space reduction using partial order techniques
+Normal rank
@@ Property / cites work @@
+Locality based semantics for process algebras
@@ Property / cites work: Locality based semantics for process algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional Event Structure Semantics for the Internal π-Calculus
+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 @@
+Non-interleaving semantics for mobile processes
@@ Property / cites work: Non-interleaving semantics for mobile processes / rank @@
+Normal rank
@@ Property / cites work @@
+A multiset semantics for the pi-calculus with replication
+Normal rank
@@ Property / cites work @@
+Q2763547
@@ Property / cites work: Q2763547 / rank @@
+Normal rank
@@ Property / cites work @@
+A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus
+Normal rank
@@ Property / cites work @@
+Causality and true concurrency: A data-flow analysis of the Pi-Calculus
+Normal rank
@@ Property / cites work @@
+ST-structures
@@ Property / cites work: ST-structures / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing locality and causality based equivalences
+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 @@
+Q4248252
@@ Property / cites work: Q4248252 / 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 @@
+Modal logics for mobile processes
@@ Property / cites work: Modal logics for mobile processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3851636
@@ Property / cites work: Q3851636 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4266484
@@ Property / cites work: Q4266484 / 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
@@ Property / cites work @@
+Refinement of actions and equivalence notions for concurrent systems
+Normal rank
@@ Property / cites work @@
+Configuration structures, event structures and Petri nets
+Normal rank
@@ Property / cites work @@
+On the expressiveness of higher dimensional automata
+Normal rank
@@ Property / cites work @@
+Typed event structures and the linear \(\pi \)-calculus
+Normal rank
@@ Property / cites work @@
+Q4857386
@@ Property / cites work: Q4857386 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q128329722
@@ Property / Wikidata QID: Q128329722 / rank @@
+Normal rank