Percorrer por autor Vasco T. Vasconcelos

Índice: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
ou inserir as letras iniciais:  
Mostrar resultados 1-14 de 14.
DataTítuloAutor(es)TipoAcesso
2008Compiling the π-calculus into a Multithreaded Typed Assembly LanguageTiago Cogumbreiro; Francisco Martins; Vasco T. VasconcelosarticleopenAccess
2008Compiling the pi-calculus into a multi-threaded typed assembly languageTiago Cogumbreiro; Francisco Martins; Vasco T. VasconcelosarticleopenAccess
2009COORDINATION 2009 - Coordination Models and Languages, 11th International ConferenceJohn Field; Vasco T. VasconcelosbookopenAccess
2007Disciplining Orchestration and Conversation in Service-Oriented ComputingIvan Lanese; Vasco T. Vasconcelos; Francisco Martins; Antonio RavaraarticleopenAccess
2009Dynamic InterfacesVasco T. Vasconcelos; Simon Gay; António Ravara; Nils Gesbert; Alexandre Z. CaldeiraarticleopenAccess
2009Fundamentals of Session Types, Formal Methods for Web ServicesVasco T. VasconcelosarticleopenAccess
2007Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited - Two Systems for Higher-Order Session Communication,Nobuko Yoshida; Vasco T. VasconcelosarticleopenAccess
2008Monitoring Java code using ConGuVasco T. Vasconcelos; Isabel Nunes; Antonia LopesarticleopenAccess
2008Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric SoftwareVasco T. Vasconcelos; Nobuko YoshidabookopenAccess
2008Runtime checking Java code using ConGuVasco T. Vasconcelos; Isabel Nunes; Antónia Lopes; Nuno Ramiro; Pedro CrispimarticleopenAccess
2009Session Types for Linear Multithreaded Functional ProgrammingVasco T. VasconcelosarticleopenAccess
2009Session-based Type Discipline for Pi Calculus with MatchingMarco Giunti; Kohei Honda; Vasco T. Vasconcelos; Nobuko YoshidaarticleopenAccess
2008Type-based approach to multi-core programmingFrancisco Martins; Vasco T. VasconcelosarticleopenAccess
2008Type-directed compilation for multicore programmingKohei Honda; Vasco T. Vasconcelos; Nobuko YoshidaarticleopenAccess