@INPROCEEDINGS{DeFrutosEtAl08c,
  title =        {On the unification of process semantics:
                  observational semantics},
  author =       {de Frutos Escrig, David and Carlos Gregorio-Rodr{\'\i}guez
                  and Miguel Palomino},
  editor =       {Mogens Nielsen and Antonin Kucera and Bro Miltersen, Peter
                  and Catuscia Palamidessi and Petr Tuma and Frank Valencia},
  booktitle =    {SOFSEM 09: Theory and Practice of Computer Science. 
                  35th International Conference on Current Trends in Theory and 
                  Practice of Computer Science, {\u S}pindler\r{u}v Ml\'yn,
                  Czech Republic, January 24--30, 2009, Proceedings},
  publisher =    {Springer},
  series =       {Lecture Notes in Computer Science},
  volume =       5404,
  pages =        {279-290}, 
  year =         2009
}