( en | de | ru )

 

Disambiguierung von "Rathke, Julian"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Deriving structural labelled transitions for mobile ambients.

, und . Inf. Comput., 208 (10): 1221-1242 (2010)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Heinrich Rathke

Antje Rathke

Andreas Rathke

Andreas Rathke

Wolfgang Rathke

 

Weitere Publikationen von Autoren mit dem selben Namen

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