@inbook{atkey-2017-observed, title={Observed Communication Semantics for Classical Processes}, ISBN={9783662544341}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-662-54434-1_3}, DOI={10.1007/978-3-662-54434-1_3}, booktitle={Programming Languages and Systems}, publisher={Springer Berlin Heidelberg}, author={Atkey, Robert}, year={2017}, pages={56–82} }