An Operational Framework for Value-Passing Processes.

Rance Cleaveland, Daniel Yankelevich

Browse the full POPL paper archive.