A calculus and logic of resources and processes (2006)

Cached

Download Links

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