A Sound Observational Semantics for Modal Transition Systems

International Colloquium on Theoretical Aspects of Computing - 2009
Download the publication : ICTAC09_-_Fischbein_-_Braberman_-_Uchitel_-_CRC.pdf [193Ko]  

BibTex references

@InProceedings\{FBU09,
  author       = "Fischbein, Dario and Braberman, V\'{\i}ctor and Uchitel, Sebastian",
  title        = "A Sound Observational Semantics for Modal Transition Systems",
  booktitle    = "International Colloquium on Theoretical Aspects of Computing",
  year         = "2009",
  url          = "http://publicaciones.dc.uba.ar/Publications/2009/FBU09"
}

Other publications in the database

» Dario Fischbein
» Víctor Braberman
» Sebastian Uchitel