TITLE     : Expressing the concurrent behaviour of abstract data types with message passing or shared memory : a formal comparison
AUTHOR(S) : De Nicola R, Martelli A, Montanari U
TYPE      : Other
YEAR      : 1980
CODE      : 421728

*** DO NOT EDIT THIS FILE ***