Distributed Computing

DOI10.1007/b13831zbMath1180.68192OpenAlexW4247838468MaRDI QIDQ5897414

Lucia Draque Penso, Maurice P. Herlihy

Publication date: 23 February 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b13831

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)

Related Items (1)

An Axiomatic Approach to Computing the Connectivity of Synchronous and Asynchronous Systems

This page was built for publication: Distributed Computing