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
Remark: 
Veröff. im Internet: http://www.sciencedirect.com/science/journal/15710661
URL: http://www.sciencedirect.com/science/journal/15...
Document Type: Contribution to an Articlecollection
URI: https://fis.uni-bamberg.de/handle/uniba/10081
Release Date: 24. September 2014