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


Baier, Christel ; Majster-Cederbaum, Mila


[img]
Vorschau
PDF
1992_07.pdf - Veröffentlichte Version

Download (673kB)

URL: https://ub-madoc.bib.uni-mannheim.de/1875
URN: urn:nbn:de:bsz:180-madoc-18759
Dokumenttyp: Arbeitspapier
Erscheinungsjahr: 1992
Titel einer Zeitschrift oder einer Reihe: None
Sprache der Veröffentlichung: Englisch
Einrichtung: Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik > Sonstige - Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik
MADOC-Schriftenreihe: Veröffentlichungen der Fakultät für Mathematik und Informatik > Institut für Informatik > Technical Reports
Fachgebiet: 004 Informatik
Normierte Schlagwörter (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.
Zusätzliche Informationen:




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




Metadaten-Export


Zitation


+ Suche Autoren in

+ Download-Statistik

Downloads im letzten Jahr

Detaillierte Angaben



Sie haben einen Fehler gefunden? Teilen Sie uns Ihren Korrekturwunsch bitte hier mit: E-Mail


Actions (login required)

Eintrag anzeigen Eintrag anzeigen