Capability passing processes

DOI10.1016/J.SCICO.2007.01.007zbMath1121.68014OpenAlexW2036509365MaRDI QIDQ2373642

Tom Chothia, Dominic Duggan

Publication date: 16 July 2007

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2007.01.007

zbMATH Keywords

distributed systemsprocess calculusatomic commitment protocolsglobal agreement

Mathematics Subject Classification ID

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

This page was built for publication: Capability passing processes