PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Rathke, Julian"

Author of the publication

copydeleteadd this publication to your clipboard
Towards a behavioural theory of access and mobility control in distributed systems.

, , and . Theor. Comput. Sci., 322 (3): 615-669 (2004)

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.

Julian Schöpf University of Stuttgart

Julian Dinkelacker University of Stuttgart

Julian Scholl University of Stuttgart

Julian Fischer University of Stuttgart

Julian Beyer University of Stuttgart

 

Other publications of authors with the same name

safeDpi: a language for controlling mobile code., , and . Acta Inf., 42 (4-5): 227-290 (2005)Permission-Based Separation Logic for Message-Passing Concurrency, , and . Logical Methods in Computer Science, (2011)Decomposing Petri nets, , and . CoRR, (2013)Preemptive Type Checking in Dynamically Typed Languages., , and . ICTAC, volume 8049 of Lecture Notes in Computer Science, page 195-212. Springer, (2013)Full Abstraction for Polymorphic Pi-Calculus., and . FoSSaCS, volume 3441 of Lecture Notes in Computer Science, page 266-281. Springer, (2005)Preface.. Electron. Notes Theor. Comput. Sci., 138 (1): 1 (2005)Deriving Labelled Transition Systems - A Structural Approach., and . Bulletin of the EATCS, (2009)Bisimulations for a Calculus of Broadcasting Systems., and . Theor. Comput. Sci., 200 (1-2): 225-260 (1998)Contextual equivalence for higher-order pi-calculus revisited., and . Logical Methods in Computer Science, (2005)Dynamic Software Update for Message Passing Programs., and . APLAS, volume 7705 of Lecture Notes in Computer Science, page 207-222. Springer, (2012)