Specification and formal verification of a PLAN algorithm in Maude (2000)

by Bow-Yaw Wang, José Meseguer, Carl A Gunter
Venue:In Tenh Lai, editor, Proceedings of the 2000 ICDCS Workshop on Distributed System Validation and Verification