PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Vasconcelos, Vasco Thudichum"

Author of the publication

copydeleteadd this publication to your clipboard
A Concurrent Programming Environment with Support for Distributed Computations and Code Mobility.

, , , and . CLUSTER, page 297-. IEEE Computer Society, (2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Susanne de Vasconcelos Barros Malheiros University of Stuttgart

 

Other publications of authors with the same name

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