scientific article; zbMATH DE number 1512615

zbMath0961.68088MaRDI QIDQ4508299

Oltea Mihaela Herescu, Catuscia Palamidessi

Publication date: 3 October 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

asynchronous \(\pi\)-calculus

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Abstractions for fault-tolerant global computing, Unnamed Item, Probabilistic and nondeterministic aspects of anonymity, Probable innocence revisited, Axiomatizations for probabilistic finite-state behaviors, A general overview of formal languages for individual-based modelling of ecosystems, Characterisations of testing preorders for a finite probabilistic \(\pi\)-calculus, Linear-algebraic λ-calculus: higher-order, encodings, and confluence., Randomized Dining Philosophers without Fairness Assumption, Causal Unfoldings, A framework for analyzing probabilistic protocols and its application to the partial secrets exchange, The vectorial \(\lambda\)-calculus, Typed event structures and the linear \(\pi \)-calculus, Probabilistic anonymity via coalgebraic simulations, A randomized encoding of the \(\pi\)-calculus with mixed choice, Analysing the MUTE Anonymous File-Sharing System Using the Pi-Calculus, Concurrency, σ-Algebras, and Probabilistic Fairness, Compositional Methods for Information-Hiding, Probabilistic mobile ambients, MarCaSPiS: a Markovian Extension of a Calculus for Services, Probabilistic Analysis of Binary Sessions, Non-determinism and Probabilities in Timed Concurrent Constraint Programming, \(\pi\)-calculus with noisy channels, Quantitative information in the tuple space coordination model, Probabilistic Configuration Theories, Probabilistic π-Calculus and Event Structures