Vasco Thudichum Vasconcelos

Vasco T. Vasconcelos

	2012
j21		António Ravara, Pedro Resende, Vasco Thudichum Vasconcelos: An Algebra of Behavioural Types. Inf. Comput. 212: 64-91 (2012)
j20		Vasco T. Vasconcelos: Fundamentals of session types. Inf. Comput. 217: 52-70 (2012)
j19		John Field, Vasco Thudichum Vasconcelos: Selected Papers from the Eleventh International Conference on Coordination Models and Languages. Sci. Comput. Program. 77(6): 661-662 (2012)
c34		Kohei Honda, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, Vasco Thudichum Vasconcelos, Nobuko Yoshida: Verification of MPI Programs Using Session Types. EuroMPI 2012: 291-293
c33		Pedro Baltazar, Dimitris Mostrous, Vasco Thudichum Vasconcelos: Linearly Refined Session Types. LINEARITY 2012: 38-49
i1		Simon J. Gay, Nils Gesbert, António Ravara, Vasco Thudichum Vasconcelos: Modular Session Types for Objects. CoRR abs/1205.5344 (2012)
	2011
j18		Vasco T. Vasconcelos: Sessions, from Types to Programming Languages. Bulletin of the EATCS 103: 53-73 (2011)
p1		Luís Caires, Rocco De Nicola, Rosario Pugliese, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro: Core Calculi for Service-Oriented Computing. Results of the SENSORIA Project 2011: 153-188
c32		Dimitris Mostrous, Vasco Thudichum Vasconcelos: Session Typing for a Featherweight Erlang. COORDINATION 2011: 95-109
	2010
j17		Luís Caires, Vasco Thudichum Vasconcelos: 18th International Conference on Concurrency Theory. Inf. Comput. 208(6): 605 (2010)
j16		Simon J. Gay, Vasco Thudichum Vasconcelos: Linear type theory for asynchronous session types. J. Funct. Program. 20(1): 19-50 (2010)
c31		Marco Giunti, Vasco Thudichum Vasconcelos: A Linear Account of Session Types in the Pi Calculus. CONCUR 2010: 432-446
c30		Simon J. Gay, Vasco Thudichum Vasconcelos, António Ravara, Nils Gesbert, Alexandre Z. Caldeira: Modular session types for distributed object-oriented programming. POPL 2010: 299-312
c29		Pedro Crispim, Antónia Lopes, Vasco Thudichum Vasconcelos: Runtime Verification for Generic Classes with ConGu 2. SBMF 2010: 33-48
c28		Joana Campos, Vasco T. Vasconcelos: Channels as Objects in Concurrent Object-Oriented Programming. PLACES 2010: 12-28
c27		Francisco Martins, Vasco Thudichum Vasconcelos, Tiago Cogumbreiro: Types for X10 Clocks. PLACES 2010: 111-129
	2009
j15		Vasco Thudichum Vasconcelos, Nobuko Yoshida: Preface. Electr. Notes Theor. Comput. Sci. 241: 1-2 (2009)
j14		Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos: Compiling the pi-calculus into a Multithreaded Typed Assembly Language. Electr. Notes Theor. Comput. Sci. 241: 57-84 (2009)
j13		Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida: Type-Directed Compilation for Multicore Programming. Electr. Notes Theor. Comput. Sci. 241: 101-111 (2009)
c26		Vasco Thudichum Vasconcelos: Session types for linear multithreaded functional programming. PPDP 2009: 1-6
c25		Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos: Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming. RV 2009: 115-131
c24		Vasco Thudichum Vasconcelos: Fundamentals of Session Types. SFM 2009: 158-186
c23		Vasco Thudichum Vasconcelos, Francisco Martins, Tiago Cogumbreiro: Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language. PLACES 2009: 95-109
e2		John Field, Vasco Thudichum Vasconcelos (Eds.): Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings. Lecture Notes in Computer Science 5521, Springer 2009, isbn 978-3-642-02052-0
	2008
c22		Nobuko Yoshida, Vasco Thudichum Vasconcelos, Hervé Paulino, Kohei Honda: Session-Based Compilation Framework for Multicore Programming. FMCO 2008: 226-246
c21		Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos: Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus. FMOODS 2008: 59-77
	2007
j12		Nobuko Yoshida, Vasco Thudichum Vasconcelos: Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication. Electr. Notes Theor. Comput. Sci. 171(4): 73-93 (2007)
c20		Ivan Lanese, Francisco Martins, Vasco Thudichum Vasconcelos, António Ravara: Disciplining Orchestration and Conversation in Service-Oriented Computing. SEFM 2007: 305-314
e1		Luís Caires, Vasco Thudichum Vasconcelos (Eds.): CONCUR 2007 - Concurrency Theory, 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings. Lecture Notes in Computer Science 4703, Springer 2007, isbn 978-3-540-74406-1
	2006
j11		Antonio Vallecillo, Vasco Thudichum Vasconcelos, António Ravara: Typing the Behavior of Software Components using Session Types. Fundam. Inform. 73(4): 583-598 (2006)
j10		Vasco Thudichum Vasconcelos, Simon J. Gay, António Ravara: Type checking a multithreaded functional language with session types. Theor. Comput. Sci. 368(1-2): 64-87 (2006)
c19		Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos, João Abreu, Luís S. Reis: Checking the Conformance of Java Classes Against Algebraic Specifications. ICFEM 2006: 494-513
c18		Michele 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: SCC: A Service Centered Calculus. WS-FM 2006: 38-57
	2005
