LMNtal

MaRDI QIDQ19352swMATHFDO

Official website http://www.sciencedirect.com/science/article/pii/S0304397509005325

Described by source

• LMNtal as a Unifying Declarative Language: Live Demonstration
• LMNtal as a hierarchical logic programming language

Cited in

(14)

• Membrane Computing
• Encoding distributed process calculi into LMNtal
• Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting
• Constraint-based concurrency and beyond
• GrGen
• CLEAN
• VIATRA2
• Janus
• GHC
• GReAT
• tccp
• GP 2
• Models and emerging trends of concurrent constraint programming
• Congruence Results of Scope Equivalence for a Graph Rewriting Model of Concurrent Programs

This page was built for software: LMNtal