Semantics for the specification of asynchronous communicating systems (SACS)
Rajan, A. V. S., Bavan, A. S. and Abeysinghe, Geetha (2008) Semantics for the specification of asynchronous communicating systems (SACS). In: Advances in computer and information sciences and engineering. Sobh, Tarek M., ed. Springer, New York, pp. 33-38. ISBN 9781402087400. [Book Section] (doi:10.1007/978-1-4020-8741-7)
Abstract
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.
| Item Type: | Book Section |
|---|---|
| Research Areas: | A. > School of Science and Technology > Computer and Communications Engineering |
| Item ID: | 2330 |
| Depositing User: | Repository team |
| Date Deposited: | 18 May 2009 13:37 |
| Last Modified: | 13 Oct 2016 14:14 |
| URI: | https://eprints.mdx.ac.uk/id/eprint/2330 |
Actions (login required)
 |
View Item |
Statistics
Additional statistics are available via IRStats2.
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)