Trustworthy Global Computing
From MaRDI portal
Publication:5394795
DOI10.1007/11580850zbMath1151.68508OpenAlexW2972035647MaRDI QIDQ5394795
Ugo Montanari, Maria Grazia Buscemi, Michele Boreale
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
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
A compositional coalgebraic model of fusion calculus, A Behavioural Theory for a π-calculus with Preorders, Name-passing calculi: from fusions to preorders and types, Symmetries and Dualities in Name-Passing Process Calculi, A behavioural theory for a \(\pi\)-calculus with preorders
