Implementing CCS in Maude (2000)

Cached

Download Links

by Alberto Verdejo , Narciso Martí-oliet
Venue:Formal Methods For Distributed System Development. FORTE/PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (FORTE XIII) and Protocol Specification, Testing and Ver
Citations:16 - 8 self