Encoding Distributed Process Calculi into LMNtal

Kazunori Ueda*

*この研究の対応する著者

研究成果: Article査読

9 被引用数 (Scopus)

抄録

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 π-calculus and the λ-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.

本文言語English
ページ(範囲)187-200
ページ数14
ジャーナルElectronic Notes in Theoretical Computer Science
209
C
DOI
出版ステータスPublished - 2008 4月 24

ASJC Scopus subject areas

  • 理論的コンピュータサイエンス
  • コンピュータ サイエンス(全般)

フィンガープリント

「Encoding Distributed Process Calculi into LMNtal」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル