@conference {12812,
	title = {An operational semantics of value passing},
	booktitle = {Proceedings 2nd North American Process Algebra Workshop, Ithaca, New York},
	year = {1993},
	month = {1993///},
	author = {Cleaveland, Rance}
}
