Research Article
Formal Analysis of Fairness for Optimistic Multiparty Contract Signing Protocol
Table 1
Syntax of the CSP#.
| Stop | Processes do nothing | Skip | Successful termination | | General choice | | External choice | | Internal choice | | Interleaving | | Parallel composition | If (cond) else | Conditional choice | | Event prefixing | | Hiding all occurrences of event in | | Guarded process | | Sequential composition | | Channel output | | Channel input |
|
|