Oliet, Implementing CCS in MAUDE (2000)

by A Verdejo, N Marti
Venue:Formal Methods For Distributed System Development. FORTE/PSTV 2000 I FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (FORTE XIII) and Protocol Specification, Testing and Ve