A Brief Survey of Formal Models of Concurrency - Averill, Charles (arXiv.org)