F Arbab - Formal Modeling: Actors, Open Systems, Biological …, 2011 - Springer
Traditional models of concurrency resort to peculiarly indirect means to express interaction
and study its properties. Formalisms such as process algebras/calculi, concurrent objects …