A Sound Observational Semantics for Modal Transition Systems.

Dario Fischbein, Vctor A. Braberman, Sebastin Uchitel

Browse the full ICTAC paper archive.