Towards a model-theory for Esterel

Professorship/Faculty: Software Technologies  ; Foundations of Computer Science  
Authors: Lüttgen, Gerald  ; Mendler, Michael
Title of the compilation: Theoretical computer science. Electronic notes in theoretical computer science. - 65 (2002), 5 = SLAP'2002 Synchronous Languages, Applications, and Programming, Grenoble, France, April 13, 2002 / Guest Editors: Florence Maraninchi, Alain Girault and Éric Rutten. - 1 pdf-Datei (279,5 KB)
Year of publication: 2002
Language(s): Other Language
Veröff. im Internet:
Document Type: Contribution to an Articlecollection
Release Date: 24. September 2014