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
A Concurrent Programming Environment with Support for Distributed Computations and Code Mobility.

, , , und . CLUSTER, Seite 297-. IEEE Computer Society, (2000)

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 Concurrent Programming Environment with Support for Distributed Computations and Code Mobility., , , und . CLUSTER, Seite 297-. IEEE Computer Society, (2000)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)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)Typing the Behavior of Objects and Component Using Session Types., , und . Electron. Notes Theor. Comput. Sci., 68 (3): 439-456 (2003)Modular Session Types for Objects, , , und . Logical Methods in Computer Science, (2015)Verification of MPI Programs Using Session Types., , , , , und . EuroMPI, Volume 7490 von Lecture Notes in Computer Science, Seite 291-293. Springer, (2012)