j9		Vasco Thudichum Vasconcelos: Lambda and pi calculi, CAM and SECD machines. J. Funct. Program. 15(1): 101-127 (2005)
c17		Francisco Martins, Liliana Salvador, Vasco Thudichum Vasconcelos, Luís M. B. Lopes: MiKO - Mikado Koncurrent Objects. Foundations of Global Computing 2005
c16		Francisco Martins, Vasco Thudichum Vasconcelos: History-Based Access Control for Distributed Processes. TGC 2005: 98-115
	2004
c15		Vasco Thudichum Vasconcelos, António Ravara, Simon J. Gay: Session Types for Functional Multithreading. CONCUR 2004: 497-511
c14		Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Luís M. B. Lopes, Licínio Oliveira, Hervé Paulino, Vasco Thudichum Vasconcelos: A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi. Global Computing 2004: 179-207
	2003
j8		Antonio Vallecillo, Vasco Thudichum Vasconcelos, António Ravara: Typing the Behavior of Objects and Component Using Session Types. Electr. Notes Theor. Comput. Sci. 68(3): 439-456 (2003)
j7		António Ravara, Ana Gualdina Almeida Matos, Vasco Thudichum Vasconcelos, Luís M. B. Lopes: Lexically scoped distribution: what you see is what you get. Electr. Notes Theor. Comput. Sci. 85(1): 61-79 (2003)
c13		Hervé Paulino, Pedro Marques, Luís M. B. Lopes, Vasco Thudichum Vasconcelos, Fernando M. A. Silva: A Multi-threaded Asynchronous Language. PaCT 2003: 316-323
	2002
j6		Francisco Martins, Luís M. B. Lopes, Vasco Thudichum Vasconcelos: The Impact of Linearity Information on the Performance of TyCO. Electr. Notes Theor. Comput. Sci. 75: 41-60 (2002)
	2001
j5		Luís M. B. Lopes, Vasco Thudichum Vasconcelos, Fernando M. A. Silva: Fine-Grained Multithreading with Process Calculi. IEEE Trans. Computers 50(8): 852-862 (2001)
	2000
c12		Luís M. B. Lopes, Fernando M. A. Silva, Vasco Thudichum Vasconcelos: Fine Grained Multithreading with Process Calculi. IEEE PACT 2000: 217-226
c11		Luís M. B. Lopes, Álvaro Reis Figueira, Fernando M. A. Silva, Vasco Thudichum Vasconcelos: A Concurrent Programming Environment with Support for Distributed Computations and Code Mobility. CLUSTER 2000: 297-
c10		António Ravara, Vasco Thudichum Vasconcelos: Typing Non-uniform Concurrent Objects. CONCUR 2000: 474-488
c9		Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida: Secure Information Flow as Typed Process Behaviour. ESOP 2000: 180-199
	1999
j4		Vasco Thudichum Vasconcelos, António Ravara: Communication Errors in the pi-Calculus are Undecidable. Inf. Process. Lett. 71(5-6): 229-233 (1999)
j3		Vasco Thudichum Vasconcelos: Processes, Functions, and Datatypes. TAPOS 5(2): 97-110 (1999)
c8		Luís M. B. Lopes, Fernando M. A. Silva, Vasco Thudichum Vasconcelos: A Virtual Machine for a Process Calculus. PPDP 1999: 244-260
	1998
j2		Vasco Thudichum Vasconcelos, Luís M. B. Lopes, Fernando M. A. Silva: Distribution and Mobility with Lexical Scoping in Process Calculi. Electr. Notes Theor. Comput. Sci. 16(3): 189-204 (1998)
c7		Kohei Honda, Vasco Thudichum Vasconcelos, Makoto Kubo: Language Primitives and Type Discipline for Structured Communication-Based Programming. ESOP 1998: 122-138
	1997
c6		António Ravara, Vasco Thudichum Vasconcelos: Behavioural Types for a Calculus of Concurrent Objects. Euro-Par 1997: 554-561
	1995
j1		Vasco Thudichum Vasconcelos: Unification of Kinded Infinite Trees. Inf. Process. Lett. 55(6): 323-328 (1995)
	1994
c5		Vasco Thudichum Vasconcelos: Typed Concurrent Objects. ECOOP 1994: 100-117
c4		Vasco Thudichum Vasconcelos: Predicative Polymorphism in Pi-Calculus. PARLE 1994: 425-437
	1993
c3		Vasco Thudichum Vasconcelos, Kohei Honda: Principal Typing Schemes in a Polyadic pi-Calculus. CONCUR 1993: 524-538
c2		Vasco Thudichum Vasconcelos, Mario Tokoro: A Typing System for a Calculus of Objects. ISOTAS 1993: 460-474
	1991
c1		Vasco Thudichum Vasconcelos, Mario Tokoro: Traces Semantics for Actor Systems. Object-Based Concurrent Computing 1991: 141-162

Coauthor Index

Last update Sun May 19 04:46:23 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page