The Coarsest Precongruences Respecting Safety and Liveness Properties

Select |




Print


van Glabbeek, Robert

van Glabbeek, Robert


2010-09-20


Conference Material


Theoretical Computer Science 2010


Brisbane


32-52


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.


Springer


safety properties, liveness properties, conditional liveness properties, refinement preorders, labelled transition systems, full abstraction, process algebra, partially synchronous interleaving operator, abstraction, state operator, deadlock, divergence


http://www.wcc2010.org/tcs2010


1868-4238


nicta:3971


van Glabbeek, Robert. The Coarsest Precongruences Respecting Safety and Liveness Properties. In: C.S. Calude & V. Sassone Editor, editor/s. Theoretical Computer Science 2010; Brisbane. Springer; 2010-09-20. 32-52.



Loading citation data...

Citation counts
(Requires subscription to view)