Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Concurrent constraint programming
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Janus: a step towards distributed constraint programming
Proceedings of the 1990 North American conference on Logic programming
Programming by multiset transformation
Communications of the ACM
Efficient implementation of a linear logic programming language
JICSLP'98 Proceedings of the 1998 joint international conference and symposium on Logic programming
Journal of Computer and System Sciences
Linear concurrent constraint programming: operational and phase semantics
Information and Computation
Resource-Passing Concurrent Programming
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
Experiences with Strong Moding in Concurrent Logic/Constraint Programming
PSLS '95 Proceedings of the International Workshop on Parallel Symbolic Languages and Systems
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
Encoding Distributed Process Calculi into LMNtal
Electronic Notes in Theoretical Computer Science (ENTCS)
The kell calculus: a family of higher-order distributed process calculi
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
LMNtal: a language model with links and membranes
WMC'04 Proceedings of the 5th international conference on Membrane Computing
Hi-index | 5.23 |
LMNtal (pronounced ''elemental'') is a simple language model based on hierarchical graph rewriting that uses logical variables to represent connectivity and membranes to represent hierarchy. LMNtal is an outcome of the attempt to unify constraint-based concurrency and Constraint Handling Rules (CHR), the two notable extensions to concurrent logic programming. LMNtal is intended to be a substrate language of various computational models, especially those addressing concurrency, mobility and multiset rewriting. Although the principal objective of LMNtal was to provide a unifying computational model, it is of interest to equip the formalism with a precise logical interpretation. In this paper, we show that it is possible to give LMNtal a simple logical interpretation based on intuitionistic linear logic and a flattening technique. This enables us to call LMNtal a hierarchical, concurrent linear logic language.