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...

Full description

Saved in:

Bibliographic Details
Published in:	Computer languages, systems & structures Vol. 28; no. 1; pp. 29 - 60
Main Authors:	Amtoft, Torben, Kfoury, Assaf J., Pericas-Geertsen, Santiago M.
Format:	Journal Article
Language:	English
Published:	Elsevier Ltd 01.04.2002
Subjects:	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
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!