The following pages link to (Q4763987):
Displaying 9 items.
- Concurrent regular expressions and their relationship to Petri nets (Q1184987) (← links)
- Parallel composition of graph grammars (Q1971977) (← links)
- A formal model of concurrent systems based on bipartite directed acyclic graph (Q2492233) (← links)
- Ugo Montanari and Graph Transformation (Q3507353) (← links)
- (Q4222788) (← links)
- Formal Specification of Concurrent Systems: A Structured Approach (Q4226631) (← links)
- Concurrency for Graph Grammars in a Petri net shell (Q4923530) (← links)
- Formal Methods in Software and Systems Modeling (Q5710406) (← links)
- Concurrent graph and term graph rewriting (Q6162098) (← links)