Ciaffaglione, Alberto; Hennessy, Matthew; Rathke, Julian Proof methodologies for behavioural equivalence in DPI. (English) Zbl 1169.68538 Wang, Farn (ed.), Formal techniques for networked and distributed systems – FORTE 2005. 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2–5, 2005. Proceedings. Berlin: Springer (ISBN 3-540-29189-X/pbk). Lecture Notes in Computer Science 3731, 335-350 (2005). MSC: 68Q85 PDF BibTeX XML Cite \textit{A. Ciaffaglione} et al., Lect. Notes Comput. Sci. 3731, 335--350 (2005; Zbl 1169.68538) Full Text: DOI
Hennessy, Matthew; Rathke, Julian; Yoshida, Nobuko safeDpi: a language for controlling mobile code. (English) Zbl 1081.68003 Acta Inf. 42, No. 4-5, 227-290 (2005). MSC: 68M14 68N15 PDF BibTeX XML Cite \textit{M. Hennessy} et al., Acta Inf. 42, No. 4--5, 227--290 (2005; Zbl 1081.68003) Full Text: DOI
Hennessy, Matthew; Rathke, Julian; Yoshida, Nobuko SafeDpi: A language for controlling mobile code (extended abstract). (English) Zbl 1126.68501 Walukiewicz, Igor (ed.), Foundations of software science and computation structures. 7th international conference, FOSSACS 2004, held as part of the joint European conferences on theory and practice of software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Procedings. Berlin: Springer (ISBN 3-540-21298-1/pbk). Lecture Notes in Computer Science 2987, 241-256 (2004). MSC: 68Q85 68N30 PDF BibTeX XML Cite \textit{M. Hennessy} et al., Lect. Notes Comput. Sci. 2987, 241--256 (2004; Zbl 1126.68501) Full Text: DOI
Henessy, Matthew; Rathke, Julian Typed behavioural equivalences for processes in the presence of subtyping. (English) Zbl 1093.68062 Math. Struct. Comput. Sci. 14, No. 5, 651-684 (2004). MSC: 68Q85 PDF BibTeX XML Cite \textit{M. Henessy} and \textit{J. Rathke}, Math. Struct. Comput. Sci. 14, No. 5, 651--684 (2004; Zbl 1093.68062) Full Text: DOI
Hennessy, Matthew; Merro, Massimo; Rathke, Julian Towards a behavioural theory of access and mobility control in distributed systems. (English) Zbl 1071.68009 Theor. Comput. Sci. 322, No. 3, 615-669 (2004). MSC: 68M14 68Q85 PDF BibTeX XML Cite \textit{M. Hennessy} et al., Theor. Comput. Sci. 322, No. 3, 615--669 (2004; Zbl 1071.68009) Full Text: DOI
Hennessy, Matthew; Merro, Massimo; Rathke, Julian Towards a behavioural theory of access and mobility control in distributed systems. (English) Zbl 1029.68109 Gordon, Andrew D. (ed.), Foundations of software science and computations structure. 6th international conference, FOSSACS 2003, held as part of the joint European conferences on theory and practice of software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2620, 282-298 (2003). MSC: 68Q85 68M14 03B70 PDF BibTeX XML Cite \textit{M. Hennessy} et al., Lect. Notes Comput. Sci. 2620, 282--298 (2003; Zbl 1029.68109) Full Text: Link
Hennessy, Matthew; Rathke, Julian Typed behavioural equivalences for processes in the presence of subtyping. (English) Zbl 1268.68127 Harland, James (ed.), CATS’02. Computing: the Australasian theory symposium. Proceedings of the 8th symposium, Monash, Australia, January 28 – February 1, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 61, 122-139 (2002). MSC: 68Q85 PDF BibTeX XML Cite \textit{M. Hennessy} and \textit{J. Rathke}, Electron. Notes Theor. Comput. Sci. 61, 122--139 (2002; Zbl 1268.68127) Full Text: DOI
Hennessy, M.; Lin, H.; Rathke, J. Unique fixpoint induction for message-passing process calculi. (English) Zbl 0998.68089 Sci. Comput. Program. 41, No. 3, 241-275 (2001). MSC: 68Q85 PDF BibTeX XML Cite \textit{M. Hennessy} et al., Sci. Comput. Program. 41, No. 3, 241--275 (2001; Zbl 0998.68089) Full Text: DOI
Hennessy, M.; Rathke, J. Bisimulations for a calculus of broadcasting systems. (English) Zbl 0915.68065 Theor. Comput. Sci. 200, No. 1-2, 225-260 (1998). MSC: 68Q10 68T15 PDF BibTeX XML Cite \textit{M. Hennessy} and \textit{J. Rathke}, Theor. Comput. Sci. 200, No. 1--2, 225--260 (1998; Zbl 0915.68065) Full Text: DOI
Rathke, J.; Hennessy, M. Local model checking for value-passing processes. (Extended abstract). (English) Zbl 0885.03021 Abadi, Martín (ed.) et al., Theoretical aspects of computer software. 3rd international symposium, TACS ’97. Sendai, Japan, September 23–26, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1281, 250-266 (1997). MSC: 03B45 03B80 68Q10 PDF BibTeX XML Cite \textit{J. Rathke} and \textit{M. Hennessy}, Lect. Notes Comput. Sci. 1281, 250--266 (1997; Zbl 0885.03021)