Rance Cleaveland, Daniel Yankelevich
An Operational Framework for Value-Passing Processes
POPL, 1994.
@inproceedings{POPL-1994-CleavelandY, author = "Rance Cleaveland and Daniel Yankelevich", booktitle = "{Conference Record of the 21st Symposium on Principles of Programming Languages}", doi = "10.1145/174675.177941", editor = "Hans-Juergen Boehm and Bernard Lang and Daniel M. Yellin", isbn = "0-89791-636-0", pages = "326--338", publisher = "{ACM Press}", title = "{An Operational Framework for Value-Passing Processes}", year = 1994, }