Simulations upto and Canonical Preorders ( extended abstract )

  title={Simulations upto and Canonical Preorders ( extended abstract )},
  author={David de Frutos Escrig and Carlos Gregorio Rodŕıguez},
  • David de Frutos Escrig, Carlos Gregorio Rodŕıguez
  • Published 2007
In this paper we define simulations up-to a preorder and show how we can use them to provide a coinductive, simulation-like, characterization of semantic preorders for processes. The result applies to a wide class of preorders, in particular to all semantic preorders coarser than the ready simulation preorder in the linear time-branching time spectrum. An interesting but unexpected result is that, when built from an equivalence relation, the simulation up-to is a canonical preorder whose kernel… CONTINUE READING
1 Extracted Citations
26 Extracted References
Similar Papers