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

by Bow-Yaw Wang, José Meseguer, Carl A Gunter
Venue:In Ten-Hwang Lai, editor, ICDCS Workshop on Distributed System Validation and Verification