Options
Constructive semantics for instantaneous reactions
Aguado, Joaquín; Mendler, Michael (2011): Constructive semantics for instantaneous reactions, in: Theoretical computer science : the journal of the EATCS, Jg. 412, Nr. 11, S. 931–961.
Faculty/Chair:
Author:
Title of the Journal:
Theoretical computer science : the journal of the EATCS
ISSN:
0304-3975
Year of publication:
2011
Volume:
412
Issue:
11
Pages:
Language:
English
Type:
Article
Activation date:
April 30, 2014
Permalink
https://fis.uni-bamberg.de/handle/uniba/5450