Modal abstractions in µ-CRL (2004)

by J van de Pol, M V Espada
Venue:In Proceedings of AMAST ’04