Semantics of communicating processes

The semantics of a simple language for describing tightly coupled “synchronous” systems is defined. An operational semantics is given by term rewriting rules and a consistent fully abstract denotational semantics is defined based on the concept of observable behavior and advanced fixed point theory. Particular properties of the language are analysed and especially algebraic laws of the language are discussed. Finally some aspects and problems of the formal definition of the semantics of such a language are treated also comparing them to other approaches found in the literature