Nat Pryce Steve Crane A Model of Interaction in Concurrent and Distributed Systems. 57-65 http://link.springer.de/link/service/series/0558/bibs/1429/14290057.htm 1998 conf/ares/1998 ESPRIT ARES Workshop db/conf/ares/ares1998.html#PryceC98