CSP-CASL – A new integration of process algebra and algebraic specification

by Markus Roggenbach
Venue:Theoretical Computer Science
Citations:31 - 17 self