Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Dependent Types for Class-based Mutable Objects (Artifact)., und . Dagstuhl Artifacts Ser., 4 (3): 01:1-01:2 (2018)Mixed Sessions: the Other Side of the Tape., , und . PLACES@ETAPS, Volume 314 von EPTCS, Seite 46-60. (2020)Mixed Sessions., , , und . ESOP, Volume 12075 von Lecture Notes in Computer Science, Seite 715-742. Springer, (2020)Channels as Objects in Concurrent Object-Oriented Programming, und . PLACES, Volume 69 von EPTCS, Seite 12-28. (2010)Polymorphic lambda calculus with context-free session types., , , und . Inf. Comput., 289 (Part): 104948 (2022)Compiling the π-calculus into a Multithreaded Typed Assembly Language, , und . Proceedings of Places08 - Programming Language Approaches to Concurrency and Communication-cEntric Software, (2008)A Multithreaded Typed Assembly Language, und . Multithreading in Hardware and Software: Formal Approaches to Design and Verification, (August 2006)Higher-order Context-free Session Types in System F., , , und . PLACES@ETAPS, Volume 356 von EPTCS, Seite 24-35. (2022)Linear Contextual Metaprogramming and Session Types., , und . CoRR, (2024)Towards deductive verification of MPI programs against session types., , , , und . PLACES, Volume 137 von EPTCS, Seite 103-113. (2013)