Communication and Mobility Control in Boxed Ambients ? Michele Bugliesi Dipartimento di Informatica, Universit` a Ca’ Foscari, Venezia

First Page		Document Content
Date: 2005-06-07 06:26:43 Mathematics Computer science Ambient calculus Π-calculus Bisimulation Lambda calculus Mobile Membranes Theoretical computer science Process calculi Applied mathematics		Communication and Mobility Control in Boxed Ambients ? Michele Bugliesi Dipartimento di Informatica, Universit` a Ca’ Foscari, Venezia Add to Reading List Source URL: www.dsi.unive.it Download Document from Source Website File Size: 402,53 KB Share Document on Facebook

	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 DocID: 1xUrQ - View Document
	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 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, DocID: 1v88u - View Document