We consider conditional reactive systems, a general abstract framework for rewriting, in which reactive systems à la Leifer and Milner are enriched with (nested) application conditions. We study the problem of deriving labelled transitions and bisimulation congruences from a reduction semantics. That is, we synthesize interactions with the environment in order to obtain a compositional semantics. Compared to earlier work we not only address the problem of deriving information about the (minimal) context needed to obtain a full left-hand side and thus be able to perform a reduction, but also generate conditions on the remaining context. © 2012 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Hülsbusch, M., & König, B. (2012). Deriving bisimulation congruences for conditional reactive systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7213 LNCS, pp. 361–375). https://doi.org/10.1007/978-3-642-28729-9_24
Mendeley helps you to discover research relevant for your work.