PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Vasconcelos, Vasco T."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Foundations of Session Types and Behavioural Contracts.

, , , , , , , , , , , und . ACM Comput. Surv., 49 (1): 3:1-3:36 (2016)

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.

T. Ertl

T. Vietor

T. Maier

T. Maier

T. Maier

 

Weitere Publikationen von Autoren mit dem selben Namen

Dependent Types for Class-based Mutable Objects (Artifact)., und . DARTS, 4 (3): 01:1-01:2 (2018)Channels as Objects in Concurrent Object-Oriented Programming, und . PLACES, Volume 69 von EPTCS, Seite 12-28. (2010)HeadREST: A Specification Language for RESTful APIs., , , und . Models, Languages, and Tools for Concurrent and Distributed Programming, Volume 11665 von Lecture Notes in Computer Science, Seite 428-434. Springer, (2019)Imperative objects with dependent types., und . FTfJP@ECOOP, Seite 2:1-2:6. ACM, (2015)A Type System for Flexible Role Assignment in Multiparty Communicating Systems., , , und . TGC, Volume 8191 von Lecture Notes in Computer Science, Seite 82-96. Springer, (2012)Towards deductive verification of MPI programs against session types., , , , und . PLACES, Volume 137 von EPTCS, Seite 103-113. (2013)Behavioral Types in Programming Languages., , , , , , , , , und 9 andere Autor(en). Foundations and Trends in Programming Languages, 3 (2-3): 95-230 (2016)Label-dependent session types., und . Proc. ACM Program. Lang., 4 (POPL): 67:1-67:29 (2020)Gradual Session Types., , , , und . CoRR, (2018)Affine Sessions., und . Logical Methods in Computer Science, (2018)