Modelling Distributed Systems (1977)

by Akinori Yonezawa, Carl Hewitt
Venue:In IJCAI-77