کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
439325 690515 2007 29 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Space-aware ambients and processes
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Space-aware ambients and processes
چکیده انگلیسی

Resource control has attracted increasing interest in foundational research on distributed systems. This paper focuses on space control and develops an analysis of space usage in the context of an ambient calculus with bounded capacities and weighed processes, where migration and activation require space. A type system controls the dynamics of the calculus by providing static guarantees that the intended capacity bounds are preserved throughout the computation. We investigate various term-level mechanisms to complement the typed control on the dynamics of space allocation and acquisition, and study their consequences on the semantic theory of the calculus.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 373, Issues 1–2, 22 March 2007, Pages 41-69