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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
S. Bavan, E. Illingworth, A. Rajan, and G. Abeysinghe, 2007. “Specification of Asynchronous Communicating Systems (SACS)”. In: Proceedings of the 2007 IADIS conference on Applied Computing, Salamanca, Spain, 17-20 Feb 2007.
S. Bavan and E. Illingworth, 2000. “Design and Implementation of Reliable Point-to-Point Asynchronous Message Passing System”. In: Proceedings of the 10$th$ International Conference on Computing and Information ICCI’2000, Kuwait, 18$th-21st Nov 2000.
W. Fokkink, and W. Fokkink, 2000. “Introduction to Process Algebra”. 1st. Springer-Verlag New York, Inc.
D. Gray, 1999. “Introduction to the Formal Design of Real-Time Systems”, Springer Verlag.
R. Milner, 1982. “A Calculus of Communicating Systems”, Springer Verlag, New York Inc.
E. Tuosto, 2003. “Non Functional Aspects of Wide Area Network Programming”. PhD Thesis, Departmento di Informatica, University of Pisa.
E. Tuosto, 2006. “Research Reports in Computer Science - Concurrency and Mobility”. University of Leicester: School of Mathematics & Computer Science.
V.C. Galpin, 1998. “Equivalence semantics for concurrency: comparison and application”, Ph.D. Thesis, Department of Computer Science, University of Edinburgh, LFCS report ECS-LFCS-98-397, http://www.lfcs.informatics.ed.ac.uk/reports.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer Science+Business Media B.V.
About this paper
Cite this paper
Rajan, A., Bavan, S., Abeysinghe, G. (2008). Semantics for the Specification of Asynchronous Communicating Systems (SACS). In: Sobh, T. (eds) Advances in Computer and Information Sciences and Engineering. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-8741-7_7
Download citation
DOI: https://doi.org/10.1007/978-1-4020-8741-7_7
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-8740-0
Online ISBN: 978-1-4020-8741-7
eBook Packages: Computer ScienceComputer Science (R0)