Orderly communication in the Ambient Calculus

The Ambient Calculus (henceforth, AC) was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code (In: Nivat M, editor. FoSSaCS ’98, Lecture Notes in Computer Science, vol. 1378. Berlin: Springer, 1998. p. 140–55). We present a type system for AC that allo...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Computer languages, systems & structures Ročník 28; číslo 1; s. 29 - 60
Hlavní autoři: Amtoft, Torben, Kfoury, Assaf J., Pericas-Geertsen, Santiago M.
Médium: Journal Article
Jazyk:angličtina
Vydáno: Elsevier Ltd 01.04.2002
Témata:
Ambient Calculus
Concurrent and distributed programming
Formal calculi for mobility
Mobile computation
Orderly communication
Safety and security of mobile code
Type checking
Type inference
Type system
Type inference
Concurrent and distributed programming
Formal calculi for mobility
Mobile computation
Type checking
Orderly communication
Ambient Calculus
Type system
Safety and security of mobile code
ISSN:1477-8424, 1873-6866
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:The Ambient Calculus (henceforth, AC) was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code (In: Nivat M, editor. FoSSaCS ’98, Lecture Notes in Computer Science, vol. 1378. Berlin: Springer, 1998. p. 140–55). We present a type system for AC that allows the type of exchanged data within the same ambient to vary over time. Our type system assigns what we call behaviors to processes; a denotational semantics of behaviors is proposed, here called trace semantics, underlying much of the remaining analysis. We state and prove a subject reduction property for our typed version of AC. Based on techniques borrowed from finite automata theory, type checking of fully type-annotated processes is shown to be decidable. We show that the typed version of AC originally proposed by Cardelli and Gordon (In: POPL’99, San Antonio, TX. New York: ACM Press, 1999. p. 79–92) can be naturally embedded into our typed version of AC.
ISSN:1477-8424
1873-6866
DOI:10.1016/S0096-0551(02)00007-3