@Inproceedings{EPTCS32.1,
  author    = {F\'abregas, Ignacio and de Frutos Escrig, David and Palomino, Miguel},
  year      = {2010},
  title     = {Equational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics},
  editor    = {Aceto, Luca and Soboci\'nski, Pawe{\l}},
  booktitle = {{\rm Proceedings Seventh Workshop on}
               Structural Operational Semantics,
               {\rm Paris, France, 30 August 2010}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {32},
  publisher = {Open Publishing Association},
  pages     = {1-14},
  doi       = {10.4204/EPTCS.32.1},
}