Axiomatizing an algebra of step reactions for synchronous languages
Lüttgen, Gerald; Mendler, Michael (2002): Axiomatizing an algebra of step reactions for synchronous languages, in: Lubos Brim, Lubos Brim, und Lubos Brim (Hrsg.), CONCUR 2002 - Concurrency theory : 13th international conference, Brno, Czech Republic, August 20 - 23, 2002 ; proceedings, Berlin u.a., S. 386–401.
Faculty/Chair:
Author:
 ; 
Title of the compilation:
CONCUR 2002 - Concurrency theory : 13th international conference, Brno, Czech Republic, August 20 - 23, 2002 ; proceedings
Editors:
Brim, Lubos
Conference:
CONCUR 2002 - Concurrency theory : 13th international conference, August 20 - 23, 2002 ; Brno, Czech Republic,
Publisher Information:
Year of publication:
2002
Pages:
Series ; Volume:
Lecture notes in computer science ; 2421
Language:
English
Type:
Conferenceobject
URI:
Activation date:
September 24, 2014

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/9824