LMNtal

MaRDI QIDQ19352swMATHFDO

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

Described by source

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

Cited in

(14)

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

This page was built for software: LMNtal