Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti  Home/Search
Context
Related
| di.unito.it/~dezani/papers/cdg.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: di.unito.it/~dezani/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A new kind of ambient calculi is presented, where the open capability is replaced by direct mobility of naked processes, while the associated type systems are algorithmic in the sense that they directly provide type inference procedures. The calculus comes equipped with a labelled transition system in which types play a major role: this system allows us to show interesting algebraic laws. Types express, as usual, the communication, access and mobility properties of the modelled system; inferred ... (Update)
Active bibliography (related documents): More All
0.3: Boxed Ambients with Communication Interfaces - Bonelli, Compagnoni.. (2004) (Correct)
0.2: A Calculus of Bounded Capacities - Barbanera, Bugliesi.. (2003) (Correct)
0.1: Unknown - Ist- Dynamic Assembly (Correct)
Similar documents based on text: More All
0.3: Dynamic and Local Typing for Mobile Ambients - Coppo, Dezani-Ciancaglini.. (2004) (Correct)
0.2: M³: Mobility Types for Mobile Processes in.. - Coppo.. (2002) (Correct)
0.1: Intersection Types and Bounded Polymorphism - Pierce (1996) (Correct)
BibTeX entry: (Update)
@misc{ coppo-msup,
author = "Mario Coppo and Mariangiola Dezani-Ciancaglini and Elio Giovannetti",
title = "The M³ Paradigm - Types and Type Inference for Ambient and Process
Mobility",
url = "citeseer.ist.psu.edu/728275.html" }
Citations (may not include all citations):854 Information and Computation (context) - Milner, Parrow et al. - 1992
167 Resource access control in systems of mobile agents - Hennessy, Riely - 1998
160 The principal type scheme of an object in combinatory logic (context) - Hindley - 1969
149 calculus: A tutorial (context) - Milner - 1993
144 Controlling interference in Ambients - Levi, Sangiorgi - 2000
144 Controlling interference in ambients - Levi, Sangiorgi - 2000
88 Mobility types for mobile ambients - Cardelli, Ghelli et al. - 1999
75 The essence of principal typings - Wells - 2002
61 Weak Bisimulation up to (context) - Sangiorgi, Milner et al. - 1992
58 Bisimulation Congruences in Safe Ambients - Merro, Hennessy - 2002
53 Secure safe ambients - Bugliesi, Castagna - 2001
45 Communication Interference in Mobile Boxed Ambients - Bugliesi, Crafa et al. - 2002
37 What are polymorphically-typed ambients - Amtoft, Kfoury et al. - 2001
28 Mobile ambients (context) - Cardelli, Gordon - 1998
21 Typing and subtyping mobility in boxed ambients - Merro, Sassone - 2002
13 and Silvia Crafa (context) - Bugliesi, Castagna - 2001
9 A dependently typed ambient calculus - Lhoussaine, Sassone - 2003
9 Communication and Mobility Control in Boxed Ambients - Bugliesi, Crafa et al. - 2003
1 The Lambda Calculus: Its Syntax and Semantics (context) - endrik, ieter - 1984
Documents on the same site (http://www.di.unito.it/~dezani/papers/): More
Intersection Types for λ-Trees - van Bakel, Barbanera.. (2000) (Correct)
Type Preorders and Recursive Terms - Alessi, Dezani-Ciancaglini (2004) (Correct)
A Distributed Object-Oriented Language with Session Types - Dezani-Ciancaglini.. (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC