Conditions in Reactive Systems and in Graph Rewriting

Authors

  • Barbara Koenig

DOI:

https://doi.org/10.14279/tuj.eceasst.51.776

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.

Downloads

Published

2012-11-21

How to Cite

[1]
B. Koenig, “Conditions in Reactive Systems and in Graph Rewriting”, eceasst, vol. 51, Nov. 2012.