A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
XY -simulation is a generalization of bisimulation that is parameterized with two subsets of actions. XY -simulation is known in the literature under different names such as modal refinement, partial bisimulation, and alternating simulation. In this paper, we propose a precongruence rule format for XY -simulation. The format allows for checking compositionality of XY -simulation for an arbitrary language with structural operational semantics, by performing very simple checks on the syntacticdoi:10.1007/978-3-319-24644-4_15 fatcat:sma73bextncvfc5ktvlp4xumbu