From a concurrent λ-calculus to the π-calculus

Roberto M. Amadio; Lone Leth; Bent Thomsen

doi:10.1007/3-540-60249-6_43

From a concurrent λ-calculus to the π-calculus

Roberto M. Amadio, Lone Leth, Bent Thomsen

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

7 Citationer (Scopus)

Abstract

We explore the (dynamic) semantics of a simply typed λ-calculus enriched withparallel composition, dynamic channel generation, and input-output communication primitives. The calculus, called the λ_∥-calculus, can be regarded as the kernel of concurrent-functional languages such as LCS, CML and Facile, and it can be taken as a basis for the definition of abstract machines, the transformation of programs, and the development of modal specification languages. The main technical contribution of this paper is the proof of adequacy of a compact translation of the λ_∥-calculus into the π-calculus.

Originalsprog	Engelsk
Titel	Fundamentals of Computation Theory - 10th International Conference, FCT 1995, Proceedings
Redaktører	Horst Reichel
Antal sider	10
Forlag	Springer
Publikationsdato	1995
Sider	106-115
ISBN (Trykt)	3540602496, 9783540602491
DOI	https://doi.org/10.1007/3-540-60249-6_43
Status	Udgivet - 1995
Begivenhed	10th Conference on Fundamentals of Computation Theory, FCT 1995 - Dresden, Tyskland Varighed: 22 aug. 1995 → 25 aug. 1995

Konference

Konference	10th Conference on Fundamentals of Computation Theory, FCT 1995
Land/Område	Tyskland
By	Dresden
Periode	22/08/1995 → 25/08/1995

Navn	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol/bind	965
ISSN	0302-9743

Bibliografisk note

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1995.

Adgang til dokumentet

10.1007/3-540-60249-6_43

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Andre filer og links

Link to publication in Scopus

Citationsformater

Amadio, Roberto M. ; Leth, Lone ; Thomsen, Bent. / From a concurrent λ-calculus to the π-calculus. Fundamentals of Computation Theory - 10th International Conference, FCT 1995, Proceedings. red. / Horst Reichel. Springer, 1995. s. 106-115 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 965).

@inproceedings{c9d1247a69fe49f9be6663e2ae2ee962,

title = "From a concurrent λ-calculus to the π-calculus",

abstract = "We explore the (dynamic) semantics of a simply typed λ-calculus enriched withparallel composition, dynamic channel generation, and input-output communication primitives. The calculus, called the λ∥-calculus, can be regarded as the kernel of concurrent-functional languages such as LCS, CML and Facile, and it can be taken as a basis for the definition of abstract machines, the transformation of programs, and the development of modal specification languages. The main technical contribution of this paper is the proof of adequacy of a compact translation of the λ∥-calculus into the π-calculus.",

author = "Amadio, {Roberto M.} and Lone Leth and Bent Thomsen",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1995.; 10th Conference on Fundamentals of Computation Theory, FCT 1995 ; Conference date: 22-08-1995 Through 25-08-1995",

year = "1995",

doi = "10.1007/3-540-60249-6_43",

language = "English",

isbn = "3540602496",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "106--115",

editor = "Horst Reichel",

booktitle = "Fundamentals of Computation Theory - 10th International Conference, FCT 1995, Proceedings",

address = "Germany",

}

Amadio, RM, Leth, L & Thomsen, B 1995, From a concurrent λ-calculus to the π-calculus. i H Reichel (red.), Fundamentals of Computation Theory - 10th International Conference, FCT 1995, Proceedings. Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), bind 965, s. 106-115, 10th Conference on Fundamentals of Computation Theory, FCT 1995, Dresden, Tyskland, 22/08/1995. https://doi.org/10.1007/3-540-60249-6_43

From a concurrent λ-calculus to the π-calculus. / Amadio, Roberto M.; Leth, Lone; Thomsen, Bent.
Fundamentals of Computation Theory - 10th International Conference, FCT 1995, Proceedings. red. / Horst Reichel. Springer, 1995. s. 106-115 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 965).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

TY - GEN

T1 - From a concurrent λ-calculus to the π-calculus

AU - Amadio, Roberto M.

AU - Leth, Lone

AU - Thomsen, Bent

PY - 1995

Y1 - 1995

N2 - We explore the (dynamic) semantics of a simply typed λ-calculus enriched withparallel composition, dynamic channel generation, and input-output communication primitives. The calculus, called the λ∥-calculus, can be regarded as the kernel of concurrent-functional languages such as LCS, CML and Facile, and it can be taken as a basis for the definition of abstract machines, the transformation of programs, and the development of modal specification languages. The main technical contribution of this paper is the proof of adequacy of a compact translation of the λ∥-calculus into the π-calculus.

AB - We explore the (dynamic) semantics of a simply typed λ-calculus enriched withparallel composition, dynamic channel generation, and input-output communication primitives. The calculus, called the λ∥-calculus, can be regarded as the kernel of concurrent-functional languages such as LCS, CML and Facile, and it can be taken as a basis for the definition of abstract machines, the transformation of programs, and the development of modal specification languages. The main technical contribution of this paper is the proof of adequacy of a compact translation of the λ∥-calculus into the π-calculus.

UR - http://www.scopus.com/inward/record.url?scp=19144363182&partnerID=8YFLogxK

U2 - 10.1007/3-540-60249-6_43

DO - 10.1007/3-540-60249-6_43

M3 - Article in proceeding

AN - SCOPUS:19144363182

SN - 3540602496

SN - 9783540602491

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 106

EP - 115

BT - Fundamentals of Computation Theory - 10th International Conference, FCT 1995, Proceedings

A2 - Reichel, Horst

PB - Springer

T2 - 10th Conference on Fundamentals of Computation Theory, FCT 1995

Y2 - 22 August 1995 through 25 August 1995

ER -

Amadio RM, Leth L, Thomsen B. From a concurrent λ-calculus to the π-calculus. I Reichel H, red., Fundamentals of Computation Theory - 10th International Conference, FCT 1995, Proceedings. Springer. 1995. s. 106-115. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 965). doi: 10.1007/3-540-60249-6_43

From a concurrent λ-calculus to the π-calculus

Abstract

Konference

Bibliografisk note

Adgang til dokumentet

AUB Link

Andre filer og links

Fingeraftryk

Citationsformater