@INPROCEEDINGS{FabregasEtAl10-sos,
  author =       {Ignacio F{\'a}bregas and de Frutos-Escrig, David and
                  Miguel Palomino},
  title =        {Equational Characterization of Covariant-Contravariant 
                  Simulation and Conformance Simulation Semantics},
  booktitle =    {Proceedings Seventh Workshop on Structural Operational 
                  Semantics, Paris, France, 30 August 2010},
  editor =       {Luca Aceto and Pawe{\l} Soboci\'nski},
  pages =        {1-14},
  series =       {Electronic Proceedings in Theoretical Computer Science},
  volume =       32,
  year =         2010
}