Conditions in Reactive Systems and in Graph Rewriting

Barbara Koenig

Abstract


We introduce conditional reactive systems, by enriching the reactive systems of Leifer and Milner with application conditions. Furthermore we compare tothe situation in graph rewriting where application conditions play a major role.

Full Text:

PDF


DOI: http://dx.doi.org/10.14279/tuj.eceasst.51.776

DOI (PDF): http://dx.doi.org/10.14279/tuj.eceasst.51.776.765

Hosted By Universit├Ątsbibliothek TU Berlin.