Typed event structures and the linear \(\pi \)-calculus (Q964488): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2010.01.024
+Normal rank
@@ Property / OpenAlex ID @@
+W2060704426
@@ Property / OpenAlex ID: W2060704426 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Q4260701
@@ Property / cites work: Q4260701 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778815
@@ Property / cites work: Q2778815 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequential algorithms on concrete data structures
@@ Property / cites work: Sequential algorithms on concrete data structures / rank @@
+Normal rank
@@ Property / cites work @@
+A fully abstract semantics for causality in the \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Event Structure Semantics for Nominal Calculi
@@ Property / cites work: Event Structure Semantics for Nominal Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769427
@@ Property / cites work: Q2769427 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449170
@@ Property / cites work: Q4449170 / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS
+Normal rank
@@ Property / cites work @@
+Models for name-passing processes: Interleaving and causal
+Normal rank
@@ Property / cites work @@
+Trustworthy Global Computing
@@ Property / cites work: Trustworthy Global Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional Event Structure Semantics for the Internal π-Calculus
+Normal rank
@@ Property / cites work @@
+A distributed operational semantics of CCS based on condition/event systems
+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 @@
+Free Choice Petri Nets
@@ Property / cites work: Free Choice Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+A multiset semantics for the pi-calculus with replication
+Normal rank
@@ Property / cites work @@
+A Graph Abstract Machine Describing Event Structure Composition
+Normal rank
@@ Property / cites work @@
+Ludics is a Model for the Finitary Linear Pi-Calculus
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Q4508299
@@ Property / cites work: Q4508299 / rank @@
+Normal rank
@@ Property / cites work @@
+An exact correspondence between a typed pi-calculus and polarised proof-nets
+Normal rank
@@ Property / cites work @@
+On reduction-based process semantics
@@ Property / cites work: On reduction-based process semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Causality and true concurrency: A data-flow analysis of the Pi-Calculus
+Normal rank
@@ Property / cites work @@
+Concrete domains
@@ Property / cites work: Concrete domains / rank @@
+Normal rank
@@ Property / cites work @@
+Q3771629
@@ Property / cites work: Q3771629 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Petri nets, event structures and domains. I
@@ Property / cites work: Petri nets, event structures and domains. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247285
@@ Property / cites work: Q4247285 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3746897
@@ Property / cites work: Q3746897 / rank @@
+Normal rank
@@ Property / cites work @@
+\(\pi\)-calculus, internal mobility, and agent-passing calculi
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic event structures and domains
@@ Property / cites work: Probabilistic event structures and domains / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851333
@@ Property / cites work: Q2851333 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic π-Calculus and Event Structures
@@ Property / cites work: Probabilistic π-Calculus and Event Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4650579
@@ Property / cites work: Q4650579 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3667958
@@ Property / cites work: Q3667958 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3030239
@@ Property / cites work: Q3030239 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4225153
@@ Property / cites work: Q4225153 / rank @@
+Normal rank
@@ Property / cites work @@
+Strong normalisation in the \(\pi\)-calculus
@@ Property / cites work: Strong normalisation in the \(\pi\)-calculus / rank @@
+Normal rank