Models for concurrency - Abraham, Uri (Albegra, logic and applications, 1999)