#### Filter Results:

- Full text PDF available (50)

#### Publication Year

2002

2016

- This year (0)
- Last 5 years (14)
- Last 10 years (42)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Iain C. C. Phillips, Maria Grazia Vigliotti
- FoSSaCS
- 2004

This paper compares the expressiveness of ambient calculi against different dialects of the pi-calculus. Cardelli and Gordon encoded the asynchronous pi-calculus into their calculus of Mobile Ambients (MA). Zimmer has shown that the synchronous pi-calculus without choice can be encoded in pure (no communication) Safe Ambients. We show that pure MA without… (More)

- Iain C. C. Phillips, Maria Grazia Vigliotti
- Electr. Notes Theor. Comput. Sci.
- 2005

Palamidessi has shown that the π-calculus with mixed choice is powerful enough to solve the leader election problem on a symmetric ring of processes. We show that this is also possible in the calculus of Mobile Ambients (MA), without using communication or restriction. Following Palamidessi’s methods, we deduce that there is no encoding satisfying certain… (More)

- Maria Grazia Vigliotti, Iain C. C. Phillips, Catuscia Palamidessi
- Theor. Comput. Sci.
- 2007

We compare the expressive power of process calculi by studying the problem of electing a leader in a symmetric network of processes. We consider the π-calculus with mixed choice, separate choice and internal mobility, value-passing CCS and Mobile Ambients, together with other ambient calculi (Safe Ambients, the Push and Pull Ambient Calculus and Boxed… (More)

Honda and Yoshida showed how to obtain a meaningful equivalence on processes in the asynchronous -calculus using equational theories identifying insensitive processes. We apply their approach to a dialect of Cardelli and Gordon’s Mobile Ambients. The version we propose here is the Push and Pull Ambient Calculus, where the operational semantics is no longer… (More)

- Maria Grazia Vigliotti, Iain C. C. Phillips
- Electr. Notes Theor. Comput. Sci.
- 2002

The Ambient Calculus offers many ways in which processes can interact and be observed. In the context of Levi and Sangiorgi’s Safe Mobile Ambients (SA), the extra co-capabilities required for interaction complicate the fundamental observations. We show that different formulations of barbs lead to the same barbed congruence. We prove this by following Honda… (More)

- Maria Grazia Vigliotti, Peter G. Harrison
- Electr. Notes Theor. Comput. Sci.
- 2006

Mobile Ambients (MA) have acquired a fundamental role in modelling mobility in systems with mobile code and mobile devices, and in computation over administrative domains. We present the stochastic version of Mobile Ambients, called Stochastic Mobile Ambients (SMA), where we extend MA with time and probabilities. Inspired by previous models, PEPA and Sπ, we… (More)

- Luca Bortolussi, Maria Grazia Vigliotti
- Electr. Notes Theor. Comput. Sci.
- 2009

In biological phenomena like osmosis, the rate of flow of water molecules in or out of biological compartments depends on the solute concentration and on other forces, like hydrostatic pressure. A similar example is the passive transport of ions in and out the cell membrane. In this paper, we address the problem of faithfully modelling these kind of… (More)

- Peter G. Harrison, Maria Grazia Vigliotti
- VALUETOOLS
- 2009

Two new methodological results are obtained: first, a way to perturb a network into one with a product-form solution for its equilibrium state probabilities, and secondly, a new compositional approach to deriving corresponding response time distributions. The Reversed Compound Agent Theorem (RCAT) is used to construct suitable perturbations in… (More)

We study an output-based encoding of the λ-calculus with explicit substitution into the synchronous π-calculus – enriched with pairing – that has its origin in mathematical logic, and show that this encoding respects reduction. We will define the notion of (explicit) head reduction -which encompasses (explicit) lazy reductionand show that the encoding fully… (More)