Semantics for the specification of asynchronous communicating systems (SACS)

The objective of the paper is to describe the formal definitions for the Specification of Asynchronous Communicating System (SACS). This is a process algebra which is a descendent of the synchronous variant of Calculus of Communicating Systems (CCS) known as Synchronous Calculus of Communicating Systems (SCCS). To this end, we present Structured Operational Semantics (SOS) for the constructs of SACS using Labelled Transition Systems (LTS) in order to describe the behaviour of the processes. Also, we discuss the semantic equivalences for SACS, especially bisimulation, which provides a method for verifying the behaviour of a specified process