On the definability of concurrency and communication : event structures versus pomset classes

Baier, Christel ; Majster-Cederbaum, Mila

1992_07.pdf - Published

Download (673kB)

URL: https://ub-madoc.bib.uni-mannheim.de/1875
URN: urn:nbn:de:bsz:180-madoc-18759
Document Type: Working paper
Year of publication: 1992
The title of a journal, publication series: None
Publication language: English
Institution: School of Business Informatics and Mathematics > Sonstige - Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik
MADOC publication series: Veröffentlichungen der Fakultät für Mathematik und Informatik > Institut für Informatik > Technical Reports
Subject: 004 Computer science, internet
Subject headings (SWD): CCS , TCSP
Abstract: In the context of communicating parallel process systems various paradigma for communication resp. synchronisation have been proposed. Two well-known theoretical models for communicating systems are CCS and TCSP. A variety of semantics has been proposed for these and similar languages which can be characterized by different criteria: true versus interleaving parallelism, linear versus branching time models, operational versus denotational approaches, choice of the mathematical discipline to handle recursion and domain equations. In recent years interest has shifted more and more towards semantics that model true parallelism. The most known are petri net semantics, event structure and pomset semantics. The present paper investigates the question whether the two closely related approaches of event structures and pomsets are equally suitable to provide semantics for language constructs as avaible in CCS or TCSP. Given the variety of approaches to semantic description comparative studies like the present one are importantas a guideline. They help us to decide which method suits which purpose. In addition, comparative studies enhance the better understanding of the language constructs, and finally comparative studies of semantics that yield consistency results strengthen our confidence in the correctness of each, of the semantics involved. The paper is divided into seven sections. Section 2 introdtices CCS and TCSP and discusses their communication mechanisms. Section3 introduces event structures. Section 4 defines pomset classes. Section 5 models the communication mechanisms of CCS and TCSP using event structures and section 6 discusses the problems that arise when pomset classes are used. Section 7 is the conclusion. The appendix contains some formal definitions.
Additional information:

Das Dokument wird vom Publikationsserver der Universitätsbibliothek Mannheim bereitgestellt.

Metadata export


+ Search Authors in

+ Download Statistics

Downloads per month over past year

View more statistics

You have found an error? Please let us know about your desired correction here: E-Mail

Actions (login required)

Show item Show item