Algebra and logic for resource-based systems modelling (2009)

by M Collinson, D Pym
Venue:Mathematical Structures in Computer Science