Return to Article Details Conditions in Reactive Systems and in Graph Rewriting Download Download PDF