A fully abstract semantics for causality in the \(\pi\)-calculus
From MaRDI portal
Publication:1130165
DOI10.1007/s002360050124zbMath0908.68103OpenAlexW2048909687MaRDI QIDQ1130165
Michele Boreale, Davide Sangiorgi
Publication date: 14 March 1999
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s002360050124
Related Items
Reversibility in the higher-order \(\pi\)-calculus, Predictors for flat membrane systems, Models for name-passing processes: Interleaving and causal, Comparing type systems for deadlock freedom, Some congruence properties for \(\pi\)-calculus bisimilarities, A coalgebraic semantics for causality in Petri nets, A stable non-interleaving early operational semantics for the pi-calculus, Event structure semantics for multiparty sessions, Breaking symmetries, Synchrony versus causality in distributed systems, Unnamed Item, Game-theoretic analysis of call-by-value computation, Unnamed Item, A parametric framework for reversible \(\pi\)-calculi, A compositional Petri net translation of general \(\pi\)-calculus terms, \(\pi\)-calculus, internal mobility, and agent-passing calculi, Locality and interleaving semantics in calculi for mobile processes, The \(C_\pi\)-calculus: a model for confidential name passing, Typed event structures and the linear \(\pi \)-calculus, Revisiting causality, coalgebraically, A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus, CaSPiS: a calculus of sessions, pipelines and services, Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators, Bisimulations in the join-calculus, Proof-relevant π-calculus: a constructive account of concurrency and causality, Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS, A Process-Model for Linear Programs, On the expressiveness of internal mobility in name-passing calculi, Non-interleaving semantics for mobile processes, Typed behavioural equivalences for processes in the presence of subtyping, Names of the \(\pi\)-calculus agents handled locally, safeDpi: a language for controlling mobile code, A Chart Semantics for the Pi-Calculus, Towards an algebraic theory of typed mobile processes
