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