CSP-Casl – A new integration of process algebra and algebraic specification (2003)

by Markus Roggenbach
Venue:Theoretical Computer Science
Citations:28 - 15 self