Paper Info
Title
The Coarsest Precongruences Respecting Safety and Liveness Properties
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.
Year
DOI
Venue
2010
10.1007/978-3-642-15240-5_3
THEORETICAL COMPUTER SCIENCE
DocType
Volume
ISSN
Journal
323
1868-4238
Citations 
PageRank 
References 
6
0.49
7
Authors
3
Name
Order
Citations
PageRank
Rob J. van Glabbeek11930134.34
van glabbeek260.49
robert360.49