Skip to main content
Journal ArticleOPEN ACCESS

The coarsest precongruences respecting safety and liveness properties

IFIP Advances in Information and Communication Technology (2010) 323 AICT 32-52
DOI: 10.1007/978-3-642-15240-5_3
13Citations
Citations of this article
4Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

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. © IFIP International Federation for Information Processing 2010.

Cite

CITATION STYLE

APA

van Glabbeek, R. J. (2010). The coarsest precongruences respecting safety and liveness properties. IFIP Advances in Information and Communication Technology, 323 AICT, 32–52. https://doi.org/10.1007/978-3-642-15240-5_3

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free