In order to read the BibTeX entries below, you may need my BibTeX strings. This file can be used as it is by BibTeX, despite its html marks (just "save as" in your browser). Due to the presence of diacritcs, use \usepackage[latin1]{inputenc}
@article{ ancona.bono.etal:behav-types-prog-langs, author = {Davide Ancona and Viviana Bono and Mario Bravetti and Joana Campos and Giuseppe Castagna and Pierre-Malo Deniélou and Simon J. Gay and Nils Gesbert and Elena Giachino and Raymond Hu and Einar Broch Johnsen and Francisco Martins and Viviana Mascardi and Fabrizio Montesi and Rumyana Neykova and Nicholas Ng and Luca Padovani and Vasco T. Vasconcelos and Nobuko Yoshida}, title = {Behavioral Types in Programming Languages}, journal = {Foundations and Trends in Programming Languages}, year = {2016}, volume = {3}, issue = {2-3}, pages = {95-230}, issn = {2325-1107}, publisher = {now publishers}, doi = {10.1561/2500000031} }
@article{gay.gesbert.etal:modular-session-types-lmcs, author = {Simon J. Gay and Nils Gesbert and António Ravara and Vasco Thudichum Vasconcelos}, title = {Modular Session Types for Objects}, journal = {Logical Methods in Computer Science}, volume = 11, number = 4, year = 2015, url = {http://www.lmcs-online.org/ojs/viewarticle.php?id=1795&layout=abstract} }
@InProceedings{mostrous.vasconcelos:affine-sessions-coordination, author = {Dimitris Mostrous and Vasco Thudichum Vasconcelos}, title = {Affine sessions}, booktitle = {COORDINATION}, pages = {115-130}, year = 2014, volume = 8459, series = {LNCS}, publisher = {SPRINGER}, url = {http://di.fc.ul.pt/~vv/papers/mostrous.vasconcelos_affine-sessions.pdf} } @InProceedings{padovani-vasconcelos-vieira:typing-liveness-multiparty-systems, author = {Luca Padovani and Hugo Torres Vieira and Vasco Thudichum Vasconcelos}, title = {Typing liveness in multiparty communicating systems}, booktitle = {COORDINATION}, pages = {147-162}, year = 2014, volume = 8459, series = {LNCS}, publisher = {SPRINGER}, url = {http://di.fc.ul.pt/~vv/papers/padovani-vasconcelos-vieira_typing-liveness-multiparty-system.pdf} } @Article{cruz-filipe.lanese.etal:stream-based-service-centered-calculus, author = {Luís Cruz-Filipe and Ivan Lanese and Francisco Martins and António Ravara and Vasco Thudichum Vasconcelos}, title = {The Stream-based Service-Centered Calculus: a Foundation for Service-Oriented Programming}, journal = {Formal Aspects of Computing}, volume = 26, issue = 5, issn = {0934-5043}, pages = {865--918}, publisher = {SPRINGER}, year = 2014, doi = {10.1007/s00165--013--0284--5}, url = {http://www.di.fc.ul.pt/~vv/papers/cruz-filipe.lanese.etal_stream-based-service-centered-calculus.pdf} } @Proceedings{donaldson.vasconcelos:places14-eptcs-proceedings, editor = {Alastair F. Donaldson and Vasco Thudichum Vasconcelos}, title = {PLACES 2014---7th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software}, series = {EPTCS}, year = 2014, volume = 155 }
@InProceedings{silva.martins.vasconcelos:inferencia-anotacoes-mil, author = {Roberto Silva and Francisco Martins and Vasco Thudichum Vasconcelos}, title = {Inferência de Anotações para Evitar Impasses numa Linguagem Intermdia Polimórfica}, booktitle = {Inforum, SOFT-PT}, pages = {127--138}, year = 2013, publisher = {Escola de Ciências e Tecnologia da Universidade de Évora}, isbn = {978--989--97060--8--8}, url = {http://www.di.fc.ul.pt/~vv/papers/silva.martins.vasconcelos_inferencia-anotacoes-mil.pdf} } @InProceedings{franco.vasconcelos_concurrent-language-refined-session-types, author = {Juliana Franco and Vasco Thudichum Vasconcelos}, title = {A Concurrent Programming Language with Refined Session Types}, booktitle = {Second International Workshop on Behavioural Types}, pages = {33--42}, year = 2013, url = {http://www.di.fc.ul.pt/~vv/papers/franco.vasconcelos_concurrent-language-refined-session-types.pdf} } @InProceedings{martins.santos.etal:especificacao-verificacao-MPI, author = {Nuno Martins and César Santos and Eduardo R. B. Marques and Francisco Martins and Vasco Thudichum Vasconcelos}, title = {Especificação e Verificação de Protocolos para Programas {MPI}}, booktitle = {Inforum, SOFT-PT}, pages = {90--101}, year = 2013, publisher = {Escola de Ciências e Tecnologia da Universidade de Évora}, isbn = {978-989-97060-8-8}, url = {http://www.di.fc.ul.pt/~vv/papers/martins.santos.etal_especificacao-verificacao-MPI.pdf} } @InProceedings{vieira.vasconcelos:typing-progress-communication-centred-systems, author = {Hugo Torres Vieira and Vasco Thudichum Vasconcelos}, title = {Typing progress in communication-centred systems}, booktitle = {COORDINATION}, pages = {236--250}, year = 2013, volume = 7890, series = {LNCS}, publisher = {SPRINGER}, url = {http://www.di.fc.ul.pt/~vv/papers/vieira.vasconcelos_typing-progress-communication-centred-systems.pdf} } @InProceedings{cogumbreiro.martins.vasconcelos:coordinating-phased-activities, author = {Tiago Cogumbreiro and Francisco Martins and Vasco Thudichum Vasconcelos}, title = {Coordinating Phased Activities While Maintaining Progress}, booktitle = {COORDINATION}, pages = {31--44}, year = 2013, volume = 7890, series = {LNCS}, publisher = {SPRINGER}, url = {http://www.di.fc.ul.pt/~vv/papers/cogumbreiro.martins.vasconcelos_coordinating-phased-activities.pdf} } @Article{giunti.vasconcelos:linearity-sessions-pi, author = {Marco Giunti and Vasco Thudichum Vasconcelos}, title = {Linearity, Session Types and the Pi Calculus}, journal = {Mathematical Structures in Computer Science}, _volume = {X}, _pages = {Y--Z}, publisher = {Cambridge University Press}, year = 2014, url = {http://www.di.fc.ul.pt/~vv/papers/giunti.vasconcelos_linearity-sessions-pi.pdf} } @InProceedings{marques.martins.etal:deductive-verification-mpi-programs, author = {Eduardo R. B. Marques and Francisco Martins and Vasco Thudichum Vasconcelos and Nicholas Ng and Nuno Martins}, title = {Towards deductive verification of {MPI} programs against session types}, year = 2013, booktitle = {PLACES}, series = {EPTCS}, volume = {137}, pages = {103-113}, ee = {http://dx.doi.org/10.4204/EPTCS.137}, url = {http://www.di.fc.ul.pt/~vv/papers/marques.martins.etal_deductive-verification-mpi-programs.pdf} } @InProceedings{baltazar.caires.etal:role-assignment-multiparty-communication, author = {Pedro Baltazar and Luís Caires and Vasco Thudichum Vasconcelos and Hugo T. Vieira}, title = {A Type System for Flexible Role Assignment in Multiparty Communicating Systems}, booktitle = {7th International Symposium on Trustworthy Global Computing}, pages = {82--96}, year = 2013, volume = {8191}, series = {LNCS}, publisher = {SPRINGER}, url = {http://www.di.fc.ul.pt/~vv/papers/baltazar.caires.etal_role-assignment-multiparty-communication.pdf} }
@InProceedings{honda.marques.etal:verification-mpi-using-session-types, author = {Kohei Honda and Eduardo R. B. Marques and Nicholas Ng and Vasco Thudichum Vasconcelos and Nobuko Yoshida}, title = {Verification of {MPI} Programs Using Session Types}, booktitle = {Recent Advances in the Message Passing Interface}, note_ = {19th European MPI User's Group Meeting, EuroMPI 2012}, pages = {291--293}, year = 2012, volume = 7490, series = {LNCS}, publisher = {SPRINGER}, doi = {http://dx.doi.org/10.1007/978-3-642-33518-1_37}, url = {http://www.di.fc.ul.pt/~vv/papers/honda.marques.etal_verification-mpi-using-session-types.pdf} } @Article{vasconcelos:fundamental-sessions, author = {Vasco Thudichum Vasconcelos}, title = {Fundamentals of Session Types}, journal = {Information and Computation}, volume = 217, pages = {52--70}, year = 2012, publisher = {Elsevier}, doi = {http://dx.doi.org/10.1016/j.ic.2012.05.002}, _note = {Earlier version in SFM'09, volume 5569 of LNCS, pages 158-186. Springer, 2009}, url = {http://www.di.fc.ul.pt/~vv/papers/vasconcelos_fundamental-sessions.pdf} } @Article{ravara.resende.vasconcelos:algebra-behavioural-types, author = {António Ravara and Pedro Resende and Vasco Thudichum Vasconcelos}, title = {An Algebra of Behavioural Types}, journal = {Information and Computation}, volume = 212, pages = {64--91}, year = 2012, publisher = {Elsevier}, doi = {http://dx.doi.org/10.1016/j.ic.2011.12.005}, url = {http://www.di.fc.ul.pt/~vv/papers/vasconcelos_session_types_programming.pdf} } @InProceedings{baltazar.mostrous.vasconcelos:linearly-refined-session-types, author = {Pedro Baltazar and Dimitris Mostrous and Vasco Thudichum Vasconcelos}, title = {Linearly Refined Session Types}, series = {EPTCS}, volume = 101, pages = {38--49}, booktitle = {International Workshop on Linearity}, year = 2012, url = {http://www.di.fc.ul.pt/~vv/papers/baltazar.mostrous.vasconcelos_linearly-refined-session-types.pdf} } @Proceedings{field.vasconcelos:coordination09-science-computer-programming , title = {Selected Papers from the Eleventh International Conference on Coordination Models and Languages}, year = 2012, editor = {John Field and Vasco Thudichum Vasconcelos}, series = {Science of Computer Programming}, volume = {77(6)}, _number = {6}, publisher = {Elsevier}, doi = {http://dx.doi.org/10.1016/j.scico.2011.10.013} } @article{gay.gesbert.etal:modular-session-types-arxiv, author = {Simon J. Gay and Nils Gesbert and Ant{ó}nio Ravara and Vasco Thudichum Vasconcelos}, title = {Modular Session Types for Objects}, journal = {CoRR}, volume = {abs/1205.5344}, year = {2012}, ee = {http://arxiv.org/abs/1205.5344}, url = {http://www.di.fc.ul.pt/~vv/papers/gay.gesbert.etal_modular-session-types-arxiv.pdf} }
@TechReport{baltazar.caires.etal:dynamic-roles-multiparty-communication-tr, author = {Pedro Baltazar and Luís Caires and Vasco Thudichum Vasconcelos and Hugo T. Vieira}, title = {Dynamic Roles in Multiparty Communicating Systems}, institution = {Universidade Nova de Lisboa}, year = 2011, type = {DI-FCT/UNL TR}, number = {2001--7}, url = {http://www.di.fc.ul.pt/~vv/papers/baltazar.caires.etal_dynamic-roles-multiparty-communication-tr.pdf} } @InProceedings{baltazar.caires.etal:dynamic-roles-multiparty-interaction, author = {Pedro Baltazar and Luís Caires and Vasco Thudichum Vasconcelos and Hugo T. Vieira}, title = {Typing Dynamic Roles in Multiparty Interaction}, booktitle = {Inforum, SOFT-PT}, year = 2011, url = {http://www.di.fc.ul.pt/~vv/papers/baltazar.caires.etal_dynamic-roles-multiparty-communication-tr.pdf} } @InProceedings{mostrous.vasconcelos:session-typing-erlang, author = {Dimitris Mostrous and Vasco Thudichum Vasconcelos}, title = {Session Typing for a Featherweight {E}rlang}, booktitle = {11th International Conference on Coordination Models and Languages}, pages = {95--109}, year = 2011, volume = 6721, series = {LNCS}, publisher = {SPRINGER}, doi = {http://dx.doi.org/10.1007/978-3-642-21464-6_7}, url = {http://www.di.fc.ul.pt/~vv/papers/mostrous.vasconcelos_session-typing-erlang.pdf} } @Article{vasconcelos:sessions-types-programming, author = {Vasco Thudichum Vasconcelos}, title = {Sessions, from types to programming languages}, journal = "Bulletin of the European Association for Theoretical Computer Science", volume = 103, pages = {53--73}, year = 2011, url = {http://www.di.fc.ul.pt/~vv/papers/vasconcelos_session_types_programming.pdf} } @InProceedings{campos.vasconcelos:channels-as-objects-oo, author = {Joana Campos and Vasco Thudichum Vasconcelos}, title = {Indexed Types in Object-Oriented Programming}, booktitle = {Inforum, SOFT-PT}, year = 2011, url = {http://www.di.fc.ul.pt/~vv/papers/campos.vasconcelos_indexed-types-oo.pdf} } @InProceedings{campos.vasconcelos:channels-as-objects, author = {Joana Campos and Vasco Thudichum Vasconcelos}, title = {Channels as Objects in Concurrent Object-Oriented Programming}, booktitle = {PLACES}, pages = {12--28}, year = 2011, volume = 69, series = {EPTCS}, doi = {http://dx.doi.org/10.4204/EPTCS.69.2}, url = {http://www.di.fc.ul.pt/~vv/papers/campos.vasconcelos_channels-as-objects.pdf} } @InProceedings{martins.vasconcelos.cogumbreiro:types-for-x10-clocks, author = {Francisco Martins and Vasco Thudichum Vasconcelos and Tiago Cogumbreiro}, title = {Types for {X10} Clocks}, booktitle = {PLACES}, pages = {111--125}, year = 2011, volume = 69, series = {EPTCS}, doi = {http://dx.doi.org/10.4204/EPTCS.69.8}, url = {http://www.di.fc.ul.pt/~vv/papers/martins.vasconcelos.cogumbreiro_types-for-x10-clocks.pdf}, } @InBook{caires.etal:core-calculi-soc, author = {Luís Caires and Rocco De Nicola and Rosario Pugliese and Vasco Thudichum Vasconcelos and Gianluigi Zavattaro}, title = {Core calculi for service oriented computing}, chapter = {Rigorous Software Engineering for Service-Oriented Systems}, series = {LNCS}, volume = 6582, publisher = {SPRINGER}, year = 2011, pages = {153--188}, doi = {http://dx.doi.org/10.1007/978-3-642-20401-2_8}, url = {http://www.di.fc.ul.pt/~vv/papers/caires.etal_core-calculi-soc.pdf} }
@InProceedings{crispim.lopes.vasconcelos:runtime-verification-congu2, author = {Pedro Crsipim and Antónia Lopes and Vasco Thudichum Vasconcelos}, title = {Runtime Verification for Generic Classes with {C}ongu2}, booktitle = {BSFM}, pages = {33--48}, year = 2010, volume = 6527, series = {LNCS}, publisher = {SPRINGER}, doi = {http://dx.doi.org/10.1007/978-3-642-19829-8_3}, url = {http://www.di.fc.ul.pt/~vv/papers/crispim.lopes.vasconcelos_runtime-verification-congu2.pdf} } @InProceedings{giunti.vasconcelos:linear-account-sessions, author = {Marco Giunti and Vasco Thudichum Vasconcelos}, title = {A Linear Account of Session Types in the pi Calculus}, booktitle = {CONCUR}, pages = {432--446}, year = 2010, volume = 6269, series = {LNCS}, publisher = {SPRINGER}, doi = {http://dx.doi.org/10.1007/978-3-642-15375-4_30}, url = {http://www.di.fc.ul.pt/~vv/papers/giunti.vasconcelos_linear-account-sessions.pdf} } @Proceedings{caires.vasconcelos:concur07-information-and-computation, title = {Special Issue: 18th International Conference on Concurrency Theory}, year = 2010, editor = {Luís Caires and Vasco Thudichum Vasconcelos}, series = {Information and Computation}, volume = {208(6)}, _number = 6, publisher = {Elsevier}, doi = {http://dx.doi.org/10.1016/j.ic.2009.01.008} } @Unpublished{vasconcelos.giunti.etal:type-safety-session-types, author = {Vasco Thudichum Vasconcelos and Marco Giunti and Nobuko Yoshida and Kohei Honda}, title = {Type Safety without Subject Reduction for Session Types}, year = 2010, note = "Unpublished", url = {http://www.di.fc.ul.pt/~vv/papers/vasconcelos.giunti.etal_type-safety-session-types.pdf} } @Article{gay.vasconcelos:linear-sessions, author = {Simon Gay and Vasco Thudichum Vasconcelos}, title = {Linear Type Theory for Asynchronous Session Types}, journal = {Journal of Functional Programming}, volume = 20, number = 1, pages = {19--50}, _note = {Subsumes Technical Report 2007--251, University of Glasgow}, year = 2010, doi = {http://dx.doi.org/10.1017/S0956796809990268}, url = {http://www.di.fc.ul.pt/~vv/papers/gay.vasconcelos_linear-sessions.pdf} } @InProceedings{gay.vasconcelos.etal:modular-session-types, author = {Simon Gay and Vasco Thudichum Vasconcelos and António Ravara and Nils Gesbert and Alexandre Z. Caldeira}, title = {Modular Session Types for Distributed Object-Oriented Programming}, booktitle = {POPL}, pages = {299--312}, year = 2010, publisher = {ACM}, doi = {http://dx.doi.org/10.1145/1706299.1706335}, url = {http://www.di.fc.ul.pt/~vv/papers/gay.vasconcelos.etal_modular-session-types.pdf} } @TechReport{gay.vasconcelos.etal:modular-session-types-techrep, author = {Simon Gay and Vasco Thudichum Vasconcelos and António Ravara and Nils Gesbert and Alexandre Z. Caldeira}, title = {Modular Session Types for Distributed Object-Oriented Programming}, institution = {Department of Computing, University of Glasgow}, year = 2010, type = {TR}, number = {2010--308}, note_ = {POPL paper with proofs and some small corrections}, url = {http://www.di.fc.ul.pt/~vv/papers/gay.vasconcelos_async-functional-sessions-techrep.pdf} }
@InProceedings{vasconcelos:session-types-linear-functional-programming, author = {Vasco Thudichum Vasconcelos}, title = {Session Types for Linear Multithreaded Functional Programming}, booktitle = {PPDP'09: Proceedings of the 11th ACM SIGPLAN Conference on Principles and Practice of Declarative Programming}, pages = {1--6}, year = 2009, doi = {http://doi.acm.org/10.1145/1599410.1599411}, isbn = {978-1-60558-568-0}, publisher = {ACM} } @InProceedings{nunes.lopes.vasconcelos:bridging-adt-generic-oo, author = {Isabel Nunes and Antónia Lopes and Vasco Thudichum Vasconcelos}, title = {Bridging the Gap Between Algebraic Specification and Object-Oriented Generic Programming}, booktitle = {9th International Workshop on Runtime Verification}, series = {LNCS}, volume = 5779, publisher = {SPRINGER}, year = 2009, pages = {115--131}, url = {http://homepages.di.fc.ul.pt/~vv/papers/nunes.lopes.vasconcelos_bridging-adt-generic-oo.pdf} } @InProceedings{yoshida.vasconcelos.etal:session-based-compilation, author = {Nobuko Yoshida and Vasco Thudichum Vasconcelos and Hervé Paulino and Kohei Honda}, title = {Session-Based Compilation Framework for Multicore Programming}, booktitle = {International Symposium on Formal Methods for Components and Objects (FMCO 2009)}, series = {LNCS}, volume = 5751, year = 2009, publisher = {SPRINGER}, pages = {226--246} } @InBook{vasconcelos:fundamental-sessions-sfm, author = {Vasco Thudichum Vasconcelos}, title = {9th International School on Formal Methods for the Design of Computer, Communication and Software Systems}, _title-bis= {: Web Services (SFM 2009)}, chapter = {Fundamentals of Session Types}, publisher = {SPRINGER}, year = 2009, volume = 5569, series = {LNCS}, pages = {158--186} } @Proceedings{field.vasconcelos:coordination09-proceedings, editor = {John Field and Vasco Thudichum Vasconcelos}, title = {COORDINATION}, publisher = {SPRINGER}, series = {LNCS}, volume = 5521, year = 2009 } @Unpublished{giunti.honda.etal:session-based-pi-matching, author = {Marco Giunti and Kohei Honda and Vasco Thudichum Vasconcelos and Nobuko Yoshida}, title = {Session-based Type Discipline for Pi Calculus with Matching}, year = 2009, note = {PLACES}, url = {http://www.di.fc.ul.pt/~vv/papers/giunti.honda.etal_session-based-pi-matching.pdf} } @InProceedings{vasconcelos.martins.cogumbreiro:type-inference-mil, author = {Vasco Thudichum Vasconcelos and Francisco Martins and Tiago Cogumbreiro}, title = {Type Inference for Deadlock Detection in a Multithreaded Typed Assembly Language}, booktitle = {PLACES}, pages = {95--109}, year = 2010, volume = 17, series = {EPTCS}, doi = {10.4204/EPTCS.17.8} } @InProceedings{honda.vasconcelos.yoshida:compilation-multicore-programming, author = {Kohei Honda and Vasco Thudichum Vasconcelos and Nobuko Yoshida}, title = {Type-Directed Compilation for Multicore Programming}, pages = {101--111}, crossref = {vasconcelos.yoshida:places08-entcs-proceedings} } @InProceedings{cogumbreiro-martins-vasconcelos:compiling-pi-into-mtal, author = {Tiago Cogumbreiro and Francisco Martins and Vasco Thudichum Vasconcelos}, title = {Compiling the pi-calculus into a multi-threaded typed assembly language}, pages = {57--84}, crossref = {vasconcelos.yoshida:places08-entcs-proceedings}, doi = {DOI: 10.1016/j.entcs.2009.06.004}, url = {http://www.sciencedirect.com/science/article/B75H1-4WJH0Y4-4/2/09ef919d15a3c62479aad2f51e0bc203} } @Proceedings{vasconcelos.yoshida:places08-entcs-proceedings, editor = {Vasco Thudichum Vasconcelos and Nobuko Yoshida}, title = {PLACES 2008---1st International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software}, publisher = {Elsevier}, series = {ENTCS}, year = 2009, volume = 241 } @InProceedings{vasconcelos.gay.etal:dynamic-interfaces, author = {Vasco Thudichum Vasconcelos and Simon Gay and António Ravara and Nils Gesbert and Alexandre Z. Caldeira}, title = {Dynamic Interfaces}, booktitle = {International Workshop on Foundations of Object-Oriented Languages (FOOL'09)}, year = 2009, url = {http://www.di.fc.ul.pt/~vv/papers/vasconcelos.gay.etal_dynamic-interfaces.pdf} }
@InProceedings{cruz-filipe.lanese.etal:behavioural-theory-at-work, author = {Luís Cruz-Filipe and Ivan Lanese and Francisco Martins and António Ravara and Vasco Thudichum Vasconcelos}, title = {Behavioural theory at work: program transformations in a service-centred calculus}, booktitle = {FMOODS}, series = {LNCS}, volume = 5051, publisher = {SPRINGER}, year = 2008, pages = {59--77}, url = {http://www.di.fc.ul.pt/~vv/papers/cruz-filipe.lanese.etal_behavioural-theory-at-work.pdf} } @InProceedings{cogumbreiro.martins.vasconcelos:compiling-pi-into-mtal-places, author = {Tiago Cogumbreiro and Francisco Martins and Vasco Thudichum Vasconcelos}, title = {Compiling the pi-calculus into a Multithreaded Typed Assembly Language}, pages = {40--45}, crossref = {vasconcelos.yoshida:places08-pre-proceedings} } @Proceedings{vasconcelos.yoshida:places08-pre-proceedings, editor = {Vasco Thudichum Vasconcelos and Nobuko Yoshida}, title = {PLACES 2008---1st International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software}, publisher = {Department of Informatics, Faculty of Sciences, University of Lisbon}, series = {DI/FCUL TR}, number = {08--14}, year = 2008 } @TechReport{cogumbreiro.martins.vasconcelos:compiling-pi-into-mtal-report, author = {Tiago Cogumbreiro and Francisco Martins and Vasco Thudichum Vasconcelos}, title = {Compiling the pi-calculus into a multi-threaded typed assembly language}, institution = {Department of Informatics, Faculty of Sciences, University of Lisbon}, type = {DI/FCUL TR}, number = {08--13}, year = 2008 } @InProceedings{vasconcelos.nunes.etal:runtime-checking-java, author = {Vasco Thudichum Vasconcelos and Isabel Nunes and Antónia Lopes and Nuno Ramiro and Pedro Crispim}, title = {Runtime checking {J}ava code using {C}ongu}, year = 2008, booktitle = {ECOOP'08 International Workshop on Advanced Software Development Tools and Techniques (WASDeTT)} } @InProceedings{vasconcelos.nunes.etal:monitoring-java-code-using-congu, author = {Vasco Thudichum Vasconcelos and Isabel Nunes and Antónia Lopes}, title = {Monitoring {J}ava code using {C}ongu}, year = 2008, booktitle = {19th International Workshop on Algebraic Development Techniques (WADT)}, page = {69--71}, organization = {Università di Pisa}, volume = {TR-08-15} }
@TechReport{cruz-filipe.lanese.etal:bisimulations-in-sscc, author = {Luís Cruz-Filipe and Ivan Lanese and Francisco Martins and António Ravara and Vasco Thudichum Vasconcelos}, title = {Bisimulations in {SSCC}}, institution = {Department of Informatics, Faculty of Sciences, University of Lisbon}, month = dec, year = 2007, type = {DI/FCUL TR}, number = {07--37}, url = {http://www.di.fc.ul.pt/~vv/papers/cruz-filipe.lanese.etal_bisimulations-in-sscc.pdf} } @Proceedings{caires.vasconcelos:concur07-proceedings, editor = {Luís Caires and Vasco Thudichum Vasconcelos}, title = {CONCUR}, _title = {CONCUR 2007, 18th International Conference on 2007 Concurrency Theory, Lisbon, Portugal, September 3-8, 2007, Proceedings}, publisher = {SPRINGER}, series = {LNCS}, volume = 4703, year = 2007, isbn = {978-3-540-74406-1} } @Unpublished{vasconcelos.nunes.etal:monitoring-using-congu, author = {Vasco Thudichum Vasconcelos and Isabel Nunes and Antónia Lopes and Luís S. Reis}, title = {Monitoring {J}ava Code Using {C}onGu}, year = 2007, note = {Unpublished}, url = {http://www.di.fc.ul.pt/~vv/papers/vasconcelos.nunes.etal_monitoring-using-congu.pdf} } @TechReport{abreu.caldeira.etal:congu-report, author = {João Abreu and Alexandre Caldeira and Antónia Lopes and Isabel Nunes and Luís S. Reis and Vasco Thudichum Vasconcelos}, title = {Congu, Checking {J}ava Classes Against Property-Driven Algebraic Specifications}, institution = {Department of Informatics, Faculty of Sciences, University of Lisbon}, year = 2007, type = {DI/FCUL TR}, number = {07--7}, month = mar, url = {http://www.di.fc.ul.pt/~vv/papers/abreu.caldeira.etal_congu-report.pdf} } @TechReport{gay.vasconcelos:async-functional-sessions, author = {Simon Gay and Vasco Thudichum Vasconcelos}, title = {Asynchronous Functional Session Types}, institution = {Department of Computing, University of Glasgow}, year = 2007, type = {TR}, number = {2007--251}, month = may, url = {http://www.di.fc.ul.pt/~vv/papers/gay.vasconcelos_async-functional-sessions.pdf} } @InProceedings{lanese.vasconcelos.etal:disciplining-orchestration-conversation, author = {Ivan Lanese and Vasco Thudichum Vasconcelos and Francisco Martins and António Ravara}, title = {Disciplining Orchestration and Conversation in Service-Oriented Computing}, booktitle = {5th IEEE International Conference on Software Engineering and Formal Methods}, pages = {305--314}, year = 2007, publisher = {IEEE}, url = {http://www.di.fc.ul.pt/~vv/papers/lanese.vasconcelos.etal_disciplining-orchestration-conversation.pdf} } @TechReport{lanese.vasconcelos.etal:disciplining-orchestration-conversation-report, author = {Ivan Lanese and Vasco Thudichum Vasconcelos and Francisco Martins and António Ravara}, title = {Disciplining Orchestration and Conversation in Service-Oriented Computing}, institution = {Department of Informatics, Faculty of Sciences, University of Lisbon}, year = 2007, type = {DI/FCUL TR}, number = {07--2}, month = mar, url = {http://www.di.fc.ul.pt/~vv/papers/lanese.vasconcelos.etal_disciplining-orchestration-conversation-report.pdf} } @InProceedings{yoshida.vasconcelos:language-primitives-revisited, author = {Nobuko Yoshida and Vasco Thudichum Vasconcelos}, title = {Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication}, booktitle = {SecReT}, year = 2007, volume = {171(4)}, publisher = {Elsevier}, series = {ENTCS}, pages = {73--93}, url = {http://www.di.fc.ul.pt/~vv/papers/yoshida.vasconcelos:language-primitives-revisited.pdf} }
@inproceedings{boreale.bruni.etal:service-centered-calculus, author = {Michele Boreale and Roberto Bruni and Luís Caires and Rocco {De Nicola} and Ivan Lanese and Michele Loreti and Francisco Martins and Ugo Montanari and António Ravara and Davide Sangiorgi and Vasco Vasconcelos and Gianluigi Zavattaro}, title = {{SCC}: a Service Centered Calculus}, booktitle = {Proceedings of WS-FM, 3rd International Workshop on Web Services and Formal Methods}, series = {LNCS}, volume = 4184, publisher = {SPRINGER}, year = 2006, pages = {38--57}, url = {http://www.di.fc.ul.pt/~vv/papers/boreale.bruni.etal_service-centered-calculus.pdf} } @InProceedings{nunes.lopes.etal:checking-conformance, author = {Isabel Nunes and Antónia Lopes and Vasco Thudichum Vasconcelos and João Abreu and Luís S. Reis}, title = {Checking the Conformance of {J}ava Classes Against Algebraic Specifications}, booktitle = {ICFEM}, volume = 4260, series = {LNCS}, publisher = {SPRINGER}, year = 2006, pages = {494--513}, url = {http://www.di.fc.ul.pt/~vv/papers/nunes.lopes.etal_checking-conformance.pdf} } @InProceedings{vasconcelos.martins:multithreaded-tal, author = {Vasco Thudichum Vasconcelos and Francisco Martins}, title = {A Multithreaded Typed Assembly Language}, booktitle = {Proceedings of TV - Multithreading in Hardware and Software: Formal Approaches to Design and Verification}, pages = {133--141}, year = 2006, url = {http://www.di.fc.ul.pt/~vv/papers/vasconcelos.martins:multithreaded-tal.pdf} } @TechReport{vasconcelos.yoshida:language-primitives-revisited-report, author = {Vasco Thudichum Vasconcelos and Nobuko Yoshida}, title = {Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication}, institution = {Department of Informatics, Faculty of Sciences, University of Lisbon}, year = 2006, type = {DI/FCUL TR}, number = {06--9}, month = jun, url = {http://www.di.fc.ul.pt/~vv/papers/vasconcelos.yoshida_language-primitives-revisited-report} } @Article{vasconcelos.gay.ravara:tychecking-session-types, author = {Vasco Thudichum Vasconcelos and Simon Gay and António Ravara}, title = {Typechecking a Multithreaded Functional Language with Session Types}, journal = TCS, year = 2006, volume = 368, number = {1--2}, pages = {64--87}, url = {http://www.di.fc.ul.pt/~vv/papers/vasconcelos.gay.ravara_tychecking-session-types.pdf} } @Article{vallecillo.vasconcelos.etal:typing-behavior-components, author = {António Vallecillo and Vasco Thudichum Vasconcelos and António Ravara}, title = {Typing the Behavior of Software Components using Session Types}, journal = {Fundamenta Informatic\ae}, volume = 73, number = 4, pages = {583--598}, year = 2006, publisher = {IOS Press}, url = {http://www.di.fc.ul.pt/~vv/papers/vallecillo.vasconcelos.etal_typing-behavior-components.pdf} } @Unpublished{nunes.vasconcelos.lopes:contract-guided, author = {Isabel Nunes and Vasco Thudichum Vasconcelos and Antónia Lopes}, title = {Guiding Specification and OO implementation of Data Types}, month = mar, year = 2006, note = "Unpublished", url = {http://www.di.fc.ul.pt/~vv/papers/nunes.vasconcelos.lopes_guiding-specification.pdf} }
@TechReport{nunes.lopes.vasconcelos:testing-implementations, author = {Isabel Nunes and Antónia Lopes and Vasco Thudichum Vasconcelos and João Abreu and Luís Reis}, title = {Testing Implementations of Algebraic Specifications with Design-By-Contract Tools}, institution = {Department of Informatics, Faculty of Sciences, University of Lisbon}, year = 2005, type = {DI/FCUL TR}, number = {05--22}, month = dec, url = {http://www.di.fc.ul.pt/~vv/papers/nunes.lopes.vasconcelos_testing-implementations.pdf} } @InProceedings{martins.salvador.etal:mikado-koncurrent-objects, author = {Francisco Martins and Liliana Salvador and Vasco Thudichum Vasconcelos and Luís Lopes}, title = {MiKO: Mikado Koncurrent Objects}, booktitle = {FGC}, series = {Dagstuhl Seminar Proceedings}, publisher = {Schloss Dagstuhl}, _publisher = {Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany}, year = 2006, volume = 05081, url = {http://www.di.fc.ul.pt/~vv/papers/martins.salvador.etal_mikado-koncurrent-objects.pdf} } @TechReport{vasconcelos.ravara.gay:session-types-functional-multithreading-report, author = {Vasco Thudichum Vasconcelos and António Ravara and Simon Gay}, title = {Session types for functional multithreading}, institution = {Department of Informatics, Faculty of Sciences, University of Lisbon}, year = 2005, type = {DI/FCUL TR}, number = {05--9}, month = may, url = {http://www.di.fc.ul.pt/~vv/papers/vasconcelos.ravara.gay_session-types-functional-multithreading-report.pdf} } @InProceedings{martins.vasconcelos:history-based-access-control, author = {Francisco Martins and Vasco Thudichum Vasconcelos}, title = {History-based access control for distributed processes}, booktitle = {TGC}, pages = {98--115}, volume = 3795, series = {LNCS}, publisher = {SPRINGER}, year = 2005, url = {http://www.di.fc.ul.pt/~vv/papers/martins.vasconcelos_history-based-access-control.pdf} } @InCollection{bettini.denicola.eral:prototyping-mobile-calculi, author = {L. Bettini and R. De Nicola and D. Falassi and M. Lacoste and L. Lopes and L. Oliveira and H. Paulino and Vasco Thudichum Vasconcelos}, title = {A software framework for rapid prototyping of run-time systems for mobile calculi}, booktitle = {Global Computing}, year = 2005, series = {LNCS}, publisher = {SPRINGER}, volume = 3267, pages = {179--207}, url = {http://www.di.fc.ul.pt/~vv/papers/bettini.denicola.etal_prototyping-mobile-calculi.pdf} } @Article{vasconcelos:lambda-pi-machines, author = {Vasco Thudichum Vasconcelos}, title = {Lambda and pi calculi, {CAM} and {SECD} machines}, journal = {Journal of Functional Programming}, year = 2005, volume = 15, number = 1, pages = {101--127}, url = {http://www.di.fc.ul.pt/~vv/papers/vasconcelos_lamdba-pi-machines.pdf} }
@InProceedings{vasconcelos.ravara.gay:session-types-functional-multithreading, author = {Vasco Thudichum Vasconcelos and António Ravara and Simon Gay}, title = {Session types for functional multithreading}, booktitle = {CONCUR}, pages = {497--511}, year = 2004, volume = 3170, series = {LNCS}, publisher = {SPRINGER}, url = {http://www.di.fc.ul.pt/~vv/papers/vasconcelos.ravara.gay:session-types-functional-multithreading.pdf} } @TechReport{martins.vasconcelos:controling-policies, author = {Francisco Martins and Vasco Thudichum Vasconcelos}, title = {Controlling Security Policies in a Distributed Environment}, institution = {Department of Informatics, Faculty of Sciences, University of Lisbon}, year = 2004, type = {DI/FCUL TR}, number = {04--1}, month = apr, url = {http://www.di.fc.ul.pt/~vv/papers/martins.vasconcelos_controling-policies.pdf} }
@InProceedings{paulino.marques.etal:multithreaded-async-lang, author = {Hervé Paulino and Pedro Marques and Luís Lopes and Vasco Thudichum Vasconcelos and Fernando Silva}, title = {A Multi-Threaded Asynchronous Language}, booktitle = {7th International Conference on Parallel Computing Technologies (PaCT'03)}, pages = {316--323}, year = 2003, volume = 2763, series = {LNCS}, publisher = {SPRINGER}, url = {http://www.di.fc.ul.pt/~vv/papers/paulino.marques.etal_multithreaded-async-lang.pdf} } @InProceedings{ravara.matos.etal:lexically-scoping-distribution, author = {António Ravara and Ana Matos and Vasco Thudichum Vasconcelos and Luís Lopes}, title = {Lexically scoping distribution: what you see is what you get}, booktitle = {FGC}, series = {ENTCS}, volume = {85(1)}, _number = 1, pages = {61--79}, month = jul, year = 2003, publisher = {Elsevier}, url = {http://www.di.fc.ul.pt/~vv/papers/ravara.matos.etal_lexically-scoping-distributiond.pdf} } @TechReport{gay.vasconcelos.ravara:session-types-communication, author = {Simon Gay and Vasco Thudichum Vasconcelos and António Ravara}, title = {Session Types for Inter-Process Communication}, institution = {Department of Computing, University of Glasgow}, month = mar, year = 2003, type = {TR}, number = {2003--133}, url = {http://www.di.fc.ul.pt/~vv/papers/gay.vasconcelos.ravara_session-types-communication.pdf} }
@InProceedings{martins.lopes.vasconcelos:linearity-in-tyco, author = {Francisco Martins and Luís Lopes and Vasco Thudichum Vasconcelos}, title = {The Impact of Linearity Information on the Performance of {TyCO}}, booktitle = {Workshop on Types in Programming (TIP'02)}, series = {ENTCS}, volume = 75, pages = {41--60}, month = aug, year = 2002, publisher = {Elsevier}, url = {http://www.di.fc.ul.pt/~vv/papers/martins.lopes.vasconcelos_linearity-in-tyco.pdf} } @InProceedings{vallecillo.vasconcelos.etal:typing-behavior-objects-foclasa, author = {António Vallecillo and Vasco Thudichum Vasconcelos and António Ravara}, title = {Typing the Behavior of Objects and Components using Session Types}, booktitle = {1st International Workshop on Foundations of Coordination Languages and Software Architectures (Foclasa 2002)}, series = {ENTCS}, volume = {68(3)}, _number = 3, pages = {439--456}, year = 2003, publisher = {Elsevier} } @InProceedings{nunes.vasconcelos:contract-guided, author = {Isabel Nunes and Vasco Thudichum Vasconcelos}, title = {Contract Guided System Development}, month = apr, year = 2002, booktitle = {Workshop on Pedagogies and Tools for Learning Object-Oriented Concepts}, url = {http://www.di.fc.ul.pt/~vv/papers/nunes.vasconcelos_contract-guided.pdf} } @TechReport{ravara.matos.etal:lexically-scoped-pi, author = {António Ravara and Ana Matos and Vasco Thudichum Vasconcelos and Luís Lopes}, title = {A lexically scoped distributed pi-calculus}, institution = {Department of Informatics, Faculty of Sciences, University of Lisbon}, year = 2002, type = {DI/FCUL TR}, number = {02--4}, month = mar, url = {http://www.di.fc.ul.pt/~vv/papers/ravara.matos.etal_lexically-scoped-pi.pdf} }
@TechReport{martins.vasconcelos:tyco-linear, author = {Francisco Martins and Vasco Thudichum Vasconcelos}, title = {{TyCO} + Linear Channels}, institution = {Department of Informatics, Faculty of Sciences, University of Lisbon}, year = 2001, type = {DI/FCUL TR}, number = {01--11}, month = dec, url = {http://www.di.fc.ul.pt/~vv/papers/martins.vasconcelos_tyco-linear.pdf} } @Article{lopes.vasconcelos.silva:fine-grained-multithreading, author = {Luís Lopes and Vasco Thudichum Vasconcelos and Fernando Silva}, title = {Fine Grained Multithreading with Process Calculi}, journal = {IEEE Transactions on Computers}, year = 2001, volume = 50, number = 9, pages = {229--233}, month = aug, url = {http://www.di.fc.ul.pt/~vv/papers/lopes.vasconcelos.silva_fine-grained-multithreading.pdf} } @TechReport{vasconcelos:tyco-gently, author = {Vasco Thudichum Vasconcelos}, title = {{TyCO} Gently}, institution = {Department of Informatics, Faculty of Sciences, University of Lisbon}, year = 2001, type = {DI/FCUL TR}, number = {01--4}, month = jul, url = {http://www.di.fc.ul.pt/~vv/papers/vasconcelos_tyco-gently.pdf} } @TechReport{vasconcelos:tyco-02, author = {Vasco Thudichum Vasconcelos}, title = {Core-{TyCO}, Appendix to the Language Definition, yielding Version 0.2}, institution = {Department of Informatics, Faculty of Sciences, University of Lisbon}, year = 2001, type = {DI/FCUL TR}, number = {01--5}, month = jul, url = {http://www.di.fc.ul.pt/~vv/papers/vasconcelos_tyco-02.pdf} }
@InProceedings{lopes.figueira.silva.vasconcelos:conc-prog-env, author = {Luís Lopes and Álvaro Figueira and Fernando Silva and Vasco Thudichum Vasconcelos}, title = {A Concurrent Programming Environment with Support for Distributed Computations and Code Mobility}, booktitle = {CLUSTER}, pages = {297--306}, year = 2000, month = nov, publisher = {IEEE}, url = {http://www.di.fc.ul.pt/~vv/papers/lopes.figueira.silva.vasconcelos_conc-prog-env.pdf} } @InProceedings{lopes.silva.vasconcelos:fine-grained-multithreading-pact, author = {Luís Lopes and Vasco Thudichum Vasconcelos and Fernando Silva}, title = {Fine Grained Multithreading with Process Calculi}, booktitle = {PaCT}, pages = {217--226}, year = 2000, month = oct, publisher = {IEEE}, url = {http://www.di.fc.ul.pt/~vv/papers/lopes.silva.vasconcelos_fine-grained-multithreading-pact.pdf} } @InProceedings{ravara.vasconcelos:typing-non-uniform-objects, author = {António Ravara and Vasco Thudichum Vasconcelos}, title = {Typing Non-uniform Concurrent Objects}, booktitle = {CONCUR}, pages = {474--488}, year = 2000, volume = 1877, series = {LNCS}, publisher = {SPRINGER}, url = {http://www.di.fc.ul.pt/~vv/papers/ravara.vasconcelos_typing-non-uniform-objects.pdf} } @TechReport{vasconcelos:lambda-secd-pi, author = {Vasco Thudichum Vasconcelos}, title = {The call-by-value lambda-calculus, the {SECD} machine, and the pi-calculus}, institution = {Department of Informatics, Faculty of Sciences, University of Lisbon}, year = 2000, type = {DI/FCUL TR}, number = {00--3}, month = may, url = {http://www.di.fc.ul.pt/~vv/papers/vasconcelos_lambda-secd-pi.pdf} } @InProceedings{honda.vasconcelos.yoshida:secure-information-flow, author = {Kohei Honda and Vasco Thudichum Vasconcelos and Nobuko Yoshida}, title = {Secure Information Flow as Typed Process Behaviour}, booktitle = {ESOP}, pages = {180--199}, year = 2000, volume = 1782, series = {LNCS}, publisher = {SPRINGER}, url = {http://www.di.fc.ul.pt/~vv/papers/honda.vasconcelos.yoshida_secure-information-flow.pdf} }
@TechReport{honda.vasconcelos.yoshida:secure-information-flow-report, author = {Kohei Honda and Vasco Thudichum Vasconcelos and Nobuko Yoshida}, title = {Secure Information Flow as Typed Process Behaviour}, institution = {Department of Computer Science, Queen Mary and Westfield College}, year = 1999, number = 767, month = dec, url = {http://www.di.fc.ul.pt/~vv/papers/honda.etal_secure-information-flow-report.pdf} } @Article{vasconcelos.ravara:communication-errors, author = {Vasco Thudichum Vasconcelos and António Ravara}, title = {Comunication errors in the pi-calculus are undecidable}, journal = IPL, year = 1999, volume = 71, number = {5--6}, pages = {229--233}, url = {http://www.di.fc.ul.pt/~vv/papers/vasconcelos.ravara_communication-errors.pdf} } @InProceedings{lopes.silva.etal:dityco, author = {Luís Lopes and Fernando Silva and Álvaro Figueira and Vasco Thudichum Vasconcelos}, title = {{DiTyCO}: An Experiment in Code Mobility from the Realm of Process Calculi}, year = 1999, month = jun, booktitle = {MOS}, url = {http://www.di.fc.ul.pt/~vv/papers/lopes.silva.etal_dityco.pdf.pdf} } @TechReport{ravara.resende.vasconcelos:algebra-behavioural-types-tr, author = {António Ravara and Pedro Resende and Vasco Thudichum Vasconcelos}, title = {An algebra of behavioural types}, institution = {Department of Mathematics, Technical Institute of Lisbon, Technical University of Lisbon}, year = 1999, _type = {Preprint}, number = {26--99}, month = sep, url = {http://www.di.fc.ul.pt/~vv/papers/ravara.resende.vasconcelos_algebra-behavioural-types.pdf} } @InProceedings{lopes.silva.vasconcelos:virtual-machine-tyco, author = {Luís Lopes and Fernando Silva and Vasco Thudichum Vasconcelos}, title = {A Virtual Machine for the {TyCO} Process Calculus}, booktitle = {PPDP}, pages = {244--260}, year = 1999, volume = 1702, series = {LNCS}, month = sep, publisher = {SPRINGER}, url = {http://www.di.fc.ul.pt/~vv/papers/lopes.silva.vasconcelos_virtual-machine-tyco.pdf} } @InProceedings{figueira.silva.etal:concorrencia-mobilidade-codigo, author = {Álvaro Figueira and Fernando Silva and Luís Lopes Vasco Thudichum Vasconcelos}, title = {{DiTyCO}: Concorrência e Mobilidade de Código}, booktitle = {1o Encontro Português de Computação Móvel}, pages = {25--35}, year = 1999, note = {Also available as Technical Report DCC-99--4, DCC-FC \& LIACC}, url = {http://www.di.fc.ul.pt/~vv/papers/figueira.silva.etal_concorrencia-mobilidade-codigo.ps-gz} } @Article{vasconcelos:functions-datatypes, author = {Vasco Thudichum Vasconcelos}, title = {Processes, Functions, Datatypes}, journal = {TAPOS}, year = 1999, volume = 5, number = 2, pages = {97--110}, url = {http://www.di.fc.ul.pt/~vv/papers/vasconcelos_functions-datatypes.pdf} } @InProceedings{figueira.silva.etal:ambiente-computacoes-distribuidas, author = {Álvaro Figueira and Fernando Silva and Luís Lopes Vasco Thudichum Vasconcelos}, title = {Um Ambiente para Computações Distribuídas, Concorrência e Mobilidade de Código}, booktitle = {1a Conferência sobre Redes de Computadores}, pages = {139--142}, year = 1999, note = {Also available as Technical Report DCC-98--7, DCC-FC \& LIACC}, address = {Coimbra}, url = {http://www.di.fc.ul.pt/~vv,} }
@InProceedings{vasconcelos.lopes.silva:distribution-mobility, author = {Vasco Thudichum Vasconcelos and Luís Lopes and Fernando Silva}, title = {Distribution and Mobility with Lexical Scoping in Process Calculi}, booktitle = {HLCL}, series = {ENTCS}, volume = {16(3)}, _number = 3, pages = {189--204}, year = 1998, publisher = {Elsevier}, url = {http://www.di.fc.ul.pt/~vv/papers/vasconcelos.lopes.silva_distribution-mobility.pdf} } @InProceedings{ravara.resende.vasconcelos:dynamic-object-types, author = {António Ravara and Pedro Resende and Vasco Thudichum Vasconcelos}, title = {Towards an Algebra of Dynamic Object Types}, booktitle = {Semantics of Objects as Processes}, series = {BRICS Notes Series}, volume = {NS--98--5}, year = 1998, month = jun, url = {http://www.di.fc.ul.pt/~vv/papers/ravara.resende.vasconcelos_dynamic-object-types} } @InProceedings{honda.vasconcelos.kubo:language-primitives, author = {Kohei Honda and Vasco Thudichum Vasconcelos and Makoto Kubo}, title = {Language primitives and type disciplines for structured communication-based programming}, booktitle = {ESOP}, volume = 1381, pages = {22--138}, series = {LNCS}, year = 1998, publisher = {SPRINGER}, url = {http://www.di.fc.ul.pt/~vv/papers/honda.vasconcelos.kubo_language-primitives.pdf} } @TechReport{vasconcelos.bastos:tyco-definition, author = {Vasco Thudichum Vasconcelos and Rui Bastos}, title = {Core-{TyCO}, The Language Definition, Version 0.1}, institution = {Department of Informatics, Faculty of Sciences, University of Lisbon}, year = 1998, type = {DI/FCUL TR}, number = {98--3}, month = mar, url = {http://www.di.fc.ul.pt/~vv/papers/vasconcelos.bastos_tyco-definition.pdf} } @TechReport{lopes.silva.vasconcelos:compiling-process-calculi, author = {Luís Lopes and Fernando Silva and Vasco Thudichum Vasconcelos}, title = {Compiling Process Calculi}, institution = {{DCC-FC \& LIACC}, Universidade do Porto}, year = 1998, type = {DCC}, number = {98--3}, month = mar, url = {http://www.di.fc.ul.pt/~vv/papers/lopes.silva.vasconcelos_compiling-process-calculi.ps.gz} }
@TechReport{lopes.vasconcelos:abstract-machine-tyco, author = {Luís Lopes and Vasco Thudichum Vasconcelos}, title = {An Abstract Machine for an Object Calculus}, institution = {{DCC-FC \& LIACC}, Universidade do Porto}, type = {DCC}, number = {97--5}, year = 1997, month = jul, url = {http://www.di.fc.ul.pt/~vv/papers/lopes.vasconcelos_abstract-machine-tyco.ps.gz} } @TechReport{lopes.vasconcelos:tycoam-definition, author = {Luís Lopes and Vasco Thudichum Vasconcelos}, title = {{TyCO} Abstract Machine, The Definition}, institution = {{DCC-FC \& LIACC}, Universidade do Porto}, type = {DCC}, number = {97--1}, year = 1997, month = may, url = {http://www.di.fc.ul.pt/~vv/papers/lopes.vasconcelos_tycoam-definition.ps.gz} } @InProceedings{ravara.vasconcelos:behavioural-types, author = {António Ravara and Vasco Thudichum Vasconcelos}, title = {Behavioural types in a calculus of concurrent objects}, booktitle = {Euro-Par}, volume = 1300, pages = {54--561}, series = {LNCS}, year = 1997, publisher = {SPRINGER}, url = {http://www.di.fc.ul.pt/~vv/papers/ravara.vasconcelos_behavioural-types.ps.gz} } @TechReport{ravara.vasconcelos:behavioural-types-report, author = {António Ravara and Vasco Thudichum Vasconcelos}, title = {Behavioural types in a calculus of concurrent objects}, institution = {Department of Mathematics, Technical Institute of Lisbon, Technical University of Lisbon}, year = 1997, number = {97--6}, url = {http://www.di.fc.ul.pt/~vv/papers/ravara.vasconcelos_behavioural-types-report.ps.gz} }
@TechReport{ravara.vasconcelos:semantics-types-gnome, author = {António Ravara and Vasco Thudichum Vasconcelos}, title = {An Operational Semantics and a Type System for {GNOME} based on a Typed Calculus of Objects}, institution = {Department of Mathematics, Technical Institute of Lisbon, Technical University of Lisbon}, year = 1996, number = {96--17}, month = jul, note = {Presented at the ECOOP'96 Workshop on Proof-Theory of Concurrent Object-Oriented Programming}, url = {http://www.di.fc.ul.pt/~vv/papers/ravara.vasconcelos_semantics-types-gnome.ps.gz} } @InCollection{porto.vasconcelos:truth-action-osmosis, author = {António Porto and Vasco Thudichum Vasconcelos}, title = {Truth and Action Osmosis: the {TAO} computation model}, pages = {65--97}, booktitle = {Coordination Programming: Mechanisms, Models, and Semantics}, year = 1996, editor = {J.-M. Andreoli and C. Hankin and D. Le Métayer}, publisher = {Imperial College Press}, url = {http://www.di.fc.ul.pt/~vv/papers/porto.vasconcelos_truth-action-osmosis.ps.gz} }
@TechReport{porto.vasconcelos:truth-action-osmosis-report, author = {António Porto and Vasco Thudichum Vasconcelos}, title = {Truth and Action Osmosis: the {TAO} computation model}, institution = {Universidade Nova de Lisboa}, year = 1995, type = {DI-FCT/UNL TR}, number = {95--1}, url = {http://www.di.fc.ul.pt/~vv/papers/} } @InProceedings{vasconcelos:semantics-types-abcl, author = {Vasco Thudichum Vasconcelos}, title = {An Operational Semantics and a Type System for {ABCL/1} Based on a Calculus of Objects}, booktitle = {Object-Oriented Computing III}, year = 1995, series = {Lecture Notes}, address = {Lake Biwa, Japan}, publisher = {Kindai Kagaku Sha} } @Article{vasconcelos:unification-kinded-trees, author = {Vasco Thudichum Vasconcelos}, title = {Unification of Kinded Infinite Trees}, journal = IPL, year = 1995, volume = 55, pages = {3--328}, url = {http://www.di.fc.ul.pt/~vv/papers/vasconcelos_unification-kinded-trees.ps.gz} }
@phdthesis{vasconcelos:phd-thesis, author = {Vasco Thudichum Vasconcelos}, title = {A process-calculus approach to typed concurrent objects}, school = {Keio University}, year = 1994, url = {http://www.di.fc.ul.pt/~vv/papers/vasconcelos_phd-thesis.ps.gz} } @TechReport{vasconcelos:semantics-types-abcl-report, author = {Vasco Thudichum Vasconcelos}, title = {An Operational Semantics and a Typing System for {ABCL/1} based on a Calculus of Objects}, institution = {Keio University}, year = 1994, month = apr, number = {CS 94--001}, url = {http://www.di.fc.ul.pt/~vv/papers/vasconcelos_semantics-types-abcl-report.ps.gz} } @InProceedings{vasconcelos:predicative-poly-pi, author = {Vasco Thudichum Vasconcelos}, title = {Predicative Polymorphism in $\pi$-Calculus}, booktitle = {PARLE}, year = 1994, pages = {425--437}, volume = 817, month = jul, series = {LNCS}, publisher = {SPRINGER} } @InProceedings{vasconcelos:typed-concurrent-objects, author = {Vasco Thudichum Vasconcelos}, title = {Typed Concurrent Objects}, booktitle = {ECOOP}, year = 1994, pages = {100--117}, volume = 821, month = jul, series = {LNCS}, publisher = {SPRINGER}, url = {http://www.di.fc.ul.pt/~vv/papers/vasconcelos_typed-concurrent-objects.pdf} } @Article{vasconcelos:recursive-types, author = {Vasco Thudichum Vasconcelos}, title = {Recursive Types in a calculus of Objects}, journal = {Transactions of Information Processing Society of Japan}, year = 1994, month = sep, volume = 35, number = 9, pages = {1828--1836}, url = {http://www.di.fc.ul.pt/~vv/papers/vasconcelos_recursive-types.ps.gz} } @InProceedings{vasconcelos.tokoro:typing-calculus-objects-wooc, author = {Vasco Thudichum Vasconcelos and Mario Tokoro}, title = {A Typing System for a Calculus of Objects}, booktitle = {Object-Oriented Computing II}, year = 1994, pages = {211--222}, number = 6, series = {Lecture Notes}, address = {Hakone, Japan}, publisher = {Kindai Kagaku Sha}, } @InCollection{honda.kubo.etal:asynchronous-nu-calculus, author = {Kohei Honda and Makoto Kubo and Atsushi Sano and Takeuchi Kaku and Vasco Thudichum Vasconcelos and Nobuko Yoshida}, title = {Asynchronous nu-calculus and interaction-based programming methodologies}, booktitle = {Research Report of the Institute of Electronics, Information and Communication Engineers}, publisher = {Institute of Electronics, Information and Communication Engineers, Japan}, year = 1994, url = {http://www.di.fc.ul.pt/~vv/papers/honda.kubo.etal_asynchronous-nu-calculus.pdf} }
@InProceedings{vasconcelos.tokoro:typing-calculus-objects, author = {Vasco Thudichum Vasconcelos and Mario Tokoro}, title = {A Typing System for a Calculus of Objects}, booktitle = {ISOTAS}, year = 1993, month = nov, pages = {460--474}, volume = 472, series = {LNCS}, publisher = {SPRINGER}, url = {http://www.di.fc.ul.pt/~vv/papers/vasconcelos.tokoro_typing-calculus-objects.ps.gz} } @InProceedings{vasconcelos.honda:principal-types-pi, author = {Vasco Thudichum Vasconcelos and Kohei Honda}, title = {Principal Typing-Schemes in a Polyadic $\pi$-Calculus}, booktitle = {CONCUR}, year = 1993, month = aug, pages = {524--538}, volume = 715, series = {LNCS}, publisher = {SPRINGER}, url = {http://www.di.fc.ul.pt/~vv/papers/vasconcelos.honda_principal-types-pi.ps.gz} } @Unpublished{vasconcelos:typing-system-hopi, author = {Vasco Thudichum Vasconcelos}, title = {A note on a Typing System for the Higher-Order $\pi$-Calculus}, month = sep, year = 1993, note = {Unpublished}, url = {http://www.di.fc.ul.pt/~vv/papers/vasconcelos_typing-system-hopi.ps.gz} } @TechReport{vasconcelos:recursive-types-report, author = {Vasco Thudichum Vasconcelos}, title = {Recursive Types in a Calculus of Objects}, institution = {Keio University}, year = 1993, month = nov, number = {CS 93--002}, url = {http://www.di.fc.ul.pt/~vv/papers/vasconcelos_recursive-types-report.ps.gz} } @InProceedings{vasconcelos:predicative-poly-objects, author = {Vasco Thudichum Vasconcelos}, title = {A Predicative Polymorphic Type System for a Calculus of Objects}, booktitle = {Type Theory and its Applications to Computer Systems}, year = 1993, month = jul, number = 851, series = {RIMS Lecture Notes}, pages = {78--87}, publisher = {Kyoto University} } @Unpublished{vasconcelos:tyco-00, author = {Vasco Thudichum Vasconcelos}, title = {{TyCO}: the language definition, version 0.0}, note = {Keio University}, month = jul, year = 1993, url = {http://www.di.fc.ul.pt/~vv/papers/vasconcelos_tyco-00.ps.gz} } @InProceedings{vasconcelos:trace-semantics-actors-jp, author = {Vasco Thudichum Vasconcelos and Mario Tokoro}, title = {Towards Trace Semantics for Actor Systems}, booktitle = {Object-Oriented Computing I}, year = 1993, pages = {355--346}, number = 4, series = {Lecture Notes}, address = {Kobe, Japan}, publisher = {Kindai Kagaku Sha}, note = {In Japanese}, url = {http://www.di.fc.ul.pt/~vv/papers/.pdf} }
@TechReport{vasconcelos.honda:principal-types-report, author = {Vasco Thudichum Vasconcelos and Kohei Honda}, title = {Principal Typing-Schemes in a Polyadic $\pi$-Calculus}, institution = {Keio University}, year = 1992, month = nov, number = {CS 92--004}, } @MastersThesis{vasconcelos:masters-thesis, author = {Vasco Thudichum Vasconcelos}, title = {Trace Semantics for Concurrent Objects}, school = {Keio University}, year = 1992, month = mar, url = {http://www.di.fc.ul.pt/~vv/papers/vasconcelos_masters-thesis.ps.gz} } @InProceedings{vasconcelos.tokoro:trace-semantics-actors, author = {Vasco Thudichum Vasconcelos and Mario Tokoro}, title = {Trace Semantics for Actor Systems}, booktitle = {Object-Based Concurrent Computing}, year = 1992, pages = {141--162}, volume = 612, series = {LNCS}, publisher = {SPRINGER}, url = {http://www.di.fc.ul.pt/~vv/papers/vasconcelos.tokoro_trace-semantics-actors.ps.gz} }