Modal Abstractions in µCRL (2004)

by J Pol, M A Valero Espada
Venue:In Proc. of the Algebraic Methodology and Software Technology (AMAST’04