LMNtal

swMATH7312MaRDI QIDQ19352FDOQ19352

Author name not available (Why is that?)

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 (12)

• Membrane Computing
• Encoding distributed process calculi into LMNtal
• Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting
• Constraint-based concurrency and beyond
• GrGen
• 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