 | 2009 |
|---|
| 14 |       | Steffen van Bakel,
Maria Grazia Vigliotti:
A Logical Interpretation of the λ-Calculus into the π-Calculus, Preserving Spine Reduction and Types.
CONCUR 2009: 84-98 |
| 13 | | Luca Bortolussi,
Maria Grazia Vigliotti:
CoBiC: Context-dependent Bioambient Calculus.
Electr. Notes Theor. Comput. Sci. 253(3): 187-201 (2009) |
| 12 | | Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
Maria Grazia Vigliotti:
Probabilistic Mobile Ambients.
Theor. Comput. Sci. 410(12-13): 1272-1303 (2009) |
| 2008 |
|---|
| 11 | | Vinod A. Muganthan,
Andrew Phillips,
Maria Grazia Vigliotti:
BAM: BioAmbient machine.
ACSD 2008: 45-49 |
| 10 | | Steffen van Bakel,
Ikra Khan,
Maria Grazia Vigliotti,
John K. Heath:
Modelling Intracellular Fate of FGF Receptors With BioAmbients.
Electr. Notes Theor. Comput. Sci. 220(3): 181-197 (2008) |
| 9 | | Iain Phillips,
Maria Grazia Vigliotti:
Symmetric electoral systems for ambient calculi.
Inf. Comput. 206(1): 34-72 (2008) |
| 2007 |
|---|
| 8 | | Maria Grazia Vigliotti,
Iain Phillips,
Catuscia Palamidessi:
Tutorial on separation results in process calculi via leader election problems.
Theor. Comput. Sci. 388(1-3): 267-289 (2007) |
| 2006 |
|---|
| 7 | | Maria Grazia Vigliotti,
Peter G. Harrison:
Stochastic Ambient Calculus.
Electr. Notes Theor. Comput. Sci. 164(3): 169-186 (2006) |
| 6 | | Iain Phillips,
Maria Grazia Vigliotti:
Leader election in rings of ambient processes.
Theor. Comput. Sci. 356(3): 468-494 (2006) |
| 2005 |
|---|
| 5 | | Maria Grazia Vigliotti,
Iain Phillips,
Catuscia Palamidessi:
Separation Results Via Leader Election Problems.
FMCO 2005: 172-194 |
| 4 | | Iain Phillips,
Maria Grazia Vigliotti:
Leader Election in Rings of Ambient Processes.
Electr. Notes Theor. Comput. Sci. 128(2): 185-199 (2005) |
| 2004 |
|---|
| 3 | | Iain Phillips,
Maria Grazia Vigliotti:
Electoral Systems in Ambient Calculi.
FoSSaCS 2004: 408-422 |
| 2002 |
|---|
| 2 |  | Iain Phillips,
Maria Grazia Vigliotti:
On Reduction Semantics for the Push and Pull Ambitent Calculus.
IFIP TCS 2002: 550-562 |
| 1 | | Maria Grazia Vigliotti,
Iain Phillips:
Barbs and Congruences for Safe Mobile Ambients.
Electr. Notes Theor. Comput. Sci. 66(3): (2002) |
