On bisimulations for the asynchronous π-calculus
From MaRDI portal
Publication:6104371
DOI10.1007/3-540-61604-7_53zbMath1514.68154OpenAlexW4232027917MaRDI QIDQ6104371
Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi
Publication date: 28 June 2023
Published in: CONCUR '96: Concurrency Theory (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-61604-7_53
Related Items
A process algebraic view of Linda coordination primitives, First-order axioms for asynchrony, On implementations and semantics of a concurrent programming language, Variations on mobile processes, On the expressiveness of interaction, Decoding choice encodings, Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators, Concurrency and knowledge-level communication in agent languages, Bisimulations for a calculus of broadcasting systems, Asynchronous process calculi: The first- and higher-order paradigms, G-Reactive Systems as Coalgebras, A Coalgebraic Theory of Reactive Systems
Cites Work