( en | de | ru )

 

Disambiguation of "Rathke, Julian"

Author of the publication

copydeleteadd this publication to your clipboard
Deconstructing behavioural theories of mobility.

, and . IFIP TCS, volume 273 of IFIP, page 507-520. Springer, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Heinrich Rathke

Antje Rathke

Andreas Rathke

Wolfgang Rathke

Andreas Rathke

 

Other publications of authors with the same name

Full Abstraction for Polymorphic Pi-Calculus., and . FoSSaCS, volume 3441 of Lecture Notes in Computer Science, page 266-281. Springer, (2005)Local Model Checking for Value-Passing Processes (Extended Abstract)., and . TACS, volume 1281 of Lecture Notes in Computer Science, page 250-266. Springer, (1997)Semantic Barbs and Biorthogonality., , and . FoSSaCS, volume 4423 of Lecture Notes in Computer Science, page 302-316. Springer, (2007)Java Jr: Fully Abstract Trace Semantics for a Core Java Language., and . ESOP, volume 3444 of Lecture Notes in Computer Science, page 423-438. Springer, (2005)Resource Based Models for Asynchrony.. FoSSaCS, volume 1378 of Lecture Notes in Computer Science, page 273-287. Springer, (1998)safeDpi: A Language for Controlling Mobile Code., , and . FoSSaCS, volume 2987 of Lecture Notes in Computer Science, page 241-256. Springer, (2004)Towards a Behavioural Theory of Access and Mobility Control in Distributed Systems., , and . FoSSaCS, volume 2620 of Lecture Notes in Computer Science, page 282-298. Springer, (2003)A Fully Abstract May Testing Semantics for Concurrent Objects., and . LICS, page 101-112. IEEE Computer Society, (2002)A Theory of Bisimulation for a Fragment of Concurrent ML with Local Names., and . LICS, page 311-321. IEEE Computer Society, (2000)The Lax Braided Structure of Streaming I/O., and . CSL, volume 12 of LIPIcs, page 292-306. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)