Skip to main content

A calculus and logic of resources and processes

David Pym ( University of Bath )