Constructive semantics for instantaneous reactions




Faculty/Professorship: Foundations of Computer Science  
Author(s): Aguado, Joaquin ; Mendler, Michael
Title of the Journal: Theoretical computer science : the journal of the EATCS
ISSN: 0304-3975
Year of publication: 2011
Volume: 412
Issue: 11
Pages: 931 - 961
Language(s): English
URL: http://www.sciencedirect.com/science/article/pi...
Type: Article
URI: https://fis.uni-bamberg.de/handle/uniba/5450
Year of publication: 30. April 2014