( en | de | ru )

 

Disambiguation of "Vasconcelos, Vasco Thudichum"

Author of the publication

copydeleteadd this publication to your clipboard
The stream-based service-centred calculus: a foundation for service-oriented programming.

, , , , and . Formal Aspects Comput., 26 (5): 865-918 (2014)

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.

Vasco Souza

Vasco Reuss

João Vasconcelos

Daniel Vasconcelos

Cristian Vasco

 

Other publications of authors with the same name

Predicative Polymorphism in Pi-Calculus.. PARLE, volume 817 of Lecture Notes in Computer Science, page 425-437. Springer, (1994)Special issue on the tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software., and . J. Log. Algebraic Methods Program., (2019)Checking the Conformance of Java Classes Against Algebraic Specifications., , , , and . ICFEM, volume 4260 of Lecture Notes in Computer Science, page 494-513. Springer, (2006)Preface., and . PLACES@DisCoTec, volume 241 of Electronic Notes in Theoretical Computer Science, page 1-2. Elsevier, (2008)Lexically scoped distribution: what you see is what you get., , , and . FGC, volume 85 of Electronic Notes in Theoretical Computer Science, page 61-79. Elsevier, (2003)A Concurrent Programming Environment with Support for Distributed Computations and Code Mobility., , , and . CLUSTER, page 297-. IEEE Computer Society, (2000)Session-Based Compilation Framework for Multicore Programming., , , and . FMCO, volume 5751 of Lecture Notes in Computer Science, page 226-246. Springer, (2008)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)Traces Semantics for Actor Systems., and . Object-Based Concurrent Computing, volume 612 of Lecture Notes in Computer Science, page 141-162. Springer, (1991)A Virtual Machine for a Process Calculus., , and . PPDP, volume 1702 of Lecture Notes in Computer Science, page 244-260. Springer, (1999)