The following pages link to LMNtal (Q19352):
Displaying 6 items.
- Models and emerging trends of concurrent constraint programming (Q2348541) (← links)
- Encoding distributed process calculi into LMNtal (Q2870199) (← links)
- Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting (Q3522032) (← links)
- Constraint-Based Concurrency and Beyond (Q5262978) (← links)
- Membrane Computing (Q5316645) (← links)
- Congruence Results of Scope Equivalence for a Graph Rewriting Model of Concurrent Programs (Q5505606) (← links)