Axiomatizing an algebra of step reactions for synchronous languages





Professorship/Faculty: Software Technologies  ; Foundations of Computer Science  
Authors: Lüttgen, Gerald  ; Mendler, Michael
Title of the compilation: CONCUR 2002 - Concurrency theory : 13th international conference, Brno, Czech Republic, August 20 - 23, 2002 ; proceedings / Lubos Brim ... (ed.). - Berlin u.a., 2002. - (Lecture notes in computer science ; 2421). - S. 386 - 401
Year of publication: 2002
Language(s): English
Remark: 
Veröff. im Internet: http://link.springer.de/link/service/series/0558/tocs/t2421.htm
URL: http://www.springerlink.com/app/home/issue.asp
Document Type: Contribution to an Articlecollection
URI: https://fis.uni-bamberg.de/handle/uniba/9824
Release Date: 24. September 2014