Search the dblp DataBase
Vasco Thudichum Vasconcelos :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Luís M. B. Lopes , Fernando M. A. Silva , Vasco Thudichum Vasconcelos Fine Grained Multithreading with Process Calculi. [Citation Graph (0, 0)][DBLP ] IEEE PACT, 2000, pp:217-226 [Conf ] António Ravara , Vasco Thudichum Vasconcelos Typing Non-uniform Concurrent Objects. [Citation Graph (0, 0)][DBLP ] CONCUR, 2000, pp:474-488 [Conf ] Vasco Thudichum Vasconcelos , Kohei Honda Principal Typing Schemes in a Polyadic pi-Calculus. [Citation Graph (0, 0)][DBLP ] CONCUR, 1993, pp:524-538 [Conf ] Vasco Thudichum Vasconcelos , António Ravara , Simon J. Gay Session Types for Functional Multithreading. [Citation Graph (0, 0)][DBLP ] CONCUR, 2004, pp:497-511 [Conf ] Francisco Martins , Liliana Salvador , Vasco Thudichum Vasconcelos , Luís M. B. Lopes MiKO - Mikado Koncurrent Objects. [Citation Graph (0, 0)][DBLP ] Foundations of Global Computing, 2005, pp:- [Conf ] Vasco Thudichum Vasconcelos Typed Concurrent Objects. [Citation Graph (0, 0)][DBLP ] ECOOP, 1994, pp:100-117 [Conf ] Vasco Thudichum Vasconcelos , Mario Tokoro Traces Semantics for Actor Systems. [Citation Graph (0, 0)][DBLP ] Object-Based Concurrent Computing, 1991, pp:141-162 [Conf ] Kohei Honda , Vasco Thudichum Vasconcelos , Makoto Kubo Language Primitives and Type Discipline for Structured Communication-Based Programming. [Citation Graph (0, 0)][DBLP ] ESOP, 1998, pp:122-138 [Conf ] Kohei Honda , Vasco Thudichum Vasconcelos , Nobuko Yoshida Secure Information Flow as Typed Process Behaviour. [Citation Graph (0, 0)][DBLP ] ESOP, 2000, pp:180-199 [Conf ] António Ravara , Vasco Thudichum Vasconcelos Behavioural Types for a Calculus of Concurrent Objects. [Citation Graph (0, 0)][DBLP ] Euro-Par, 1997, pp:554-561 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] Global Computing, 2004, pp:179-207 [Conf ] Isabel Nunes , Antónia Lopes , Vasco Thudichum Vasconcelos , João Abreu , Luís S. Reis Checking the Conformance of Java Classes Against Algebraic Specifications. [Citation Graph (0, 0)][DBLP ] ICFEM, 2006, pp:494-513 [Conf ] Vasco Thudichum Vasconcelos , Mario Tokoro A Typing System for a Calculus of Objects. [Citation Graph (0, 0)][DBLP ] ISOTAS, 1993, pp:460-474 [Conf ] Hervé Paulino , Pedro Marques , Luís M. B. Lopes , Vasco Thudichum Vasconcelos , Fernando M. A. Silva A Multi-threaded Asynchronous Language. [Citation Graph (0, 0)][DBLP ] PaCT, 2003, pp:316-323 [Conf ] Vasco Thudichum Vasconcelos Predicative Polymorphism in Pi-Calculus. [Citation Graph (0, 0)][DBLP ] PARLE, 1994, pp:425-437 [Conf ] Luís M. B. Lopes , Fernando M. A. Silva , Vasco Thudichum Vasconcelos A Virtual Machine for a Process Calculus. [Citation Graph (0, 0)][DBLP ] PPDP, 1999, pp:244-260 [Conf ] Francisco Martins , Vasco Thudichum Vasconcelos History-Based Access Control for Distributed Processes. [Citation Graph (0, 0)][DBLP ] TGC, 2005, pp:98-115 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] WS-FM, 2006, pp:38-57 [Conf ] Francisco Martins , Luís M. B. Lopes , Vasco Thudichum Vasconcelos The Impact of Linearity Information on the Performance of TyCO. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2002, v:75, n:, pp:- [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2003, v:85, n:1, pp:- [Journal ] Antonio Vallecillo , Vasco Thudichum Vasconcelos , António Ravara Typing the Behavior of Objects and Component Using Session Types. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2003, v:68, n:3, pp:- [Journal ] Vasco Thudichum Vasconcelos , Luís M. B. Lopes , Fernando M. A. Silva Distribution and Mobility with Lexical Scoping in Process Calculi. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1998, v:16, n:3, pp:- [Journal ] Antonio Vallecillo , Vasco Thudichum Vasconcelos , António Ravara Typing the Behavior of Software Components using Session Types. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2006, v:73, n:4, pp:583-598 [Journal ] Vasco Thudichum Vasconcelos Unification of Kinded Infinite Trees. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1995, v:55, n:6, pp:323-328 [Journal ] Vasco Thudichum Vasconcelos , António Ravara Communication Errors in the pi-Calculus are Undecidable. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1999, v:71, n:5-6, pp:229-233 [Journal ] Vasco Thudichum Vasconcelos Lambda and pi calculi, CAM and SECD machines. [Citation Graph (0, 0)][DBLP ] J. Funct. Program., 2005, v:15, n:1, pp:101-127 [Journal ] Vasco Thudichum Vasconcelos Processes, Functions, and Datatypes. [Citation Graph (0, 0)][DBLP ] TAPOS, 1999, v:5, n:2, pp:97-110 [Journal ] Luís M. B. Lopes , Vasco Thudichum Vasconcelos , Fernando M. A. Silva Fine-Grained Multithreading with Process Calculi. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Computers, 2001, v:50, n:8, pp:852-862 [Journal ] Vasco Thudichum Vasconcelos , Simon J. Gay , António Ravara Type checking a multithreaded functional language with session types. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2006, v:368, n:1-2, pp:64-87 [Journal ] Nobuko Yoshida , Vasco Thudichum Vasconcelos Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:171, n:4, pp:73-93 [Journal ] A Concurrent Programming Environment with Support for Distributed Computations and Code Mobility. [Citation Graph (, )][DBLP ] Session-Based Compilation Framework for Multicore Programming. [Citation Graph (, )][DBLP ] Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus. [Citation Graph (, )][DBLP ] Modular session types for distributed object-oriented programming. [Citation Graph (, )][DBLP ] Session types for linear multithreaded functional programming. [Citation Graph (, )][DBLP ] Disciplining Orchestration and Conversation in Service-Oriented Computing. [Citation Graph (, )][DBLP ] Fundamentals of Session Types. [Citation Graph (, )][DBLP ] Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming. [Citation Graph (, )][DBLP ] Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language [Citation Graph (, )][DBLP ] Compiling the pi-calculus into a Multithreaded Typed Assembly Language. [Citation Graph (, )][DBLP ] Preface. [Citation Graph (, )][DBLP ] Type-Directed Compilation for Multicore Programming. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.465secs