The Coarsest Precongruences Respecting Safety and Liveness Properties

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

Abstract / Description of output

This paper characterises the coarsest refinement preorders on labelled transition systems that are precongruences for renaming and partially synchronous interleaving operators, and respect all safety, liveness, and conditional liveness properties, respectively.
Original languageEnglish
Title of host publicationTheoretical Computer Science: 6th IFIP WG 2.2 International Conference, TCS 2010, Held as a Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, Proceedings
EditorsCristian S. Calude, Vladimiro Sassone
Place of PublicationBerlin, Heidelberg
PublisherSpringer
Pages32-52
Number of pages21
ISBN (Electronic)978-3-642-15240-5
ISBN (Print)978-3-642-15239-9
DOIs
Publication statusPublished - 23 Sept 2010
EventThe 6th IFIP International Conference on Theoretical Computer Science - Brisbane, Australia
Duration: 20 Sept 201023 Sept 2010
Conference number: 6

Publication series

NameIFIP Advances in Information and Communication Technology
PublisherSpringer Berlin, Heidelberg
Volume323
ISSN (Print)1868-4238
ISSN (Electronic)1868-422X

Conference

ConferenceThe 6th IFIP International Conference on Theoretical Computer Science
Abbreviated titleTCS 2010
Country/TerritoryAustralia
CityBrisbane
Period20/09/1023/09/10

Fingerprint

Dive into the research topics of 'The Coarsest Precongruences Respecting Safety and Liveness Properties'. Together they form a unique fingerprint.

Cite this