LMNtal as a hierarchical logic programming language

DOI10.1016/j.tcs.2009.07.043zbMath1187.68124OpenAlexW1993755151MaRDI QIDQ1035709

Kazunori Ueda

Publication date: 4 November 2009

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2009.07.043

zbMATH Keywords

concurrent constraint programmingconcurrent logic programminghierarchical graph rewritingLMNtal

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17)

Related Items

Unnamed Item, LMNtal

Uses Software

• Linda
• Janus

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Mobile ambients
• Computing with membranes
• Linear concurrent constraint programming: Operational and phase semantics
• Encoding Distributed Process Calculi into LMNtal
• Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting
• A Linear-Logic Semantics for Constraint Handling Rules
• Theory and practice of constraint handling rules
• Generative communication in Linda
• Membrane Computing
• Global Computing