Resource-Passing Concurrent Programming
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
LMNtal as a unifying declarative language: live demonstration
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
LMNtal: a language model with links and membranes
WMC'04 Proceedings of the 5th international conference on Membrane Computing
Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting
RTA '08 Proceedings of the 19th international conference on Rewriting Techniques and Applications
ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
LMNtal as a hierarchical logic programming language
Theoretical Computer Science
| Hi-index | 0.00 |
Towards a unifying model of concurrency, we have designed and implemented LMNtal (pronounced ''elemental''), a model and language based on hierarchical graph rewriting that uses logical variables to represent connectivity and membranes to represent hierarchy. Diverse computational models including the @p-calculus and the @l-calculus have been encoded into LMNtal and tested on our LMNtal system. This paper describes the encoding of the ambient calculus with running examples. The technical crux is the distributed management of names in the presence of locality an mobility. We have designed and implemented a self-adjusting management technique of names in which the name management and mobility operations are performed concurrently.