@InProceedings{l92-p430-447, AUTHOR = {Vaughan~R. Pratt}, TITLE = {Arithmetic + Logic + Geometry = Concurrency}, YEAR = 1992, BOOKTITLE = {Proc.~of the 1st Latin American Symposium on Theoretical Informatics (LATIN'92)}, ADDRESS = {S\~ao Paulo, Brazil}, PAGES = {430--447}, KEYWORDS = {}}