Modular specification of concurrent systems with observational logic (1999)

by P Resende
Venue:in J.L. Fiadeiro (ed.) Recent Developments in Algebraic Development Techniques