On the Application of Formal Methods for Specifying and Verifying Distributed Protocols.

Marina Gelastou, Chryssis Georgiou, Anna Philippou

Browse the full NCA paper archive.