A framework for verifying data-centric protocols (2011)

by Y Deng, S Grumbach, J-F Monin
Venue:In FORTE 2011: The 31th IFIP International Conference on FORmal TEchniques for Networked and Distributed Systems