Concurrent Composition and Algebras of Events, Actions, and Processes

Mark Burgin a, Marc L. Smith

There are many different models of concurrent processes. The goal of this work is to introduce a common formalized framework for current research in this area and to eliminate shor…