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 (5)
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
This page was built for publication: Trustworthy Global Computing
