Formalizing and verifying protocol refinements

ACM TIST, no. 2 (2013): ArticleNo.21-ArticleNo.21

Cited by: 24|Views1
EI

Abstract:

A (business) protocol describes, in high-level terms, a pattern of communication between two or more participants, specifically via the creation and manipulation of the commitments between them. In this manner, a protocol offers both flexibility and rigor: a participant may communicate in any way it chooses as long as it discharges all of...More

Code:

Data:

ZH
Get fulltext within 24h
Bibtex
Your rating :
0

 

Tags
Comments