Grech, Neville; Fischer, Bernd; Rathke, Julian Preemptive type checking. (English) Zbl 1400.68056 J. Log. Algebr. Methods Program. 101, 151-181 (2018). MSC: 68N30 68N15 68N18 PDF BibTeX XML Cite \textit{N. Grech} et al., J. Log. Algebr. Methods Program. 101, 151--181 (2018; Zbl 1400.68056) Full Text: DOI
Rathke, Julian; Sobociński, Paweł; Stephens, Owen Compositional reachability in Petri nets. (English) Zbl 1448.68351 Ouaknine, Joël (ed.) et al., Reachability problems. 8th international workshop, RP 2014, Oxford, UK, September 22–24, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8762, 230-243 (2014). MSC: 68Q85 PDF BibTeX XML Cite \textit{J. Rathke} et al., Lect. Notes Comput. Sci. 8762, 230--243 (2014; Zbl 1448.68351) Full Text: DOI
Grech, Neville; Rathke, Julian; Fischer, Bernd Preemptive type checking in dynamically typed languages. (English) Zbl 1405.68030 Liu, Zhiming (ed.) et al., Theoretical aspects of computing – ICTAC 2013. 10th international colloquium, Shanghai, China, September 4–6, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39717-2/pbk). Lecture Notes in Computer Science 8049, 195-212 (2013). MSC: 68N15 PDF BibTeX XML Cite \textit{N. Grech} et al., Lect. Notes Comput. Sci. 8049, 195--212 (2013; Zbl 1405.68030) Full Text: DOI
Jeffrey, Alan; Rathke, Julian The lax braided structure of streaming I/O. (English) Zbl 1247.68088 Bezem, Marc (ed.), Computer science logic (CSL’11). 25th international workshop, 20th annual conference of the EACSL, Bergen, Norway, September 12–15, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-32-3). LIPIcs – Leibniz International Proceedings in Informatics 12, 292-306, electronic only (2011). MSC: 68Q05 18B20 18D10 68N18 68N30 68T15 PDF BibTeX XML Cite \textit{A. Jeffrey} and \textit{J. Rathke}, LIPIcs -- Leibniz Int. Proc. Inform. 12, 292--306 (2011; Zbl 1247.68088) Full Text: DOI Link
Francalanza, Adrian; Rathke, Julian; Sassone, Vladimiro Permission-based separation logic for message-passing concurrency. (English) Zbl 1237.68061 Log. Methods Comput. Sci. 7, No. 3, Paper No. 7, 47 p. (2011). MSC: 68N30 03B70 68Q85 PDF BibTeX XML Cite \textit{A. Francalanza} et al., Log. Methods Comput. Sci. 7, No. 3, Paper No. 7, 47 p. (2011; Zbl 1237.68061) Full Text: DOI
Rathke, Julian; Sobociński, Paweł Deriving structural labelled transitions for mobile ambients. (English) Zbl 1214.68251 Inf. Comput. 208, No. 10, 1221-1242 (2010). MSC: 68Q85 PDF BibTeX XML Cite \textit{J. Rathke} and \textit{P. Sobociński}, Inf. Comput. 208, No. 10, 1221--1242 (2010; Zbl 1214.68251) Full Text: DOI
Rathke, Julian; Sobociński, Paweł Making the unobservable, unobservable. (English) Zbl 1291.68290 Bonchi, Filippo (ed.) et al., Proceedings of the 1st interaction and concurrency experiences workshop (ICE 2008), Reykjavik, Iceland, July 6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 3, 131-144 (2009). MSC: 68Q85 68Q55 PDF BibTeX XML Cite \textit{J. Rathke} and \textit{P. Sobociński}, Electron. Notes Theor. Comput. Sci. 229, No. 3, 131--144 (2009; Zbl 1291.68290) Full Text: DOI
Rathke, Julian; Sobociński, Paweł Deriving labelled transition systems – a structural approach. (English) Zbl 1191.68446 Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 98, 108-122 (2009). MSC: 68Q85 68Q42 PDF BibTeX XML Cite \textit{J. Rathke} and \textit{P. Sobociński}, Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 98, 108--122 (2009; Zbl 1191.68446)
Rathke, Julian; Sobociński, Paweł Deriving structural labelled transitions for mobile ambients. (English) Zbl 1160.68474 van Breugel, Franck (ed.) et al., CONCUR 2008 – concurrency theory. 19th international conference, CONCUR 2008, Toronto, Canada, August 19–22, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85360-2/pbk). Lecture Notes in Computer Science 5201, 462-476 (2008). MSC: 68Q85 PDF BibTeX XML Cite \textit{J. Rathke} and \textit{P. Sobociński}, Lect. Notes Comput. Sci. 5201, 462--476 (2008; Zbl 1160.68474) Full Text: DOI
Jeffrey, Alan; Rathke, Julian Full abstraction for polymorphic \(\pi \)-calculus. (English) Zbl 1134.68040 Theor. Comput. Sci. 390, No. 2-3, 171-196 (2008). MSC: 68Q85 PDF BibTeX XML Cite \textit{A. Jeffrey} and \textit{J. Rathke}, Theor. Comput. Sci. 390, No. 2--3, 171--196 (2008; Zbl 1134.68040) Full Text: DOI
Rathke, Julian; Sassone, Vladimiro; Sobociński, Paweł Semantic barbs and biorthogonality. (English) Zbl 1195.68073 Seidl, Helmut (ed.), Foundations of software science and computational structures. 10th international conference, FOSSACS 2007, held as part of the joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal, March 24 – April 1, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-71388-3/pbk). Lecture Notes in Computer Science 4423, 302-316 (2007). MSC: 68Q85 PDF BibTeX XML Cite \textit{J. Rathke} et al., Lect. Notes Comput. Sci. 4423, 302--316 (2007; Zbl 1195.68073) Full Text: DOI
Rathke, Julian (ed.) Proceedings of the workshop on the foundations of global ubiquitous computing (FGUC 2004), London, UK, September 3–4, 2004. (English) Zbl 1272.68034 Electronic Notes in Theoretical Computer Science 138, No. 1. Amsterdam: Elsevier. 101 p., electronic only (2005). MSC: 68-06 68Q60 68Q85 00B25 PDF BibTeX XML Cite \textit{J. Rathke} (ed.), Proceedings of the workshop on the foundations of global ubiquitous computing (FGUC 2004), London, UK, September 3--4, 2004. Amsterdam: Elsevier (2005; Zbl 1272.68034) Full Text: Link
Jeffrey, Alan S. A.; Rathke, Julian Contextual equivalence for higher-order pi-calculus revisited. (English) Zbl 1125.68084 Log. Methods Comput. Sci. 1, No. 1, Paper 4, 22 p. (2005). MSC: 68Q85 PDF BibTeX XML Cite \textit{A. S. A. Jeffrey} and \textit{J. Rathke}, Log. Methods Comput. Sci. 1, No. 1, Paper 4, 22 p. (2005; Zbl 1125.68084) Full Text: DOI
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
Jeffrey, Alan; Rathke, Julian Full abstraction for polymorphic pi-calculus. (English) Zbl 1119.68128 Sassone, Vladimiro (ed.), Foundations of software science and computation structures. 8th international conference, FOSSACS 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25388-2/pbk). Lecture Notes in Computer Science 3441, 266-281 (2005). MSC: 68Q85 PDF BibTeX XML Cite \textit{A. Jeffrey} and \textit{J. Rathke}, Lect. Notes Comput. Sci. 3441, 266--281 (2005; Zbl 1119.68128) Full Text: DOI
Jeffrey, Alan; Rathke, Julian Java Jr.: Fully abstract trace semantics for a core Java language. (English) Zbl 1108.68349 Sagiv, Mooly (ed.), Programming languages and systems. 14th European symposium on programming, ESOP 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25435-8/pbk). Lecture Notes in Computer Science 3444, 423-438 (2005). MSC: 68N15 68N19 68Q55 PDF BibTeX XML Cite \textit{A. Jeffrey} and \textit{J. Rathke}, Lect. Notes Comput. Sci. 3444, 423--438 (2005; Zbl 1108.68349) Full Text: DOI
Jeffrey, Alan; Rathke, Julian A fully abstract may testing semantics for concurrent objects. (English) Zbl 1078.68107 Theor. Comput. Sci. 338, No. 1-3, 17-63 (2005). Reviewer: Krassimir Atanassov (Sofia) MSC: 68Q85 68Q55 PDF BibTeX XML Cite \textit{A. Jeffrey} and \textit{J. Rathke}, Theor. Comput. Sci. 338, No. 1--3, 17--63 (2005; Zbl 1078.68107) Full Text: DOI
Wakeman, Ian; Ellis, David; Owen, Tim; Rathke, Julian; Watson, Des Risky business: Motivations for markets in programmable networks. (English) Zbl 1129.68349 Wakamiya, Naoki (ed.) et al., Active networks. IFIP-TC6 5th international working conference, IWAN 2003, Kyoto, Japan, December 10–12, 2003. Proceedings. Berlin: Springer (ISBN 3-540-21250-7/pbk). Lecture Notes in Computer Science 2982, 266-279 (2004). MSC: 68M10 91B26 PDF BibTeX XML Cite \textit{I. Wakeman} et al., Lect. Notes Comput. Sci. 2982, 266--279 (2004; Zbl 1129.68349) 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
Jeffrey, Alan; Rathke, Julian A theory of bisimulation for a fragment of concurrent ML with local names. (English) Zbl 1105.68354 Theor. Comput. Sci. 323, No. 1-3, 1-48 (2004). MSC: 68Q85 PDF BibTeX XML Cite \textit{A. Jeffrey} and \textit{J. Rathke}, Theor. Comput. Sci. 323, No. 1--3, 1--48 (2004; Zbl 1105.68354) Full Text: DOI
Jeffrey, Alan; Rathke, Julian Contextual equivalence for higher-order \(\pi\)-calculus revisited. (English) Zbl 1337.68185 Brookes, Steven (ed.), Proceedings of the 19th conference on mathematical foundations of programming semantics (MFPS XIX), Montreal, Canada, March 19–22, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 83, 149-168, electronic only (2003). MSC: 68Q85 PDF BibTeX XML Cite \textit{A. Jeffrey} and \textit{J. Rathke}, Electron. Notes Theor. Comput. Sci. 83, 149--168 (2003; Zbl 1337.68185) 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)