SPANNER is a software package for the specification, analysis, and evaluation of protocols. It is based on a mathematical model of coordinating processes called the selection/resolution model.
No takes yet. Share an insight, caveat, or question.
Aggarwal et al. (1987) studied this question.
Synapse has enriched 5 related papers. Consider them for comparative context: