Sciweavers

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

11

IFIP
2004
Springer

favoriteEmaildiscussreport

92views Programming Languages» more IFIP 2004»

Behavioural Theory for Mobile Ambients

13 years 10 months ago

Behavioural Theory for Mobile Ambients

Download profs.sci.univr.it

Massimo Merro, Francesco Zappa Nardelli

Real-time Traffic

Communications | IFIPTCS 2004 |

claim paper

Related Content

» Bisimulation Proof Methods for Mobile Ambients

» Static Analysis of a Model of the LDL Degradation Pathway

» A Dependently Typed Ambient Calculus

» Context Dependent Analysis of BioAmbients

» Ambient Calculus and its Logic in the Calculus of Inductive Constructions

» Pure bigraphs Structure and dynamics

» Towards a Behavioural Theory of Access and Mobility Control in Distributed Systems

» Utilizing mobile phones as ambient information displays

» Reactive Systems Barbed Semantics and the Mobile Ambients

Post Info
More Details (n/a)

Added	02 Jul 2010
Updated	02 Jul 2010
Type	Conference
Year	2004
Where	IFIP
Authors	Massimo Merro, Francesco Zappa Nardelli

Comments (0)