Capability passing processes

DOI10.1016/J.SCICO.2007.01.007MaRDI QIDQ2373642zbMATH OpenOpenAlexFDO

Authors 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

atomic commitment protocolsdistributed systemsglobal agreementprocess calculus

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1107641
• Process capability indices: overview and extensions
• A new process capability index
• scientific article; zbMATH DE number 502976
• Process realizability
• scientific article; zbMATH DE number 2088781

Cited in

(1)

• \textsf{CaPiTo}: Protocol stacks for services

This page was built for publication: Capability passing processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2373642)