Search
Now showing items 1-10 of 62
A fully abstract denotational model for higher-order processes
(IEEE Computer Society Press, 1993)
An uncoupled oscillator model of the Hoffmann reflex
(IEEE, 1998)
Subtyping and Locality in Distributed Higher Order Mobile Processes (extended abstract).
(Springer-Verlag, 1999)
Type-safe execution of mobile agents in anonymous networks (Extended Abstract).
(Springer-Verlag, 1999)