Open menu
View all staff

Dr Julian Rathke

Associate Professor

Connect with Julian

Email: jr2@ecs.soton.ac.uk

Address: B59, West Highfield Campus, University Road, SO17 1BJ

Publications
Publications

Publications

37 publications
Page 4 of 4
Contextual equivalence for higher-order pi-calculus revisited
Alan Jeffrey,
& Julian Rathke
, 2002
Type: report
Implementing Policies in Programs using Labelled Transition Systems
Tim Owen,
Julian Rathke,
Ian Wakeman,
& Des Watson
, 2002
Type: conference
Typed behavioural equivalences for processes in the presence of subtyping
Matthew Hennessy,
& Julian Rathke
, 2002
Type: book
A theory of bisimulation for a fragment of concurrent ML with local names
Alan Jeffrey,
& Julian Rathke
, 2002
Type: report
A fully abstract may testing semantics for concurrent objects
Alan Jeffrey,
& Julian Rathke
, 2002
Type: book
Towards a behavioural theory of access and mobility control in distributed systems
Matthew Hennessy,
Massimo Merro,
& Julian Rathke
, 2002
Type: report
Unique fixpoint induction for message-passing process calculi
Matthew Hennessy,
Huimin Lin,
& Julian Rathke
, 2001 , Science of Computer Programming , 41 (3) , 241--275
Type: article
How to edit profile
Back
to top