LMNtal as a hierarchical logic programming language

DOI10.1016/J.TCS.2009.07.043MaRDI QIDQ1035709zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Membrane Computing
• LMNtal as a Unifying Declarative Language: Live Demonstration
• Constraint-based concurrency and beyond
• Encoding distributed process calculi into LMNtal
• scientific article; zbMATH DE number 1761892

Cites work

• scientific article; zbMATH DE number 4209572 (Why is no real title available?)
• scientific article; zbMATH DE number 1231488 (Why is no real title available?)
• scientific article; zbMATH DE number 1759424 (Why is no real title available?)
• scientific article; zbMATH DE number 2134912 (Why is no real title available?)
• scientific article; zbMATH DE number 1863157 (Why is no real title available?)
• scientific article; zbMATH DE number 1420807 (Why is no real title available?)
• scientific article; zbMATH DE number 2242583 (Why is no real title available?)
• A Linear-Logic Semantics for Constraint Handling Rules
• Computing with membranes
• Encoding distributed process calculi into LMNtal
• Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting
• Generative communication in Linda
• Global Computing
• Linear concurrent constraint programming: Operational and phase semantics
• Membrane Computing
• Mobile ambients
• Theory and practice of constraint handling rules

Cited in

(7)

• Membrane Computing
• Encoding distributed process calculi into LMNtal
• Constraint-based concurrency and beyond
• LMNtal
• LMNtal as a Unifying Declarative Language: Live Demonstration
• scientific article; zbMATH DE number 7809762 (Why is no real title available?)
• Implementing the \(\lambda_{GT}\) language: a functional language with graphs as first-class data

Describes a project that uses

Uses Software

• Janus
• Linda

This page was built for publication: LMNtal as a hierarchical logic programming language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1035709)