AESOP home

Publications

On reduction semantics for the push and pull ambient calculus

Iain Phillips, Maria Vigliotti

Conference or Workshop Paper
2nd IFIP international conference on theoretical computer science (TCS 2002) held in conjunction with the 17th world computer congress, Montreal, Canada, 2002
2002
pp.550–562
Kluwer Academic Publishers
ISBN 1-4020-7181-7

Information from pubs.doc.ic.ac.uk/reduction-semantics-push-pull.