<--- Back to Details
First PageDocument Content
Ambient calculus / Mathematics / Computer science / Π-calculus / Lambda calculus / Mobile Membranes / Process calculi / Theoretical computer science / Applied mathematics
Date: 2005-06-07 06:57:37
Ambient calculus
Mathematics
Computer science
Π-calculus
Lambda calculus
Mobile Membranes
Process calculi
Theoretical computer science
Applied mathematics

Communication Interference in Mobile Boxed Ambients? Michele Bugliesi 1 , Silvia Crafa 1 , Massimo Merro 2 , and Vladimiro Sassone 3 Abstract. Boxed Ambients (BA) replace Mobile Ambients’open capability with communicat

Add to Reading List

Source URL: www.dsi.unive.it

Download Document from Source Website

File Size: 184,23 KB

Share Document on Facebook

Similar Documents

Nordic Journal of Computing  On the Expressive Power of Polyadic Synchronisation in π-calculus∗ Marco Carbone BRICS†

Nordic Journal of Computing On the Expressive Power of Polyadic Synchronisation in π-calculus∗ Marco Carbone BRICS†

DocID: 1xUM6 - View Document

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING  1 Model checking probabilistic and stochastic extensions of the π -calculus

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 Model checking probabilistic and stochastic extensions of the π -calculus

DocID: 1xUrQ - View Document

ITRS 2004 Preliminary Version  Sequence Types for the π-calculus Sergio Maffeis 1 Department of Computing, Imperial College London,

ITRS 2004 Preliminary Version Sequence Types for the π-calculus Sergio Maffeis 1 Department of Computing, Imperial College London,

DocID: 1xT9n - View Document

Rosemary Francis  Generating definitions of cell cycles in π-calculus from mathematical models

Rosemary Francis Generating definitions of cell cycles in π-calculus from mathematical models

DocID: 1vdU9 - View Document

Classroom Voting Questions: Multivariable Calculus 16.5 Integrals in Cylindrical and Spherical Coordinates 1. What are the Cartesian coordinates of the point with cylindrical coordinates (r, θ, z) = (4, π, 6)? (a) (x,

Classroom Voting Questions: Multivariable Calculus 16.5 Integrals in Cylindrical and Spherical Coordinates 1. What are the Cartesian coordinates of the point with cylindrical coordinates (r, θ, z) = (4, π, 6)? (a) (x,

DocID: 1v88u - View Document