Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

ESOP
2005
Springer

favoriteEmaildiscussreport

92views Programming Languages» more ESOP 2005»

Deciding Reachability in Mobile Ambients

13 years 10 months ago

Deciding Reachability in Mobile Ambients

Download www.cs.unibo.it

Mobile Ambients has been proposed by Cardelli and Gordon

Nadia Busi, Gianluigi Zavattaro

Real-time Traffic

ESOP 2005 | Mobile Ambients | Programming Languages |

claim paper

Related Content

» Separability in the Ambient Logic

» Flowsensitive type systems and the ambient calculus

» What Are PolymorphicallyTyped Ambients

» Spatial Tree Logics to reason about Semistructured Data

» Orderly communication in the Ambient Calculus

» Parameterized Verification of Ad Hoc Networks

» Where online meets on the streets experiences with mobile mixed reality games

» Analysing Mailboxes of Asynchronous Communicating Components

» A Process Calculus for Mobile Ad Hoc Networks

Post Info
More Details (n/a)

Added	27 Jun 2010
Updated	27 Jun 2010
Type	Conference
Year	2005
Where	ESOP
Authors	Nadia Busi, Gianluigi Zavattaro

Comments (0)