CiteSeer.IST HomeCheck: The following citations are predicted to all refer to the same paper. Details
N. Yoshida and M. Hennessy. Subtyping and Locality in Distributed Higher Order Processes. Technical Report 01/99, University of Sussex, May 1999.
Yoshida, N. and Hennessy, M., Subtyping and Locality in Distributed Higher Order Processes. CONCUR'99, LNCS 1664, pp.557--573, Springer, 1999.
Yoshida, N. and Hennessy, M., Subtyping and Locality in Distributed Higher Order Processes. Proc. CONCUR '99, LNCS 1664, pp.557--573, Springer-Verlag, 1999. CS Technical Report 01/99, University of Sussex, Available at: http://www.cogs.susx.ac.uk, 1999.
Yoshida, N. and Hennessy, M., Subtyping and Locality in Distributed Higher Order Processes. CONCUR'99, LNCS 1664, pp.557--573, Springer-Verlag, 1999. CS Technical Report 01/99, University of Sussex, Available at: http://www.cogs.susx.ac.uk, April, 1999.
N. Yoshida and M. Hennessy. Subtyping and locality in distributed higher order processes. In Proc. Concur 99, 1999. 9
Nobuko Yoshida and Matthew Henessy. Subtyping and locality in distributed higher order mobile processes. In CONCUR'99, LNCS. Springer, 1999.
N. Yoshida and M. Hennessy. Subtyping and locality in distributed higher order mobile processes. In CONCUR 1999, vol. 1664 of LNCS, pp. 557--573. Springer-Verlag, 1999.
N. Yoshida and M. Hennessy. Subtyping and locality in distributed higher order mobile processes. In CONCUR 1999, vol. 1664 of LNCS, pp. 557--573. Springer-Verlag, 1999.
N. Yoshida and M. Hennessy. Subtyping and locality in distributed higher order mobile processes. In CONCUR 1999, vol. 1664 of LNCS, pp. 557--573. Springer-Verlag, 1999.
N. Yoshida, M. Hennessy. Subtyping and locality in distributed higher order processes. In Proc. of the Int. Conf. on Concurrency Theory (CONCUR), LNCS 1664, Springer, pp. 557-572, 1999.
N. Yoshida and M. Hennessy. Subtyping and locality in distributed higher order processes. In Proceedings of International Conference on Concurrency Theory (CONCUR), pages 557--572, Santa Barbara, US, 1999. Springer-Verlag.
Yoshida, N. and Hennessy, M., Subtyping and Locality in Distributed Higher Order Processes. Proc. CONCUR '99, LNCS 1664, pp.557--573, Springer-Verlag, 1999. CS Technical Report 01/99, University of Sussex, Available at: http://www.cogs.susx.ac.uk, 1999.
N. Yoshida and M. Hennessy. Subtyping and locality in distributed higher order mobile processes. In CONCUR
N. Yoshida and M. Hennessy. Subtyping and locality in distributed higher order mobile processes. In CONCUR
N. Yoshida and M. Hennessy. Subtyping and locality in distributed higher order mobile processes. In CONCUR
Nobuko Yoshida and Matthew Hennessy. Subtyping and locality in distributed higher order processes. In CONCUR'99, volume 1664 of LNCS, pages 557-572. Springer, August 1999.
Yoshida, N. and Hennessy, M., Subtyping and Locality in Distributed Higher Order Processes. Proc. CONCUR '99, LNCS 1664, pp.557--573, Springer-Verlag, 1999. CS Technical Report 01/99, University of Sussex, Available at: http://www.cogs.susx.ac.uk, 1999.
N. Yoshida and M. Hennessy. Subtyping and Locality in Distributed Higher Order Processes. Technical Report 01/99, University of Sussex, May 1999. A lot of papers and slides about mobile ambients can also be downloaded on the web page of L. Cardelli : http://www.luca.demon.co.uk.
N. Yoshida and M. Hennessy. Subtyping and locality in distributed higher order processes. In Proc. of the Int. Conf. on Concurrency Theory (CONCUR), volume 1664 of LNCS, pages 557--572. SpringerVerlag, 1999.
N. Yoshida and M. Hennessy. Subtyping and locality in distributed higher order processes. In Proceedings of CONCUR'99, volume 1664 of LNCS, pages 557--572. Springer, 1999.
N. Yoshida and M. Hennessy. Subtyping and locality in distributed higher order processes. In J.C.M. Baeten and S. Mauw, editors, Proc. of the Int. Conf. on Concurrency Theory (CONCUR), volume 1664 of LNCS, pages 557--572. Springer-Verlag, 1999.
N. Yoshida and M. Hennessy. Subtyping and locality in distributed higher order processes. In CONCUR '99, volume 1664 of LNCS, pages 557--572. Springer-Verlag, 1999.
N. Yoshida and M. Hennessy. Subtyping and locality in distributed higher order processes. In CONCUR '99, LNCS 1664, pages 557--572. Springer-Verlag, 1999.
N. Yoshida and M. Hennessy. Subtyping and locality in distributed higher-order processes. In Proceedings CONCUR 99, Lecture Notes in Computer Science no 1664. Springer, 1999.
N. Yoshida and M. Hennessy. Subtyping and locality in distributed higher-order processes. In Proceedings CONCUR 99, Lecture Notes in Computer Science no 1664. Springer, 1999.
Nobuko Yoshida and Matthew Hennessy. Subtyping and locality in distributed higher order processes. In Jos C.M. Baeten and Sjouke Mauw, editors, Proceedings of CONCUR '99, volume 1664 of Lecture Notes in Computer Science,
N. Yoshida and M. Hennessy. Subtyping and locality in distributed higher order mobile processes. In CONCUR
N. Yoshida and M. Hennessy. Subtyping and locality in distributed higher-order processes. In Proceedings CONCUR 99, LNCS no 1664, 1999.
N. Yoshida and M. Hennessy. Subtyping and locality in distributed higher order mobile processes (extended abstract). In J. C. M. Baeten and S. Mauw, editors, CONCUR'99, volume 1664 of LNCS, pages 557--573, Berlin, 1999. Springer-Verlag. 25 A A Labelled Transition system for BoCa
Yoshida, N. and Hennessy, M., Subtyping and Locality in Distributed Higher Order Processes. CONCUR'99, LNCS 1664, pp.557--573, Springer, 1999.
N. Yoshida and M. Hennessy. Subtyping and locality in distributed higher order processes. In Proc. CONCUR 1999, volume 1664 of Lecture Notes in Computer Science, Springer, 1999.
N. Yoshida and M. Hennessy. Subtyping and Locality in Distributed Higher Order Mobile Processes (extended abstract). In Proc. of CONCUR'99, volume 1664 of LNCS, pages 557-- 572. Springer-Verlag, 1999.
N. Yoshida and M. Hennessy. Subtyping and Locality in Distributed Higher Order Mobile Processes (extended abstract). In Proc. of CONCUR'99, volume 1664 of LNCS, pages 557--572. Springer-Verlag, 1999.
N. Yoshida and M. Hennessy. Subtyping and locality in distributed higher order processes. In CONCUR '99, volume 1664 of LNCS, pages 557--572. Springer-Verlag, 1999.
Yoshida, N. and Hennessy, M., Subtyping and Locality in Distributed Higher Order Processes. Proc. CONCUR'99, LNCS 1664, pp.557-- 573, Springer-Verlag, 1999.
N. Yoshida and M. Hennessy. Subtyping and Locality in Distributed Higher Order Mobile Processes (extended abstract). In Proc. of CONCUR'99, volume 1664 of LNCS, pages 557--572. Springer-Verlag, 1999. 15
N. Yoshida and M. Hennessy. Subtyping and locality in distributed higher order mobile processes (extended abstract). In J. C. M. Baeten and S. Mauw, editors, CONCUR'99, volume 1664 of LNCS, pages 557--573, Berlin, 1999. Springer-Verlag.
N. Yoshida and M. Hennessy. Subtyping and locality in distributed higher order mobile processes (extended abstract). In J. C. M. Baeten and S. Mauw, editors, CONCUR'99, volume 1664 of LNCS, pages 557--573, Berlin, 1999. Springer-Verlag. 25 A A Labelled Transition system for BoCa
N. Yoshida and M. Hennessy. Subtyping and locality in distributed higher-order processes. In Proceedings CONCUR 99, Lecture Notes in Computer Science no 1664. Springer, 1999.
N. Yoshida and M. Hennessy. Subtyping and locality in distributed higher order processes. In J. Baeten and S. Mauw, editors, Proc. of the Int. Conf. on Concurrency Theory (CONCUR), volume 1664 of LNCS, pages 557--572. Springer-Verlag, 1999.
N. Yoshida and M. Hennessy. Subtyping and locality in distributed higher order mobile processes. In CONCUR 1999, vol. 1664 of LNCS, pp. 557--573. Springer-Verlag, 1999.
N.Yoshida and M. Hennessy. Subtyping and locality in distributed higher order processes. In CONCUR'99, volume 1664 of LNCS, pages 557--572. Springer-Verlag, 1999.
N. Yoshida and M. Hennessy. Subtyping and Locality in Distributed Higher Order Mobile Processes (extended abstract). In Proc. of CONCUR'99, volume 1664 of LNCS, pages 557--572. Springer-Verlag, 1999. 18
N. Yoshida and M. Hennessy. Subtyping and locality in distributed higher-order processes. In Proceedings CONCUR 99, Lecture Notes in Computer Science no 1664. Springer, 1999.
N. Yoshida and M. Hennessy. Subtyping and locality in distributed higher order mobile processes (extended abstract). In J. C. M. Baeten and S. Mauw, editors, CONCUR'99, volume 1664 of LNCS, pages 557--573, Berlin, 1999. Springer-Verlag.
Nobuko Yoshida and Matthew Hennessy. Subtyping and locality in distributed higher order processes. In Proc. CONCUR, volume 1664 of Lecture notes in computer science. Springer-Verlag, 1999.
N. Yoshida and M. Hennessy. Subtyping and locality in distributed higher order mobile processes (extended abstract). In J. C. M. Baeten and S. Mauw, editors, CONCUR'99, volume 1664 of LNCS, pages 557--573, Berlin, 1999. Springer-Verlag.
N. Yoshida and M. Hennessy. Subtyping and locality in distributed higher order mobile processes (extended abstract). In J. C. M. Baeten and S. Mauw, editors, CONCUR'99, volume 1664 of LNCS, pages 557--573, Berlin, 1999. Springer-Verlag.
N. Yoshida and M. Hennessy. Subtyping and locality in distributed higher order processes. In Proc. CONCUR 1999, volume 1664 of Lecture Notes in Computer Science, Springer, 1999.
N. Yoshida and M. Hennessy. Subtyping and Locality in Distributed Higher Order Mobile Processes (extended abstract). In Proc. of CONCUR'99, volume 1664 of LNCS, pages 557--572. Springer-Verlag, 1999.
N. Yoshida and M. Hennessy. Subtyping and locality in distributed higher-order processes. In Proceedings CONCUR 99, Lecture Notes in Computer Science no 1664. Springer, 1999.
Nobuko Yoshida and Matthew Hennessy. Subtyping and locality in distributed higher order processes. In Proc. CONCUR, volume 1664 of Lecture notes in computer science. Springer-Verlag, 1999.
Yoshida, Nobuko, & Hennessy, Matthew. (1999). Subtyping and locality in distributed higher order mobile processes (extended abstract). Pages 557--573 of: Baeten, Jos C.M., & Mauw, Sjouke (eds), CONCUR'99. Lecture Notes in Computer Science, vol. 1664. Springer-Verlag.
N. Yoshida and M. Hennessy. Subtyping and locality in distributed higher order mobile processes (extended abstract). In J. C. M. Baeten and S. Mauw, editors, CONCUR'99, volume 1664 of LNCS, pages 557--573, Berlin, 1999. Springer-Verlag. 25 A A Labelled Transition system for BoCa
N. Yoshida and M. Hennessy. Subtyping and Locality in Distributed Higher Order Mobile Processes (extended abstract). In Proc. of CONCUR'99, volume 1664 of LNCS, pages 557--
N. Yoshida and M. Hennessy. Subtyping and locality in distributed higher-order processes. In Proceedings CONCUR 99, Lecture Notes in Computer Science no 1664. Springer, 1999.
Yoshida, N. and Hennessy, M., Subtyping and Locality in Distributed Higher Order Processes. Proc. CONCUR '99, LNCS 1664, pp.557--573, Springer-Verlag, 1999.