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žené v:

Podrobná bibliografia
Vydané v:	Computer languages, systems & structures Ročník 28; číslo 1; s. 29 - 60
Hlavní autori:	Amtoft, Torben, Kfoury, Assaf J., Pericas-Geertsen, Santiago M.
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier Ltd 01.04.2002
Predmet:	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 prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!