Trustworthy Global Computing
From MaRDI portal
Publication:5394800
DOI10.1007/11580850zbMath1151.68516MaRDI QIDQ5394800
Konstantinos Chatzikokolakis, Catuscia Palamidessi
Publication date: 1 November 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11580850
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68M14: Distributed systems
Related Items
Behavioural equivalences of a probabilistic pi-calculus, Typed event structures and the linear \(\pi \)-calculus, A framework for analyzing probabilistic protocols and its application to the partial secrets exchange, Probabilistic π-Calculus and Event Structures