Matthew Hennessy, Massimo Merro, and Julian Rathke. Towards a behavioural theory of access and mobility control in distributed systems. In Andrew Gordon, editor, FOSSACS'03: 6th International Conference on Foundations of Software Science and Computation Structures (Warsaw, Poland), volume 2620 of Lecture Notes in Computer Science, pages 282--298. Springer-Verlag, 2003. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents
safeDpi: a language for controlling mobile code - Hennessy, Rathke, Yoshida (2003) (16 citations) Self-citation (Hennessy Rathke) (Correct)
No context found.
Matthew Hennessy, Massimo Merro, and Julian Rathke. Towards a behavioural theory of access and mobility control in distributed systems. Technical Report 2002.
safeDpi: a language for controlling mobile code - Hennessy, Rathke, Yoshida (2003) (16 citations) Self-citation (Hennessy Rathke) (Correct)
No context found.
Matthew Hennessy, Massimo Merro, and Julian Rathke. Towards a behavioural theory of access and mobility control in distributed systems. Theoretical Computer Science, 322:615-669, 2003.
Bisimulation Proof Methods for Mobile Ambients - Merro, Nardelli (2003) (10 citations) Self-citation (Merro) (Correct)
No context found.
M. Hennessy M. Merro and J. Rathke. Towards a behavioural theory of access and mobility control in distributed system. To appear in Proc. 5th FoSSaCS '03, LNCS, 2003, Springer-Verlag.
Electronic Notes in Theoretical Computer Science 85 No. 1 (2003) - Url Http Www (Correct)
No context found.
Matthew Hennessy, Massimo Merro, and Julian Rathke. Towards a behavioural theory of access and mobility control in distributed systems. In Andrew Gordon, editor, FOSSACS'03: 6th International Conference on Foundations of Software Science and Computation Structures (Warsaw, Poland), volume 2620 of Lecture Notes in Computer Science, pages 282--298. Springer-Verlag, 2003.
Boxed Ambients with Communication Interfaces - Bonelli, Compagnoni.. (2004) (1 citation) (Correct)
No context found.
Matthew Hennessy, Massimo Merro, and Julian Rathke. Towards a behavioural theory of access and mobility control in distributed system (extended abstract). In Andrew D. Gordon, editor, FOSSACS'03, volume 2620 of LNCS, pages 282--299, Berlin, 2003. Springer-Verlag.
A Calculus of Bounded Capacities - Barbanera, Bugliesi.. (2003) (384 citations) (Correct)
No context found.
M. Hennessy, M. Merro, and J. Rathke. Towards a behavioural theory of access and mobility control in distributed system (extended abstract). In A. D. Gordon, editor, FOSSACS'03, volume 2620 of LNCS, pages 282--299, Berlin, 2003. Springer-Verlag.
Typing Migration Control in lsdπ - Martins, Ravara (Correct)
No context found.
M. Hennessy, M. Merro, and J. Rathke. Towards a behavioural theory of access and mobility control in distributed systems. Theoretical Computer Science, 2003.
A Calculus of Bounded Capacities - Barbanera, Bugliesi, al. (2003) (384 citations) (Correct)
No context found.
Hennessy, Matthew, Merro, Massimo, & Rathke, Julian. (2003). Towards a behavioural theory of access and mobility control in distributed system (extended abstract). Pages 282--299 of: Gordon, Andrew D. (ed), FOSSACS'03. Lecture Notes in Computer Science, vol. 2620. Springer-Verlag.
Controlling Security Policies in a Distributed Environment - Martins, Vasconcelos (2004) (1 citation) (Correct)
No context found.
M. Hennessy, M. Merro, and J. Rathke. Towards a behavioural theory of access and mobility control in distributed systems. Theoretical Computer Science, 2003.
A Semantic Theory for Global Computing Systems - Daniele Gorla Rosario (2003) (Correct)
No context found.
M. Hennessy, M. Merro, and J. Rathke. Towards a behavioural theory of access and mobility control in distributed systems. In Proceedings of FoSSaCS '03, volume 2620 of LNCS, pages 282--299. Springer, 2003.
A Calculus of Bounded Capacities - Barbanera Bugliesi Dezani-Ciancaglini (2003) (384 citations) (Correct)
No context found.
M. Hennessy, M. Merro, and J. Rathke. Towards a behavioural theory of access and mobility control in distributed system (extended abstract). In A. D. Gordon, editor, FOSSACS'03, volume 2620 of LNCS, pages 282--299, Berlin, 2003. Springer-Verlag.
A Dependently Typed Ambient Calculus - Lhoussaine, Sassone (2003) (9 citations) (Correct)
No context found.
M. Hennessy, M. Merro, and J. Rathke. Towards a behavioural theory of access and mobility control in distributed systems. In FOSSACS'03, Lecture Notes in Computer Science. Springer, 2003.
A Calculus of Bounded Capacities - Barbanera Bugliesi Dezani-Ciancaglini (2003) (384 citations) (Correct)
No context found.
M. Hennessy, M. Merro, and J. Rathke. Towards a behavioural theory of access and mobility control in distributed system (extended abstract). In A. D. Gordon, editor, FOSSACS'03, volume 2620 of LNCS, pages 282--299, Berlin, 2003. Springer-Verlag.
History-Based Access Control for Distributed Processes - Martins, Vasconcelos (Correct)
No context found.
M. Hennessy, M. Merro, and J. Rathke. Towards a behavioural theory of access and mobility control in distributed systems. Theoretical Computer Science, 2003.
A Dependently Typed Ambient Calculus - Edric Lhoussaine And (2003) (9 citations) (Correct)
No context found.
M. Hennessy, M. Merro, and J. Rathke. Towards a behavioural theory of access and mobility control in distributed systems. In FOSSACS'03, Lecture Notes in Computer Science. Springer, 2003.
Lexically Scoped Distribution: What You See is What You.. - Ravara, Matos.. (2003) (Correct)
No context found.
Matthew Hennessy, Massimo Merro, and Julian Rathke. Towards a behavioural theory of access and mobility control in distributed systems. In Andrew Gordon, editor, FOSSACS'03: 6th International Conference on Foundations of Software Science and Computation Structures (Warsaw, Poland), volume 2620 of Lecture Notes in Computer Science, pages 282--298. Springer-Verlag, 2003.
A Dependently Typed Ambient Calculus - Lhoussaine, Sassone (2003) (9 citations) (Correct)
No context found.
M. Hennessy, M. Merro, and J. Rathke. Towards a behavioural theory of access and mobility control in distributed systems. In FOSSACS'03, Lecture Notes in Computer Science. Springer, 2003.
Boxed Ambients with Communication Interfaces - Bonelli, Compagnoni.. (2004) (1 citation) (Correct)
No context found.
Matthew Hennessy, Massimo Merro, and Julian Rathke. Towards a behavioural theory of access and mobility control in distributed system (extended abstract). In Andrew D. Gordon, editor, FOSSACS'03, volume 2620 of LNCS, pages 282--299, Berlin, 2003. Springer-Verlag.
A Calculus of Bounded Capacities - Barbanera Bugliesi Dezani-Ciancaglini (2003) (384 citations) (Correct)
No context found.
M. Hennessy, M. Merro, and J. Rathke. Towards a behavioural theory of access and mobility control in distributed system (extended abstract). In A. D. Gordon, editor, FOSSACS'03, volume 2620 of LNCS, pages 282--299, Berlin, 2003. Springer-Verlag.
MIKADO Global Computing Project IST-2001-32222 - Mobile Calculi Based (Correct)
No context found.
M. Hennessy, M. Merro, and J. Rathke. Towards a behavioural theory of access and mobility control in distributed systems. In Proceedings of FoSSaCS '03, volume 2620 of LNCS, pages 282--299. Springer, 2003. Full version as COGS Computer Science Technical Report, 2002:01.
A Semantic Theory for Global Computing Systems - Daniele Gorla Rosario (2003) (Correct)
No context found.
M. Hennessy, M. Merro, and J. Rathke. Towards a behavioural theory of access and mobility control in distributed systems. In Proceedings of FoSSaCS '03, volume 2620 of LNCS, pages 282--299. Springer, 2003.
Resource Access and Mobility Control with Dynamic.. - Gorla, Pugliese (2003) (8 citations) (Correct)
No context found.
M. Hennessy, M. Merro, and J. Rathke. Towards a behavioural theory of access and mobility control in distributed systems. In Proceedings of FoSSaCS '03, volume 2620 of LNCS, pages 282--299. Springer, 2003. Full version as COGS Computer Science Technical Report, 2002:01.
A Calculus of Bounded Capacities - Barbanera Bugliesi Dezani-Ciancaglini (2003) (384 citations) (Correct)
No context found.
M. Hennessy, M. Merro, and J. Rathke. Towards a behavioural theory of access and mobility control in distributed system (extended abstract). In A. D. Gordon, editor, FOSSACS'03, volume 2620 of LNCS, pages 282--299, Berlin, 2003. Springer-Verlag.
A Calculus of Bounded Capacities - Barbanera Bugliesi Dezani-Ciancaglini (2003) (384 citations) (Correct)
No context found.
M. Hennessy, M. Merro, and J. Rathke. Towards a behavioural theory of access and mobility control in distributed system (extended abstract). In A. D. Gordon, editor, FOSSACS'03, volume 2620 of LNCS, pages 282--299, Berlin, 2003. Springer-Verlag.
A Semantic Theory for Global Computing Systems - Gorla, Pugliese (2004) (Correct)
No context found.
M. Hennessy, M. Merro, and J. Rathke. Towards a behavioural theory of access and mobility control in distributed systems. In Proceedings of FoSSaCS '03, volume 2620 of LNCS, pages 282--299. Springer, 2003.
First 50 documents
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