| Java Jr: Fully abstract trace semantics for a core Java language A Jeffrey, J Rathke European symposium on programming, 423-438, 2005 | 133 | 2005 |
| A fully abstract may testing semantics for concurrent objects A Jeffrey, J Rathke Theoretical Computer Science 338 (1-3), 17-63, 2005 | 108 | 2005 |
| Towards a theory of bisimulation for local names A Jeffrey, J Rathke Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999 | 107* | 1999 |
| Contextual equivalence for higher-order pi-calculus revisited A Jeffrey, J Rathke Logical Methods in Computer Science 1, 2005 | 84 | 2005 |
| Typed behavioural equivalences for processes in the presence of subtyping M Hennessy, J Rathke Mathematical Structures in Computer Science 14 (5), 651-684, 2004 | 78 | 2004 |
| Local memory via layout randomization R Jagadeesan, C Pitcher, J Rathke, J Riely 2011 IEEE 24th Computer Security Foundations Symposium, 161-174, 2011 | 62 | 2011 |
| Bisimulations for a calculus of broadcasting systems M Hennessy, J Rathke Theoretical Computer Science 200 (1-2), 225-260, 1998 | 49 | 1998 |
| Towards a behavioural theory of access and mobility control in distributed systems M Hennessy, M Merro, J Rathke Theoretical Computer Science 322 (3), 615-669, 2004 | 48 | 2004 |
| safeDpi: A Language for Controlling Mobile Code M Hennessy, J Rathke, N Yoshida Foundations of Software Science and Computation Structures: 7th …, 2004 | 48 | 2004 |
| Towards a behavioural theory of access and mobility control in distributed systems M Hennessy, M Merro, J Rathke Foundations of Software Science and Computation Structures: 6th …, 2003 | 43 | 2003 |
| safeDpi: a language for controlling mobile code M Hennessy, J Rathke, N Yoshida Acta Informatica 42, 227-290, 2005 | 40 | 2005 |
| Dynamic software update for message passing programs G Anderson, J Rathke Asian Symposium on Programming Languages and Systems, 207-222, 2012 | 38 | 2012 |
| Deconstructing behavioural theories of mobility J Rathke, P Sobociński Fifth Ifip International Conference On Theoretical Computer Science–Tcs 2008 …, 2008 | 38 | 2008 |
| Semantic barbs and biorthogonality J Rathke, V Sassone, P Sobociński Foundations of Software Science and Computational Structures: 10th …, 2007 | 38 | 2007 |
| Deriving structural labelled transitions for mobile ambients J Rathke, P Sobociński International Conference on Concurrency Theory, 462-476, 2008 | 34 | 2008 |
| Local model checking for value-passing processes J Rathke, M Hennessy International Symposium on Theoretical Aspects of Computer Software, 250-266, 1997 | 26 | 1997 |
| Compositional reachability in Petri nets J Rathke, P Sobociński, O Stephens Reachability Problems: 8th International Workshop, RP 2014, Oxford, UK …, 2014 | 25 | 2014 |
| Migrating protocols in multi-threaded message-passing systems A Anderson, J Rathke Proceedings of the 2nd International Workshop on Hot Topics in Software …, 2009 | 25 | 2009 |
| Unique fixpoint induction for message-passing process calculi M Hennessy, H Lin, J Rathke Science of Computer Programming 41 (3), 241-275, 2001 | 22 | 2001 |
| Symbolic techniques for value-passing calculi J Rathke University of Sussex, 1997 | 22 | 1997 |
