Notes on Algebraic Calculi of Processes

Abstract

We gathered here some notes on Milner’s calculi of processes. We interpret the terms of these calculi as transition systems. We intoduce a calculus called MEIJE built on a monoid of synchronized actions and illustrate some general semantic notions:...