The following pages link to Actor grammars (Q3833641):
Displaying 12 items.
- Equivalence of computations in actor grammars (Q685461) (← links)
- Conditional rewriting logic as a unified model of concurrency (Q1190488) (← links)
- Computation graphs for actor grammars (Q1208925) (← links)
- (Q3785917) (← links)
- A graph rewriting framework for Statecharts semantics (Q4645270) (← links)
- (Q4884891) (← links)
- A Graph Transformation View on the Specification of Applications using Mobile Code* *Research partially supported by project ForMOS (Métodos Formais para Código Móvelem Sistemas Abertos) - grant CNPq 520269/98-5, by the Research Training Network GET-GR (Q4921551) (← links)
- ESM systems and the composition of their computations (Q5096283) (← links)
- Single pushout transformations of equationally defined graph structures with applications to actor systems (Q5096285) (← links)
- Semantics of full statecharts based on graph rewriting (Q5096287) (← links)
- On relating rewriting systems and graph grammars to event structures (Q5096291) (← links)
- Concurrent graph and term graph rewriting (Q6162098) (← links)