A symbolic semantics and bisimulation for Full LOTOS (2001)

by Muffy Calder , Carron Shankland
Venue:PROC. FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS (FORTE XIV
Citations:32 - 6 self