A Deadlock-sensitive Congruence for Action Refinement abstract)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

We consider flow event structures as a model for concurrent systems. They are suited for defining a compositional refinement operation, replacing actions in system descriptions on a higher level by more complex processes on a lower level. We discuss sequential composition and the treatment of deadlocks in flow event structures. We propose an equivalence notion which takes account of deadlocks and is a congruence for the refinement operator.
Original languageEnglish
Title of host publicationProceedings 3rd Workshop on Concurrency and Compositionality, Goslar, March 5-8, 1991
EditorsE. Best, G. Rozenberg
Place of PublicationSankt Augustin, Germany
PublisherGesellschaft für Mathematik und Datenverarbeitung
Pages113-116
Number of pages4
Publication statusPublished - 8 Mar 1991
EventThe 3rd Workshop on Concurrency and Compositionality, 1991 - Goslar, Germany
Duration: 5 Mar 19918 Mar 1991
Conference number: 3

Publication series

NameGMD-Studien Nr.91
PublisherGesellschaft für Mathematik und Datenverarbeitung

Workshop

WorkshopThe 3rd Workshop on Concurrency and Compositionality, 1991
Country/TerritoryGermany
CityGoslar
Period5/03/918/03/91

Fingerprint

Dive into the research topics of 'A Deadlock-sensitive Congruence for Action Refinement abstract)'. Together they form a unique fingerprint.

Cite this