( en | de | ru )

 

Disambiguierung von "Rathke, Julian"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
safeDpi: A Language for Controlling Mobile Code.

, , und . FoSSaCS, Volume 2987 von Lecture Notes in Computer Science, Seite 241-256. Springer, (2004)

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

Wolfgang Rathke

Andreas Rathke

 

Weitere Publikationen von Autoren mit dem selben Namen

safeDpi: a language for controlling mobile code., , und . Acta Inf., 42 (4-5): 227-290 (2005)Full Abstraction for Polymorphic Pi-Calculus., und . FoSSaCS, Volume 3441 von Lecture Notes in Computer Science, Seite 266-281. Springer, (2005)Local Model Checking for Value-Passing Processes (Extended Abstract)., und . TACS, Volume 1281 von Lecture Notes in Computer Science, Seite 250-266. Springer, (1997)Semantic Barbs and Biorthogonality., , und . FoSSaCS, Volume 4423 von Lecture Notes in Computer Science, Seite 302-316. Springer, (2007)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)Making the Unobservable, Unobservable., und . ICE@ICALP, Volume 229 von Electronic Notes in Theoretical Computer Science, Seite 131-144. Elsevier, (2008)Typed behavioural equivalences for processes in the presence of subtyping., und . CATS, Volume 61 von Electronic Notes in Theoretical Computer Science, Seite 122-139. Elsevier, (2002)Unique fixpoint induction for message-passing process calculi., , und . Sci. Comput. Program., 41 (3): 241-275 (2001)safeDpi: A Language for Controlling Mobile Code., , und . FoSSaCS, Volume 2987 von Lecture Notes in Computer Science, Seite 241-256. Springer, (2004)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)