Yoshida, N. and Hennessy, M., Subtyping and Locality in Distributed Higher Order Processes. Proc. CONCUR '99, LNCS 1664, pp.557--573, Springer-Verlag, 1999. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Assigning Types to Processes - Yoshida, Hennessy (2000) (32 citations) Self-citation (Yoshida Hennessy) (Correct)
No context found.
Yoshida, N. and Hennessy, M., Subtyping and Locality in Distributed Higher Order Processes. Proc. CONCUR '99, LNCS 1664, pp.557--573, Springer-Verlag, 1999.
safeDpi: a language for controlling mobile code - Hennessy, Rathke, Yoshida (2003) (16 citations) Self-citation (Yoshida Hennessy) (Correct)
No context found.
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.
safeDpi: a language for controlling mobile code - Hennessy, Rathke, Yoshida (2003) (16 citations) Self-citation (Yoshida Hennessy) (Correct)
No context found.
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.
Type-Based Security for Mobile Computing: Integrity.. - Nobuko Yoshida.. (2004) Self-citation (Yoshida) (Correct)
No context found.
Yoshida, N. and Hennessy, M., Subtyping and Locality in Distributed Higher Order Processes. Proc. CONCUR'99, LNCS 1664, pp.557-- 573, Springer-Verlag, 1999.
The M-calculus: A Higher-Order Distributed Process Calculus - Schmitt, Stefani (2003) (6 citations) (Correct)
No context found.
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.
O'KLAIM: a coordination language with mobile mixins - Bettini, Bono, Venneri (2004) (Correct)
No context found.
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--
A Calculus of Bounded Capacities - Barbanera, Bugliesi.. (2003) (384 citations) (Correct)
No context found.
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
A Calculus of Bounded Capacities - Barbanera, Bugliesi, al. (2003) (384 citations) (Correct)
No context found.
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.
A Calculus of Higher-Order Distributed Components - Stefani (2003) (7 citations) (Correct)
No context found.
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.
Subtyping-Inheritance Conflicts: The Mobile Mixin Case - Bettini, Bono, Venneri (1 citation) (Correct)
No context found.
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.
Typing and Subtyping Mobility in Boxed Ambients - Merro, Sassone (2002) (11 citations) (Correct)
No context found.
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.
A Calculus of Bounded Capacities - Barbanera Bugliesi Dezani-Ciancaglini (2003) (384 citations) (Correct)
No context found.
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.
A Calculus of Bounded Capacities - Barbanera Bugliesi Dezani-Ciancaglini (2003) (384 citations) (Correct)
No context found.
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.
A Calculus of Bounded Capacities - Barbanera Bugliesi Dezani-Ciancaglini (2003) (384 citations) (Correct)
No context found.
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.
Ist-2001-33234 - Peer-To-Peer Implementation And (Correct)
No context found.
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.
O'KLAIM: a coordination language with mobile mixins - Bettini, Bono, Venneri (2004) (Correct)
No context found.
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
Recovering Resources in the π-Calculus - Teller (Correct)
No context found.
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.
What are Polymorphically-Typed Ambients? - Amtoft, Kfoury, Pericas-Geertsen (2001) (Correct)
No context found.
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.
Resource Access and Mobility Control with Dynamic.. - Gorla, Pugliese (2003) (8 citations) (Correct)
No context found.
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.
The M-calculus: A Higher-Order Distributed Process Calculus - Schmitt, Stefani (2002) (6 citations) (Correct)
No context found.
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.
A Calculus of Bounded Capacities - Barbanera Bugliesi Dezani-Ciancaglini (2003) (384 citations) (Correct)
No context found.
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
A Calculus of Bounded Capacities - Barbanera Bugliesi Dezani-Ciancaglini (2003) (384 citations) (Correct)
No context found.
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.
Mixin and Class Subtyping Hierarchies in a Mobile Setting - Lorenzo Bettini Viviana (Correct)
No context found.
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
Enforcing Security Policies via Types - Daniele Gorla And (2003) (2 citations) (Correct)
No context found.
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.
Subtyping-Inheritance Conflicts: The Mobile Mixin Case - Bettini, Bono, Venneri (2004) (1 citation) (Correct)
No context found.
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.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC