The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Julian Rathke: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Matthew Hennessy, Julian Rathke
    Bisimulations for a Calculus of Broadcasting Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1995, pp:486-500 [Conf]
  2. Alan Jeffrey, Julian Rathke
    Java Jr: Fully Abstract Trace Semantics for a Core Java Language. [Citation Graph (0, 0)][DBLP]
    ESOP, 2005, pp:423-438 [Conf]
  3. Alberto Ciaffaglione, Matthew Hennessy, Julian Rathke
    Proof Methodologies for Behavioural Equivalence in DPI. [Citation Graph (0, 0)][DBLP]
    FORTE, 2005, pp:335-350 [Conf]
  4. Alan Jeffrey, Julian Rathke
    Full Abstraction for Polymorphic Pi-Calculus. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2005, pp:266-281 [Conf]
  5. Matthew Hennessy, Massimo Merro, Julian Rathke
    Towards a Behavioural Theory of Access and Mobility Control in Distributed Systems. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2003, pp:282-298 [Conf]
  6. Matthew Hennessy, Julian Rathke, Nobuko Yoshida
    safeDpi: A Language for Controlling Mobile Code. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2004, pp:241-256 [Conf]
  7. Julian Rathke
    Resource Based Models for Asynchrony. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 1998, pp:273-287 [Conf]
  8. Ian Wakeman, David Ellis, Tim Owen, Julian Rathke, Des Watson
    Risky Business: Motivations for Markets in Programmable Networks. [Citation Graph (0, 0)][DBLP]
    IWAN, 2003, pp:266-279 [Conf]
  9. Alan Jeffrey, Julian Rathke
    A Theory of Bisimulation for a Fragment of Concurrent ML with Local Names. [Citation Graph (0, 0)][DBLP]
    LICS, 2000, pp:311-321 [Conf]
  10. Alan Jeffrey, Julian Rathke
    A Fully Abstract May Testing Semantics for Concurrent Objects. [Citation Graph (0, 0)][DBLP]
    LICS, 2002, pp:101-112 [Conf]
  11. Alan Jeffrey, Julian Rathke
    Towards a Theory of Bisimulation for Local Names. [Citation Graph (0, 0)][DBLP]
    LICS, 1999, pp:56-66 [Conf]
  12. Julian Rathke
    Unique Fixpoint Induction for Value-Passing Processes (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    LICS, 1997, pp:140-148 [Conf]
  13. Julian Rathke, Matthew Hennessy
    Local Model Checking for Value-Passing Processes (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    TACS, 1997, pp:250-266 [Conf]
  14. Matthew Hennessy, Julian Rathke, Nobuko Yoshida
    safeDpi: a language for controlling mobile code. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2005, v:42, n:4-5, pp:227-290 [Journal]
  15. Matthew Hennessy, Julian Rathke
    Typed behavioural equivalences for processes in the presence of subtyping. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:61, n:, pp:- [Journal]
  16. Julian Rathke
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:138, n:1, pp:1- [Journal]
  17. Alan Jeffrey, Julian Rathke
    Contextual equivalence for higher-order pi-calculus revisited. [Citation Graph (0, 0)][DBLP]
    Logical Methods in Computer Science, 2005, v:1, n:1, pp:- [Journal]
  18. Matthew Hennessy, Julian Rathke
    Typed behavioural equivalences for processes in the presence of subtyping. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2004, v:14, n:5, pp:651-684 [Journal]
  19. Matthew Hennessy, H. Lin, Julian Rathke
    Unique fixpoint induction for message-passing process calculi. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2001, v:41, n:3, pp:241-275 [Journal]
  20. Matthew Hennessy, Massimo Merro, Julian Rathke
    Towards a behavioural theory of access and mobility control in distributed systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:322, n:3, pp:615-669 [Journal]
  21. Matthew Hennessy, Julian Rathke
    Bisimulations for a Calculus of Broadcasting Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:200, n:1-2, pp:225-260 [Journal]
  22. Alan Jeffrey, Julian Rathke
    A theory of bisimulation for a fragment of concurrent ML with local names. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:323, n:1-3, pp:1-48 [Journal]
  23. Alan Jeffrey, Julian Rathke
    A fully abstract may testing semantics for concurrent objects. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:338, n:1-3, pp:17-63 [Journal]
  24. Julian Rathke, Vladimiro Sassone, Pawel Sobocinski
    Semantic Barbs and Biorthogonality. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2007, pp:302-316 [Conf]
  25. Alan Jeffrey, Julian Rathke
    Contextual equivalence for higher-order pi-calculus revisited [Citation Graph (0, 0)][DBLP]
    CoRR, 2005, v:0, n:, pp:- [Journal]

  26. Deriving Structural Labelled Transitions for Mobile Ambients. [Citation Graph (, )][DBLP]


  27. Deconstructing behavioural theories of mobility. [Citation Graph (, )][DBLP]


  28. Migrating Protocols in Multi-Threaded Message-Passing Systems. [Citation Graph (, )][DBLP]


  29. Making the Unobservable, Unobservable. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002