Reduction Semantics for Ambient Calculi

Reduction Semantics for Ambient Calculi (2004)

Cached

Download Links

[pubs.doc.ic.ac.uk]

by Maria Grazia Vigliotti

Venue:	Trans In) (Trans Cap) P ≻ (ν−→ p )〈M.P ′ 〉P ′′ P M −→CG (ν −→ p )(P ′ \|P ′′ ) (fn(M) ∩ −→ p = ∅) (Trans Amb) P
Citations:	8 - 5 self

Versions

Version History

Metadata Version 1

Datum	Value	Source
TITLE	Reduction Semantics for Ambient Calculi	SVM HeaderParse 0.2
AUTHOR NAME	Maria Grazia Vigliotti	SVM HeaderParse 0.2
ABSTRACT	First of all, I would like to thank my supervisor Dr. Iain C. C. Phillips, for his support and collaboration during this period of research. I thank Iain for having taught me to be more precise and sharp, and for long, detailed and inspiring discussions on the topic of this dissertation. Finally I thank him for his enormous patience towards my stubbornness. I would like to thank Dr. Nobuko Yoshida for many useful discussions and for being very supportive and positive about my work. To Sergio Maffeis go thanks for many discussions on various subjects of research and philosophy during the last two years at Imperial College. He suggested an improvement to the solution for the leader election problem for the Ambient Calculus. I would like to thank also Andrew Phillips, and the concurrency group at Imperial for the Monday lunch meetings. This has been a wonderful forum for discussing various aspects of my work. I like to thank Prof. Chris Hankin and Dr. Sophia Drossopoulou for helping me on various occasions with administrative problems and (especially Chris) for supporting most of my travelling. I do not know how I could have ever achieved this without my husband, Steffen van Bakel. He	SVM HeaderParse 0.2
YEAR	2004	INFERENCE
VENUE	Trans In) (Trans Cap) P ≻ (ν−→ p )〈M.P ′ 〉P ′′ P M −→CG (ν −→ p )(P ′ \|P ′′ ) (fn(M) ∩ −→ p = ∅) (Trans Amb) P	INFERENCE
VENUE TYPE	TECHREPORT	INFERENCE
TECH	PhD thesis	INFERENCE
CITATIONS	92 found	ParsCit 1.0