@INPROCEEDINGS{popl87,
	AUTHOR = "E. W. Stark",
	TITLE = "Concurrent Transition System Semantics of Process Networks",
	BOOKTITLE = "Proceedings of the 1987 SIGACT-SIGPLAN Symposium
			on Principles of Programming Languages",
	PUBLISHER = "ACM",
	YEAR = "1987",
	MONTH = JAN,
	PAGES = "199--210"
}