Compositional Reasoning for Processes and Data (2011)

by L O’Reilly, T Mossakowski, M Roggenbach
Venue:Department of Computing Science, University of Glasgow