TY - JOUR
T1 - Capability-Passing Processes
AU - Chothia, Tom
AU - Duggan, Dominic
PY - 2006/5/11
Y1 - 2006/5/11
N2 - Capability-passing processes model global applications in a way that decouples the global agreement aspects of protocols from the details of how the communications are actually made. It relies on a restricted API or programming language and on the exchange of digital certificates representing capabilities to ensure that participants are faithful to a protocol and that outsiders cannot interfere. At the specification level, protocols are reasoned about independently of the underlying communication, using a process calculus with an abstraction of logs to isolate the remote state required for such protocols. At the implementation level, protocol steps no longer perform global communication; instead capabilities are used to transmit evidence of remote state, which in turn are used to authorize local log changes (corresponding to protocol steps). In this way, an API for global agreement protocols is defined independently of the underlying communication system.
AB - Capability-passing processes model global applications in a way that decouples the global agreement aspects of protocols from the details of how the communications are actually made. It relies on a restricted API or programming language and on the exchange of digital certificates representing capabilities to ensure that participants are faithful to a protocol and that outsiders cannot interfere. At the specification level, protocols are reasoned about independently of the underlying communication, using a process calculus with an abstraction of logs to isolate the remote state required for such protocols. At the implementation level, protocol steps no longer perform global communication; instead capabilities are used to transmit evidence of remote state, which in turn are used to authorize local log changes (corresponding to protocol steps). In this way, an API for global agreement protocols is defined independently of the underlying communication system.
KW - atomic commitment
KW - distributed systems
KW - global agreement
KW - process calculus
UR - http://www.scopus.com/inward/record.url?scp=33646187726&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=33646187726&partnerID=8YFLogxK
U2 - 10.1016/j.entcs.2005.12.030
DO - 10.1016/j.entcs.2005.12.030
M3 - Article
AN - SCOPUS:33646187726
SN - 1571-0661
VL - 154
SP - 3
EP - 23
JO - Electronic Notes in Theoretical Computer Science
JF - Electronic Notes in Theoretical Computer Science
IS - 1 SPEC. ISS.
ER -