MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Mobility Types for Mobile Processes in Mobile Ambients." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

M³: Mobility Types for Mobile Processes in Mobile Ambients
by Mario Coppo, Mobile Ambients, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Ivano Salvo — 2002
…://www.elsevier.nl/locate/entcs/volume78.html 34 pages M 3 : Mobility Types for Mobile Processes in Mobile Ambients 5 Abstract Mario Coppo…
Add To MetaCart

Mobility types in Coq
by Furio Honsell Ivan, Ivan Scagnetto — 2003 — TYPES’03, volume 3085 of LNCS
… variation of the Ambient Calculus called M 3 , i.e., Mobility types for Mobile processes in Mobile ambients…
Add To MetaCart

Confining Data and Processes in Global Computing Applications
by Rocco De Nicola, Daniele Gorla, Rosario Pugliese — 2004 — Science of Computer Programming
… . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 5 M 3 : Mobility Types for Mobile Processes in Mobile Ambients 24 5.1 Typing M 3 Nets…
Cited by 5 (3 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB