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 |

originated at the
University of Bamberg
University of Bamberg