- Research Associate
- DoC Home page
- Office
- Room 429 Huxley
- Telephone
- Within College 48242
- In the UK 020 7594 8242
- International +44 20 7594 8242
- Current project
- SPARTACOS
- Separability and Response Times in Stochastic Models
7 Publications
Journal Articles
- Tutorial on separation results in process calculi via leader election problems
- Maria Vigliotti, Iain Phillips, Catuscia Palamidessi
- Theoretical Computer Science
- December, 2007
- Leader election in rings of ambient processes
- Iain Phillips, Maria Vigliotti
- Theoretical Computer Science
- 2006
Conference and Workshop Papers
- Leader Election in Rings of Ambient Processes
- Iain Phillips, Maria Vigliotti
- Electronic Notes in Theoretical Computer Science
- March, 2005
- Electoral systems in ambient calculi
- Iain Phillips, Maria Vigliotti
- 7th International Conference on Foundations of Software Science and Computation Structures, Barcelona, Spain
- 2004
- Barbs and congruences for safe mobile ambients
- Maria Vigliotti, Iain Phillips
- Electronic Notes in Theoretical Computer Science
- August, 2002
- On reduction semantics for the push and pull ambient calculus
- Iain Phillips, Maria Vigliotti
- 2nd IFIP international conference on theoretical computer science (TCS 2002) held in conjunction with the 17th world computer congress, Montreal, Canada, 2002
- 2002
Tutorial
- Separation Results via Leader Election Problems
- Maria Vigliotti, Iain Phillips, Catuscia Palamidessi
- 4th International Symposium on Formal Methods for Objects and Components (FMCO 2005), 1-4 November 2005, CWI, Amsterdam, The Netherlands
- August, 2006
Information from pubs.doc.ic.ac.uk/authors/mgv98.
