LMNtal as a Unifying Declarative Language: Live Demonstration
From MaRDI portal
Publication:5449642
DOI10.1007/11799573_47zbMath1131.68361OpenAlexW1508481975MaRDI QIDQ5449642
Norio Kato, Koji Hara, Kazunori Ueda, Ken Mizuno
Publication date: 11 March 2008
Published in: Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11799573_47
Related Items (3)
LMNtal ⋮ Encoding Distributed Process Calculi into LMNtal ⋮ Models and emerging trends of concurrent constraint programming
This page was built for publication: LMNtal as a Unifying Declarative Language: Live Demonstration