A calculus and logic of resources and processes (2006)

Cached

Download Links

by David Pym , Chris Tofts
Venue:FAC, 18:495 – 517
Citations:15 - 7 self