Julian Rathke
Title
Cited by
Cited by
Year
Java Jr: Fully abstract trace semantics for a core Java language
A Jeffrey, J Rathke
European symposium on programming, 423-438, 2005
1162005
A fully abstract may testing semantics for concurrent objects
A Jeffrey, J Rathke
Theoretical Computer Science 338 (1-3), 17-63, 2005
1092005
Towards a theory of bisimulation for local names
A Jeffrey, J Rathke
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999
100*1999
Contextual equivalence for higher-order π-calculus revisited
A Jeffrey, J Rathke
Electronic Notes in Theoretical Computer Science 83, 149-168, 2003
872003
safeDpi: A Language for Controlling Mobile Code
M Hennessy, J Rathke, N Yoshida
International Conference on Foundations of Software Science and Computation …, 2004
862004
Typed behavioural equivalences for processes in the presence of subtyping
M Hennessy, J Rathke
Mathematical Structures in Computer Science 14 (5), 651-684, 2004
792004
Local memory via layout randomization
R Jagadeesan, C Pitcher, J Rathke, J Riely
2011 IEEE 24th Computer Security Foundations Symposium, 161-174, 2011
592011
Towards a behavioural theory of access and mobility control in distributed systems
M Hennessy, M Merro, J Rathke
International Conference on Foundations of Software Science and Computation …, 2003
442003
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
432004
Deconstructing behavioural theories of mobility
J Rathke, P Sobociński
Fifth Ifip International Conference On Theoretical Computer Science–Tcs 2008 …, 2008
402008
Dynamic software update for message passing programs
G Anderson, J Rathke
Asian Symposium on Programming Languages and Systems, 207-222, 2012
382012
Semantic barbs and biorthogonality
J Rathke, V Sassone, P Sobociński
International Conference on Foundations of Software Science and …, 2007
382007
Bisimulations for a calculus of broadcasting systems
M Hennessy, J Rathke
Theoretical Computer Science 200 (1-2), 225-260, 1998
381998
Deriving structural labelled transitions for mobile ambients
J Rathke, P Sobociński
International Conference on Concurrency Theory, 462-476, 2008
352008
Migrating protocols in multi-threaded message-passing systems
A Anderson, J Rathke
Proceedings of the 2nd International Workshop on Hot Topics in Software …, 2009
222009
Local model checking for value-passing processes
J Rathke, M Hennessy
International Symposium on Theoretical Aspects of Computer Software, 250-266, 1997
211997
Unique fixpoint induction for message-passing process calculi
M Hennessy, H Lin, J Rathke
Science of Computer Programming 41 (3), 241-275, 2001
202001
Symbolic techniques for value-passing calculi
J Rathke
University of Sussex, 1997
201997
Local Model Checking for a Value-Based Modal -Calculus
J Rathke, M Hennessy
REPORT-UNIVERSITY OF SUSSEX COMPUTER SCIENCE, 1996
201996
Permission-based separation logic for message-passing concurrency
V Sassone, J Rathke, A Francalanza
Logical Methods in Computer Science 7, 2011
172011
The system can't perform the operation now. Try again later.
Articles 1–20