Computing Publications

Publications Home » On reduction semantics for the pu...

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
Keywords
AESOP
BibTEX file for the publication
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.