Vasco Thudichum Vasconcelos - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Vasco Thudichum Vasconcelos' as author, editor, or advisor:

Bridging the Gap between Algebraic Specification and Object-Oriented Generic ProgrammingIsabel Nunes, AntÃ³nia Lopes, Vasco Thudichum Vasconcelos. RV 2009: 115-131 [doi]
Typed Concurrent ObjectsVasco Thudichum Vasconcelos. ECOOP 1994: 100-117 [doi]
Predicative Polymorphism in Pi-CalculusVasco Thudichum Vasconcelos. parle 1994: 425-437
Processes, Functions, and DatatypesVasco Thudichum Vasconcelos. tapos, 5(2):97-110, 1999.
Disciplining Orchestration and Conversation in Service-Oriented ComputingIvan Lanese, Francisco Martins, Vasco Thudichum Vasconcelos, António Ravara. SEFM 2007: 305-314 [doi]
Lambda and pi calculi, CAM and SECD machinesVasco Thudichum Vasconcelos. JFP, 15(1):101-127, 2005. [doi]
Fine-Grained Multithreading with Process CalculiLuís M. B. Lopes, Vasco Thudichum Vasconcelos, Fernando M. A. Silva. TC, 50(8):852-862, 2001. [doi]
Runtime Verification for Generic Classes with ConGu 2Pedro Crispim, Antónia Lopes, Vasco Thudichum Vasconcelos. sbmf 2011: 33-48 [doi]
Asynchronous Timed Session Types - From Duality to Time-Sensitive ProcessesLaura Bocchi, Maurizio Murgia, Vasco Thudichum Vasconcelos, Nobuko Yoshida. ESOP 2019: 583-610 [doi]
Session types for linear multithreaded functional programmingVasco Thudichum Vasconcelos. ppdp 2009: 1-6 [doi]
Session Typing for a Featherweight ErlangDimitris Mostrous, Vasco Thudichum Vasconcelos. coordination 2011: 95-109 [doi]
Linear type theory for asynchronous session typesSimon J. Gay, Vasco Thudichum Vasconcelos. JFP, 20(1):19-50, 2010. [doi]
Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH 2023, Cascais, Portugal, October 22-27, 2023Vasco Thudichum Vasconcelos, editor, ACM, 2023. [doi]
Session-Based Compilation Framework for Multicore ProgrammingNobuko Yoshida, Vasco Thudichum Vasconcelos, HervÃ© Paulino, Kohei Honda. FMCO 2009: 226-246 [doi]
Typing the Behavior of Objects and Component Using Session TypesAntonio Vallecillo, Vasco Thudichum Vasconcelos, António Ravara. ENTCS, 68(3):439-456, 2003. [doi]
Typing Progress in Communication-Centred SystemsHugo Torres Vieira, Vasco Thudichum Vasconcelos. coordination 2013: 236-250 [doi]
Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session CommunicationNobuko Yoshida, Vasco Thudichum Vasconcelos. ENTCS, 171(4):73-93, 2007. [doi]
MiKO - Mikado Koncurrent ObjectsFrancisco Martins, Liliana Salvador, Vasco Thudichum Vasconcelos, Luís M. B. Lopes. Dagstuhl 2006: [doi]
An Algebra of Behavioural TypesAntónio Ravara, Pedro Resende, Vasco Thudichum Vasconcelos. iandc, 212:64-91, 2012. [doi]
A Multi-threaded Asynchronous LanguageHervé Paulino, Pedro Marques, Luís M. B. Lopes, Vasco Thudichum Vasconcelos, Fernando M. A. Silva. pact 2003: 316-323 [doi]
Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. ProceedingsJohn Field, Vasco Thudichum Vasconcelos, editors, Volume 5521 of Lecture Notes in Computer Science, Springer, 2009. [doi]
Affine SessionsDimitris Mostrous, Vasco Thudichum Vasconcelos. coordination 2014: 115-130 [doi]
Typing Liveness in Multiparty Communicating SystemsLuca Padovani, Vasco Thudichum Vasconcelos, Hugo Torres Vieira. coordination 2014: 147-162 [doi]
Traces Semantics for Actor SystemsVasco Thudichum Vasconcelos, Mario Tokoro. ECOOPW 1992: 141-162
Behavioural Theory at Work: Program Transformations in a Service-Centred CalculusLuís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos. fmoods 2008: 59-77 [doi]
Lexically scoped distribution: what you see is what you getAntónio Ravara, Ana Gualdina Almeida Matos, Vasco Thudichum Vasconcelos, Luís M. B. Lopes. ENTCS, 85(1):61-79, 2003. [doi]
18th International Conference on Concurrency TheoryLuís Caires, Vasco Thudichum Vasconcelos. iandc, 208(6):605, 2010. [doi]
Verification of MPI Programs Using Session TypesKohei Honda, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, Vasco Thudichum Vasconcelos, Nobuko Yoshida. pvm 2012: 291-293 [doi]
Session Types for Functional MultithreadingVasco Thudichum Vasconcelos, António Ravara, Simon J. Gay. concur 2004: 497-511 [doi]
Unification of Kinded Infinite TreesVasco Thudichum Vasconcelos. ipl, 55(6):323-328, 1995. [doi]
Fine Grained Multithreading with Process CalculiLuís M. B. Lopes, Fernando M. A. Silva, Vasco Thudichum Vasconcelos. IEEEpact 2000: 217-226 [doi]
Typing Non-uniform Concurrent ObjectsAntónio Ravara, Vasco Thudichum Vasconcelos. concur 2000: 474-488 [doi]
Communication Errors in the pi-Calculus are UndecidableVasco Thudichum Vasconcelos, António Ravara. ipl, 71(5-6):229-233, 1999. [doi]
The Impact of Linearity Information on the Performance of TyCOFrancisco Martins, Luís M. B. Lopes, Vasco Thudichum Vasconcelos. ENTCS, 75:41-60, 2002. [doi]
Protocol-based verification of message-passing parallel programsHugo A. López, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, César Santos, Vasco Thudichum Vasconcelos, Nobuko Yoshida. OOPSLA 2015: 280-298 [doi]
PrefaceVasco Thudichum Vasconcelos, Nobuko Yoshida. ENTCS, 241:1-2, 2009. [doi]
SCC: A Service Centered CalculusMichele Boreale, Roberto Bruni, Luís Caires, Rocco De Nicola, Ivan Lanese, Michele Loreti, Francisco Martins, Ugo Montanari, António Ravara, Davide Sangiorgi, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro. wsfm 2006: 38-57 [doi]
Selected Papers from the Eleventh International Conference on Coordination Models and LanguagesJohn Field, Vasco Thudichum Vasconcelos. SCP, 77(6):661-662, 2012. [doi]
Fundamentals of Session TypesVasco Thudichum Vasconcelos. sfm 2009: 158-186 [doi]
A Virtual Machine for a Process CalculusLuís M. B. Lopes, Fernando M. A. Silva, Vasco Thudichum Vasconcelos. ppdp 1999: 244-260
The stream-based service-centred calculus: a foundation for service-oriented programmingLuís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos. fac, 26(5):865-918, 2014. [doi]
Coordinating Phased Activities while Maintaining ProgressTiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos. coordination 2013: 31-44 [doi]
History-Based Access Control for Distributed ProcessesFrancisco Martins, Vasco Thudichum Vasconcelos. tgc 2005: 98-115 [doi]
CONCUR 2007 - Concurrency Theory, 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, ProceedingsLuís Caires, Vasco Thudichum Vasconcelos, editors, Volume 4703 of Lecture Notes in Computer Science, Springer, 2007.
Behavioural Types for a Calculus of Concurrent ObjectsAntónio Ravara, Vasco Thudichum Vasconcelos. europar 1997: 554-561
Modular session types for distributed object-oriented programmingSimon J. Gay, Vasco Thudichum Vasconcelos, AntÃ³nio Ravara, Nils Gesbert, Alexandre Z. Caldeira. POPL 2010: 299-312 [doi]
Principal Typing Schemes in a Polyadic pi-CalculusVasco Thudichum Vasconcelos, Kohei Honda. concur 1993: 524-538
Linearity, session types and the Pi calculusMarco Giunti, Vasco Thudichum Vasconcelos. mscs, 26(2):206-237, 2016. [doi]
Compiling the pi-calculus into a Multithreaded Typed Assembly LanguageTiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos. ENTCS, 241:57-84, 2009. [doi]
Distribution and Mobility with Lexical Scoping in Process CalculiVasco Thudichum Vasconcelos, Luís M. B. Lopes, Fernando M. A. Silva. ENTCS, 16(3):189-204, 1998. [doi]
A Typing System for a Calculus of ObjectsVasco Thudichum Vasconcelos, Mario Tokoro. isotas 1993: 460-474
Type-Directed Compilation for Multicore ProgrammingKohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida. ENTCS, 241:101-111, 2009. [doi]
A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile CalculiLorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Luís M. B. Lopes, Licínio Oliveira, Hervé Paulino, Vasco Thudichum Vasconcelos. gc 2005: 179-207 [doi]
A Concurrent Programming Language with Refined Session TypesJuliana Franco, Vasco Thudichum Vasconcelos. SEFM 2014: 15-28 [doi]
A Concurrent Programming Environment with Support for Distributed Computations and Code MobilityLuís M. B. Lopes, Álvaro Reis Figueira, Fernando M. A. Silva, Vasco Thudichum Vasconcelos. cluster 2000: 297 [doi]
Language Primitives and Type Discipline for Structured Communication-Based ProgrammingKohei Honda, Vasco Thudichum Vasconcelos, Makoto Kubo. ESOP 1998: 122-138 [doi]
Special issue on the tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric SoftwarePhilipp Haller, Vasco Thudichum Vasconcelos. jlp, 106:196-197, 2019. [doi]
Secure Information Flow as Typed Process BehaviourKohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida. ESOP 2000: 180-199 [doi]
Typing the Behavior of Software Components using Session TypesAntonio Vallecillo, Vasco Thudichum Vasconcelos, António Ravara. FUIN, 73(4):583-598, 2006. [doi]
Checking the Conformance of Java Classes Against Algebraic SpecificationsIsabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos, João Abreu, Luís S. Reis. icfem 2006: 494-513 [doi]
Type checking a multithreaded functional language with session typesVasco Thudichum Vasconcelos, Simon J. Gay, António Ravara. TCS, 368(1-2):64-87, 2006. [doi]
Core Calculi for Service-Oriented ComputingLuís Caires, Rocco De Nicola, Rosario Pugliese, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro. In Martin Wirsing, Matthias M. Hölzl, editors, Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. Volume 6582 of Lecture Notes in Computer Science, pages 153-188, Springer, 2011. [doi]
Distributed Informal Information Systems for Innovation: An Empirical Study of the Role of Social NetworksVasco Vasconcelos, Pedro Campos. centeris 2010: 208-217 [doi]

runs on WebDSL