Claude Petitpierre, Géraldine Conti
The validation of such key properties of communication protocols as liveness, safety, fairness, and performance is considered. In particular, an approach that achieves the validation of the safety properties using CCS combined with assertion proofs is pres ...
IEEE1987