PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Vasconcelos, Vasco Thudichum"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Type checking a multithreaded functional language with session types.

, , und . Theor. Comput. Sci., 368 (1-2): 64-87 (2006)

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.

Susanne de Vasconcelos Barros Malheiros University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Session-Based Compilation Framework for Multicore Programming., , , und . FMCO, Volume 5751 von Lecture Notes in Computer Science, Seite 226-246. Springer, (2008)Checking the Conformance of Java Classes Against Algebraic Specifications., , , , und . ICFEM, Volume 4260 von Lecture Notes in Computer Science, Seite 494-513. Springer, (2006)A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi., , , , , , , und . Global Computing, Volume 3267 von Lecture Notes in Computer Science, Seite 179-207. Springer, (2004)Predicative Polymorphism in Pi-Calculus.. PARLE, Volume 817 von Lecture Notes in Computer Science, Seite 425-437. Springer, (1994)A Concurrent Programming Environment with Support for Distributed Computations and Code Mobility., , , und . CLUSTER, Seite 297-. IEEE Computer Society, (2000)Typing the Behavior of Objects and Component Using Session Types., , und . Electron. Notes Theor. Comput. Sci., 68 (3): 439-456 (2003)Special issue on the tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software., und . J. Log. Algebraic Methods Program., (2019)Lexically scoped distribution: what you see is what you get., , , und . Electron. Notes Theor. Comput. Sci., 85 (1): 61-79 (2003)The stream-based service-centred calculus: a foundation for service-oriented programming., , , , und . Formal Asp. Comput., 26 (5): 865-918 (2014)Traces Semantics for Actor Systems., und . Object-Based Concurrent Computing, Volume 612 von Lecture Notes in Computer Science, Seite 141-162. Springer, (1991)