bibtex

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}

2016



@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}
}

2015



@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}
}

2014



@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
}

2013



@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}
}

2012



@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}
}

2011


@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}
}

2010


@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}
}

2009



@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}
}

2008



@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}
}

2007



@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}
}

2006


@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}
}

2005


@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}
}

2004


@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}
}

2003


@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}
}

2002


@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}
}

2001


@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}
}

2000


@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}
}

1999


@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,}
}

1998


@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}
}

1997


@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}
}

1996


@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}
}

1995


@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}
}

1994


@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}
}

1993


@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}
}

1992


@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}
}