Semantics for the specification of asynchronous communicating systems (SACS)

Book chapter

Rajan, A., Bavan, A. and Abeysinghe, G. 2008. Semantics for the specification of asynchronous communicating systems (SACS). in: Sobh, T. (ed.) Advances in computer and information sciences and engineering. New York Springer. pp. 33-38
Chapter titleSemantics for the specification of asynchronous communicating systems (SACS)
AuthorsRajan, A., Bavan, A. and Abeysinghe, G.
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.

Page range33-38
Book titleAdvances in computer and information sciences and engineering.
EditorsSobh, T.
PublisherSpringer
Place of publicationNew York
ISBN
Hardcover9781402087400
Publication dates
Print2008
Publication process dates
Deposited18 May 2009
Output statusPublished
Web address (URL)http://www.springerlink.com/content/978-1-4020-6267-4#section=310599&page=1&locus=0
Digital Object Identifier (DOI)https://doi.org/10.1007/978-1-4020-8741-7
LanguageEnglish
Permalink -

https://repository.mdx.ac.uk/item/819yx

Log in to edit
  • 22
    total views
  • 0
    total downloads
  • 0
    views this month
  • 0
    downloads this month

Export as