( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Deriving Structural Labelled Transitions for Mobile Ambients.

, и . CONCUR, том 5201 из Lecture Notes in Computer Science, стр. 462-476. 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.

Heinrich Rathke

Antje Rathke

Andreas Rathke

Andreas Rathke

Wolfgang Rathke

 

Другие публикации лиц с тем же именем

Full Abstraction for Polymorphic Pi-Calculus., и . FoSSaCS, том 3441 из Lecture Notes in Computer Science, стр. 266-281. Springer, (2005)Java Jr: Fully Abstract Trace Semantics for a Core Java Language., и . ESOP, том 3444 из Lecture Notes in Computer Science, стр. 423-438. Springer, (2005)Semantic Barbs and Biorthogonality., , и . FoSSaCS, том 4423 из Lecture Notes in Computer Science, стр. 302-316. Springer, (2007)Local Model Checking for Value-Passing Processes (Extended Abstract)., и . TACS, том 1281 из Lecture Notes in Computer Science, стр. 250-266. Springer, (1997)Bisimulations for a Calculus of Broadcasting Systems., и . Theor. Comput. Sci., 200 (1-2): 225-260 (1998)Preface.. FGUC, том 138 из Electronic Notes in Theoretical Computer Science, стр. 1. Elsevier, (2004)The Lax Braided Structure of Streaming I/O., и . CSL, том 12 из LIPIcs, стр. 292-306. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)Towards a Behavioural Theory of Access and Mobility Control in Distributed Systems., , и . FoSSaCS, том 2620 из Lecture Notes in Computer Science, стр. 282-298. Springer, (2003)safeDpi: A Language for Controlling Mobile Code., , и . FoSSaCS, том 2987 из Lecture Notes in Computer Science, стр. 241-256. Springer, (2004)Resource Based Models for Asynchrony.. FoSSaCS, том 1378 из Lecture Notes in Computer Science, стр. 273-287. Springer, (1998)