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!

Buďte první, kdo okomentuje tento záznam!