Abstract:
We introduce here a calculus of processes, involving an asynchronous parallel composition and some synchronization primitives. It is shown that, in this calculus, many synchronization mechanisms can be formulated; in fact, this calculus is equivalent to Milner's synchronous calculus SCCS. We evaluate its expressive power by means of languages of behaviours.