Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Luís Caires
@inproceedings{DBLP:conf/esop/CairesT24, author = {Lu{\'{\i}}s Caires and Bernardo Toninho}, editor = {Stephanie Weirich}, title = {The Session Abstract Machine}, booktitle = {Programming Languages and Systems - 33rd European Symposium on Programming, {ESOP} 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {14576}, pages = {206--235}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-57262-3\_9}, doi = {10.1007/978-3-031-57262-3\_9}, timestamp = {Sun, 14 Apr 2024 18:32:18 +0200}, biburl = {https://dblp.org/rec/conf/esop/CairesT24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2401-10409, author = {Lu{\'{\i}}s Caires and Bernardo Toninho}, title = {The Session Abstract Machine (Extended Version)}, journal = {CoRR}, volume = {abs/2401.10409}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2401.10409}, doi = {10.48550/ARXIV.2401.10409}, eprinttype = {arXiv}, eprint = {2401.10409}, timestamp = {Fri, 02 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2401-10409.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/RochaC23, author = {Pedro Rocha and Lu{\'{\i}}s Caires}, editor = {Thomas Wies}, title = {Safe Session-Based Concurrency with Shared Linear State}, booktitle = {Programming Languages and Systems - 32nd European Symposium on Programming, {ESOP} 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2023, Paris, France, April 22-27, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13990}, pages = {421--450}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-30044-8\_16}, doi = {10.1007/978-3-031-30044-8\_16}, timestamp = {Sat, 13 May 2023 01:07:18 +0200}, biburl = {https://dblp.org/rec/conf/esop/RochaC23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/RochaC21, author = {Pedro Rocha and Lu{\'{\i}}s Caires}, title = {Propositions-as-types and shared state}, journal = {Proc. {ACM} Program. Lang.}, volume = {5}, number = {{ICFP}}, pages = {1--30}, year = {2021}, url = {https://doi.org/10.1145/3473584}, doi = {10.1145/3473584}, timestamp = {Sat, 08 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/RochaC21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/ToninhoCP21, author = {Bernardo Toninho and Lu{\'{\i}}s Caires and Frank Pfenning}, editor = {Niccol{\`{o}} Veltri and Nick Benton and Silvia Ghilezan}, title = {A Decade of Dependent Session Types}, booktitle = {{PPDP} 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, Tallinn, Estonia, September 6-8, 2021}, pages = {3:1--3:3}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3479394.3479398}, doi = {10.1145/3479394.3479398}, timestamp = {Tue, 21 Mar 2023 21:03:02 +0100}, biburl = {https://dblp.org/rec/conf/ppdp/ToninhoCP21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/CairesT19, author = {Lu{\'{\i}}s Caires and Bernardo Toninho}, title = {Refinement kinds: type-safe programming with practical type-level computation}, journal = {Proc. {ACM} Program. Lang.}, volume = {3}, number = {{OOPSLA}}, pages = {131:1--131:30}, year = {2019}, url = {https://doi.org/10.1145/3360557}, doi = {10.1145/3360557}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/CairesT19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/CairesPPT19, author = {Lu{\'{\i}}s Caires and Jorge A. P{\'{e}}rez and Frank Pfenning and Bernardo Toninho}, editor = {Wan J. Fokkink and Rob van Glabbeek}, title = {Domain-Aware Session Types}, booktitle = {30th International Conference on Concurrency Theory, {CONCUR} 2019, August 27-30, 2019, Amsterdam, the Netherlands}, series = {LIPIcs}, volume = {140}, pages = {39:1--39:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2019}, url = {https://doi.org/10.4230/LIPIcs.CONCUR.2019.39}, doi = {10.4230/LIPICS.CONCUR.2019.39}, timestamp = {Wed, 02 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/concur/CairesPPT19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/esop/2019, editor = {Lu{\'{\i}}s Caires}, title = {Programming Languages and Systems - 28th European Symposium on Programming, {ESOP} 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11423}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-17184-1}, doi = {10.1007/978-3-030-17184-1}, isbn = {978-3-030-17183-4}, timestamp = {Fri, 31 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/esop/2019.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1907-01318, author = {Lu{\'{\i}}s Caires and Jorge A. P{\'{e}}rez and Frank Pfenning and Bernardo Toninho}, title = {Domain-Aware Session Types (Extended Version)}, journal = {CoRR}, volume = {abs/1907.01318}, year = {2019}, url = {http://arxiv.org/abs/1907.01318}, eprinttype = {arXiv}, eprint = {1907.01318}, timestamp = {Wed, 02 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1907-01318.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1908-00441, author = {Lu{\'{\i}}s Caires and Bernardo Toninho}, title = {Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)}, journal = {CoRR}, volume = {abs/1908.00441}, year = {2019}, url = {http://arxiv.org/abs/1908.00441}, eprinttype = {arXiv}, eprint = {1908.00441}, timestamp = {Fri, 09 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1908-00441.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/forte/2018, editor = {Christel Baier and Lu{\'{\i}}s Caires}, title = {Formal Techniques for Distributed Objects, Components, and Systems - 38th {IFIP} {WG} 6.1 International Conference, {FORTE} 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10854}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-92612-4}, doi = {10.1007/978-3-319-92612-4}, isbn = {978-3-319-92611-7}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/2018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/CairesP17, author = {Lu{\'{\i}}s Caires and Jorge A. P{\'{e}}rez}, editor = {Hongseok Yang}, title = {Linearity, Control Effects, and Behavioral Types}, booktitle = {Programming Languages and Systems - 26th European Symposium on Programming, {ESOP} 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10201}, pages = {229--259}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-54434-1\_9}, doi = {10.1007/978-3-662-54434-1\_9}, timestamp = {Wed, 02 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/esop/CairesP17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/csur/HuttelLVCCDMPRT16, author = {Hans H{\"{u}}ttel and Ivan Lanese and Vasco T. Vasconcelos and Lu{\'{\i}}s Caires and Marco Carbone and Pierre{-}Malo Deni{\'{e}}lou and Dimitris Mostrous and Luca Padovani and Ant{\'{o}}nio Ravara and Emilio Tuosto and Hugo Torres Vieira and Gianluigi Zavattaro}, title = {Foundations of Session Types and Behavioural Contracts}, journal = {{ACM} Comput. Surv.}, volume = {49}, number = {1}, pages = {3:1--3:36}, year = {2016}, url = {https://doi.org/10.1145/2873052}, doi = {10.1145/2873052}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/csur/HuttelLVCCDMPRT16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/CairesPT16, author = {Lu{\'{\i}}s Caires and Frank Pfenning and Bernardo Toninho}, title = {Linear logic propositions as session types}, journal = {Math. Struct. Comput. Sci.}, volume = {26}, number = {3}, pages = {367--423}, year = {2016}, url = {https://doi.org/10.1017/S0960129514000218}, doi = {10.1017/S0960129514000218}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/CairesPT16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoop/MilitaoAC16, author = {Filipe Milit{\~{a}}o and Jonathan Aldrich and Lu{\'{\i}}s Caires}, editor = {Shriram Krishnamurthi and Benjamin S. Lerner}, title = {Composing Interfering Abstract Protocols}, booktitle = {30th European Conference on Object-Oriented Programming, {ECOOP} 2016, July 18-22, 2016, Rome, Italy}, series = {LIPIcs}, volume = {56}, pages = {16:1--16:26}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2016}, url = {https://doi.org/10.4230/LIPIcs.ECOOP.2016.16}, doi = {10.4230/LIPICS.ECOOP.2016.16}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ecoop/MilitaoAC16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/CairesP16, author = {Lu{\'{\i}}s Caires and Jorge A. P{\'{e}}rez}, editor = {Elvira Albert and Ivan Lanese}, title = {Multiparty Session Types Within a Canonical Binary Theory, and Beyond}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 36th {IFIP} {WG} 6.1 International Conference, {FORTE} 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9688}, pages = {74--95}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-39570-8\_6}, doi = {10.1007/978-3-319-39570-8\_6}, timestamp = {Wed, 02 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/forte/CairesP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/LourencoC15, author = {Lu{\'{\i}}sa Louren{\c{c}}o and Lu{\'{\i}}s Caires}, editor = {Sriram K. Rajamani and David Walker}, title = {Dependent Information Flow Types}, booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2015, Mumbai, India, January 15-17, 2015}, pages = {317--328}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2676726.2676994}, doi = {10.1145/2676726.2676994}, timestamp = {Mon, 08 Apr 2024 08:19:10 +0200}, biburl = {https://dblp.org/rec/conf/popl/LourencoC15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/PerezCPT14, author = {Jorge A. P{\'{e}}rez and Lu{\'{\i}}s Caires and Frank Pfenning and Bernardo Toninho}, title = {Linear logical relations and observational equivalences for session-based concurrency}, journal = {Inf. Comput.}, volume = {239}, pages = {254--302}, year = {2014}, url = {https://doi.org/10.1016/j.ic.2014.08.001}, doi = {10.1016/J.IC.2014.08.001}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/PerezCPT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoop/MilitaoAC14, author = {Filipe Milit{\~{a}}o and Jonathan Aldrich and Lu{\'{\i}}s Caires}, editor = {Richard E. Jones}, title = {Rely-Guarantee Protocols}, booktitle = {{ECOOP} 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28 - August 1, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8586}, pages = {334--359}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-44202-9\_14}, doi = {10.1007/978-3-662-44202-9\_14}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ecoop/MilitaoAC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plpv/MilitaoAC14, author = {Filipe Milit{\~{a}}o and Jonathan Aldrich and Lu{\'{\i}}s Caires}, editor = {Nils Anders Danielsson and Bart Jacobs}, title = {Substructural typestates}, booktitle = {Proceedings of the 2014 {ACM} {SIGPLAN} Workshop on Programming Languages meets Program Verification, {PLPV} 2014, January 21, 2014, San Diego, California, USA, Co-located with {POPL} '14}, pages = {15--26}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2541568.2541574}, doi = {10.1145/2541568.2541574}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/plpv/MilitaoAC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/ToninhoCP14, author = {Bernardo Toninho and Lu{\'{\i}}s Caires and Frank Pfenning}, editor = {Matteo Maffei and Emilio Tuosto}, title = {Corecursion and Non-divergence in Session-Typed Processes}, booktitle = {Trustworthy Global Computing - 9th International Symposium, {TGC} 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8902}, pages = {159--175}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-45917-1\_11}, doi = {10.1007/978-3-662-45917-1\_11}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/tgc/ToninhoCP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/CairesP14, author = {Lu{\'{\i}}s Caires and Jorge A. P{\'{e}}rez}, title = {A Typeful Characterization of Multiparty Structured Conversations Based on Binary Sessions}, journal = {CoRR}, volume = {abs/1407.4242}, year = {2014}, url = {http://arxiv.org/abs/1407.4242}, eprinttype = {arXiv}, eprint = {1407.4242}, timestamp = {Wed, 02 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/CairesP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/CairesPPT13, author = {Lu{\'{\i}}s Caires and Jorge A. P{\'{e}}rez and Frank Pfenning and Bernardo Toninho}, editor = {Matthias Felleisen and Philippa Gardner}, title = {Behavioral Polymorphism and Parametricity in Session-Based Communication}, booktitle = {Programming Languages and Systems - 22nd European Symposium on Programming, {ESOP} 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7792}, pages = {330--349}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-37036-6\_19}, doi = {10.1007/978-3-642-37036-6\_19}, timestamp = {Wed, 02 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/esop/CairesPPT13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/ToninhoCP13, author = {Bernardo Toninho and Lu{\'{\i}}s Caires and Frank Pfenning}, editor = {Matthias Felleisen and Philippa Gardner}, title = {Higher-Order Processes, Functions, and Sessions: {A} Monadic Integration}, booktitle = {Programming Languages and Systems - 22nd European Symposium on Programming, {ESOP} 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7792}, pages = {350--369}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-37036-6\_20}, doi = {10.1007/978-3-642-37036-6\_20}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/esop/ToninhoCP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/CairesS13, author = {Lu{\'{\i}}s Caires and Jo{\~{a}}o Costa Seco}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {The type discipline of behavioral separation}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {275--286}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429103}, doi = {10.1145/2429069.2429103}, timestamp = {Thu, 24 Jun 2021 16:19:31 +0200}, biburl = {https://dblp.org/rec/conf/popl/CairesS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/LourencoC13, author = {Lu{\'{\i}}sa Louren{\c{c}}o and Lu{\'{\i}}s Caires}, editor = {Mart{\'{\i}}n Abadi and Alberto Lluch{-}Lafuente}, title = {Information Flow Analysis for Valued-Indexed Data Security Compartments}, booktitle = {Trustworthy Global Computing - 8th International Symposium, {TGC} 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8358}, pages = {180--198}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-05119-2\_11}, doi = {10.1007/978-3-319-05119-2\_11}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/tgc/LourencoC13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csl/DeYoungCPT12, author = {Henry DeYoung and Lu{\'{\i}}s Caires and Frank Pfenning and Bernardo Toninho}, editor = {Patrick C{\'{e}}gielski and Arnaud Durand}, title = {Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication}, booktitle = {Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL, {CSL} 2012, September 3-6, 2012, Fontainebleau, France}, series = {LIPIcs}, volume = {16}, pages = {228--242}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2012}, url = {https://doi.org/10.4230/LIPIcs.CSL.2012.228}, doi = {10.4230/LIPICS.CSL.2012.228}, timestamp = {Tue, 11 Feb 2020 15:52:14 +0100}, biburl = {https://dblp.org/rec/conf/csl/DeYoungCPT12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/PerezCPT12, author = {Jorge A. P{\'{e}}rez and Lu{\'{\i}}s Caires and Frank Pfenning and Bernardo Toninho}, editor = {Helmut Seidl}, title = {Linear Logical Relations for Session-Based Concurrency}, booktitle = {Programming Languages and Systems - 21st European Symposium on Programming, {ESOP} 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7211}, pages = {539--558}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-28869-2\_27}, doi = {10.1007/978-3-642-28869-2\_27}, timestamp = {Wed, 02 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/esop/PerezCPT12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/ToninhoCP12, author = {Bernardo Toninho and Lu{\'{\i}}s Caires and Frank Pfenning}, editor = {Lars Birkedal}, title = {Functions as Session-Typed Processes}, booktitle = {Foundations of Software Science and Computational Structures - 15th International Conference, {FOSSACS} 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7213}, pages = {346--360}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-28729-9\_23}, doi = {10.1007/978-3-642-28729-9\_23}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/ToninhoCP12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/CairesV12, author = {Lu{\'{\i}}s Caires and Hugo Torres Vieira}, editor = {Cormac Flanagan and Barbara K{\"{o}}nig}, title = {{SLMC:} {A} Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, {TACAS} 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7214}, pages = {485--491}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-28756-5\_35}, doi = {10.1007/978-3-642-28756-5\_35}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/tacas/CairesV12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/BaltazarCVV12, author = {Pedro Baltazar and Lu{\'{\i}}s Caires and Vasco T. Vasconcelos and Hugo Torres Vieira}, editor = {Catuscia Palamidessi and Mark Dermot Ryan}, title = {A Type System for Flexible Role Assignment in Multiparty Communicating Systems}, booktitle = {Trustworthy Global Computing - 7th International Symposium, {TGC} 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8191}, pages = {82--96}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-41157-1\_6}, doi = {10.1007/978-3-642-41157-1\_6}, timestamp = {Wed, 07 Dec 2022 23:14:04 +0100}, biburl = {https://dblp.org/rec/conf/tgc/BaltazarCVV12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tldi/CairesPT12, author = {Lu{\'{\i}}s Caires and Frank Pfenning and Bernardo Toninho}, editor = {Benjamin C. Pierce}, title = {Towards concurrent type theory}, booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} Workshop on Types in Languages Design and Implementation, {TLDI} 2012, Philadelphia, PA, USA, Saturday, January 28, 2012}, pages = {1--12}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2103786.2103788}, doi = {10.1145/2103786.2103788}, timestamp = {Thu, 11 May 2023 14:56:29 +0200}, biburl = {https://dblp.org/rec/conf/tldi/CairesPT12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cpp/PfenningCT11, author = {Frank Pfenning and Lu{\'{\i}}s Caires and Bernardo Toninho}, editor = {Jean{-}Pierre Jouannaud and Zhong Shao}, title = {Proof-Carrying Code in a Session-Typed Process Calculus}, booktitle = {Certified Programs and Proofs - First International Conference, {CPP} 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7086}, pages = {21--36}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25379-9\_4}, doi = {10.1007/978-3-642-25379-9\_4}, timestamp = {Thu, 14 Oct 2021 10:14:33 +0200}, biburl = {https://dblp.org/rec/conf/cpp/PfenningCT11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/CairesPSVF11, author = {Lu{\'{\i}}s Caires and Jorge A. P{\'{e}}rez and Jo{\~{a}}o Costa Seco and Hugo Torres Vieira and L{\'{u}}cio Ferr{\~{a}}o}, editor = {Gilles Barthe}, title = {Type-Based Access Control in Data-Centric Systems}, booktitle = {Programming Languages and Systems - 20th European Symposium on Programming, {ESOP} 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6602}, pages = {136--155}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-19718-5\_8}, doi = {10.1007/978-3-642-19718-5\_8}, timestamp = {Wed, 02 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/esop/CairesPSVF11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/ToninhoCP11, author = {Bernardo Toninho and Lu{\'{\i}}s Caires and Frank Pfenning}, editor = {Peter Schneider{-}Kamp and Michael Hanus}, title = {Dependent session types via intuitionistic linear type theory}, booktitle = {Proceedings of the 13th International {ACM} {SIGPLAN} Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark}, pages = {161--172}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/2003476.2003499}, doi = {10.1145/2003476.2003499}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ppdp/ToninhoCP11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/sensoria2011/CairesNPVZ11, author = {Lu{\'{\i}}s Caires and Rocco De Nicola and Rosario Pugliese and Vasco Thudichum Vasconcelos and Gianluigi Zavattaro}, editor = {Martin Wirsing and Matthias M. H{\"{o}}lzl}, title = {Core Calculi for Service-Oriented Computing}, booktitle = {Rigorous Software Engineering for Service-Oriented Systems - Results of the {SENSORIA} Project on Software Engineering for Service-Oriented Computing}, series = {Lecture Notes in Computer Science}, volume = {6582}, pages = {153--188}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-20401-2\_8}, doi = {10.1007/978-3-642-20401-2\_8}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/sensoria2011/CairesNPVZ11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/sensoria2011/BartolettiCLMSVZ11, author = {Massimo Bartoletti and Lu{\'{\i}}s Caires and Ivan Lanese and Franco Mazzanti and Davide Sangiorgi and Hugo Torres Vieira and Roberto Zunino}, editor = {Martin Wirsing and Matthias M. H{\"{o}}lzl}, title = {Tools and Verification}, booktitle = {Rigorous Software Engineering for Service-Oriented Systems - Results of the {SENSORIA} Project on Software Engineering for Service-Oriented Computing}, series = {Lecture Notes in Computer Science}, volume = {6582}, pages = {408--427}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-20401-2\_19}, doi = {10.1007/978-3-642-20401-2\_19}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/sensoria2011/BartolettiCLMSVZ11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/CairesV10, author = {Lu{\'{\i}}s Caires and Vasco Thudichum Vasconcelos}, title = {18th International Conference on Concurrency Theory}, journal = {Inf. Comput.}, volume = {208}, number = {6}, pages = {605}, year = {2010}, url = {https://doi.org/10.1016/j.ic.2009.01.008}, doi = {10.1016/J.IC.2009.01.008}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/CairesV10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/CairesV10, author = {Lu{\'{\i}}s Caires and Hugo Torres Vieira}, title = {Conversation types}, journal = {Theor. Comput. Sci.}, volume = {411}, number = {51-52}, pages = {4399--4440}, year = {2010}, url = {https://doi.org/10.1016/j.tcs.2010.09.010}, doi = {10.1016/J.TCS.2010.09.010}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/CairesV10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/CairesP10, author = {Lu{\'{\i}}s Caires and Frank Pfenning}, editor = {Paul Gastin and Fran{\c{c}}ois Laroussinie}, title = {Session Types as Intuitionistic Linear Propositions}, booktitle = {{CONCUR} 2010 - Concurrency Theory, 21th International Conference, {CONCUR} 2010, Paris, France, August 31-September 3, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6269}, pages = {222--236}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15375-4\_16}, doi = {10.1007/978-3-642-15375-4\_16}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/concur/CairesP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoop/MilitaoAC10, author = {Filipe Milit{\~{a}}o and Jonathan Aldrich and Lu{\'{\i}}s Caires}, title = {Aliasing control with view-based typestate}, booktitle = {Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, {FTFJP} 2010, Maribor, Slovenia, June 22, 2010}, pages = {7:1--7:7}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1924520.1924527}, doi = {10.1145/1924520.1924527}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ecoop/MilitaoAC10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/facs2/CairesV10, author = {Lu{\'{\i}}s Caires and Hugo Torres Vieira}, editor = {Lu{\'{\i}}s Soares Barbosa and Markus Lumpe}, title = {Analysis of Service Oriented Software Systems with the Conversation Calculus}, booktitle = {Formal Aspects of Component Software - 7th International Workshop, {FACS} 2010, Guimar{\~{a}}es, Portugal, October 14-16, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6921}, pages = {6--33}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-27269-1\_2}, doi = {10.1007/978-3-642-27269-1\_2}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/facs2/CairesV10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip1-7/PiresC10, author = {M{\'{a}}rio Pires and Lu{\'{\i}}s Caires}, editor = {Alessandro Armando and Gavin Lowe}, title = {A Type System for Access Control Views in Object-Oriented Languages}, booktitle = {Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Joint Workshop, {ARSPA-WITS} 2010, Paphos, Cyprus, March 27-28, 2010. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6186}, pages = {59--76}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16074-5\_5}, doi = {10.1007/978-3-642-16074-5\_5}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/ifip1-7/PiresC10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/CairesFR10, author = {Lu{\'{\i}}s Caires and Carla Ferreira and Ant{\'{o}}nio Ravara}, editor = {Alex Simpson}, title = {A simple proof system for lock-free concurrency}, booktitle = {International Workshop on Proof Systems for Program Logics, {PSPL} 2010, Edinburgh, Scotland, UK, July 10, 2010}, series = {EPiC Series in Computing}, volume = {12}, pages = {1--3}, publisher = {EasyChair}, year = {2010}, url = {https://doi.org/10.29007/n3nk}, doi = {10.29007/N3NK}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lics/CairesFR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1102-5584, author = {Bernardo Toninho and Lu{\'{\i}}s Caires}, editor = {Konstantinos Chatzikokolakis and V{\'{e}}ronique Cortier}, title = {A Spatial-Epistemic Logic for Reasoning about Security Protocols}, booktitle = {Proceedings 8th International Workshop on Security Issues in Concurrency, SecCo 2010, Paris, France, 30th August 2010}, series = {{EPTCS}}, volume = {51}, pages = {1--15}, year = {2010}, url = {https://doi.org/10.4204/EPTCS.51.1}, doi = {10.4204/EPTCS.51.1}, timestamp = {Wed, 12 Sep 2018 01:05:13 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1102-5584.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/CairesV09, author = {Lu{\'{\i}}s Caires and Hugo Torres Vieira}, editor = {Giuseppe Castagna}, title = {Conversation Types}, booktitle = {Programming Languages and Systems, 18th European Symposium on Programming, {ESOP} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5502}, pages = {285--300}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00590-9\_21}, doi = {10.1007/978-3-642-00590-9\_21}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/esop/CairesV09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Caires08, author = {Lu{\'{\i}}s Caires}, title = {Dynamic Spatial Logics: {A} Tutorial Survey}, journal = {Bull. {EATCS}}, volume = {94}, pages = {77--112}, year = {2008}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Caires08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Caires08, author = {Lu{\'{\i}}s Caires}, title = {Spatial-behavioral types for concurrency and resource control in distributed systems}, journal = {Theor. Comput. Sci.}, volume = {402}, number = {2-3}, pages = {120--141}, year = {2008}, url = {https://doi.org/10.1016/j.tcs.2008.04.030}, doi = {10.1016/J.TCS.2008.04.030}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Caires08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/VieiraCS08, author = {Hugo Torres Vieira and Lu{\'{\i}}s Caires and Jo{\~{a}}o Costa Seco}, editor = {Sophia Drossopoulou}, title = {The Conversation Calculus: {A} Model of Service-Oriented Computation}, booktitle = {Programming Languages and Systems, 17th European Symposium on Programming, {ESOP} 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4960}, pages = {269--283}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-78739-6\_21}, doi = {10.1007/978-3-540-78739-6\_21}, timestamp = {Sun, 02 Jun 2019 21:23:56 +0200}, biburl = {https://dblp.org/rec/conf/esop/VieiraCS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/CairesFV08, author = {Lu{\'{\i}}s Caires and Carla Ferreira and Hugo Torres Vieira}, editor = {Christos Kaklamanis and Flemming Nielson}, title = {A Process Calculus Analysis of Compensations}, booktitle = {Trustworthy Global Computing, 4th International Symposium, {TGC} 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5474}, pages = {87--103}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-00945-7\_6}, doi = {10.1007/978-3-642-00945-7\_6}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/tgc/CairesFV08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/calco/Caires07, author = {Lu{\'{\i}}s Caires}, editor = {Till Mossakowski and Ugo Montanari and Magne Haveraaen}, title = {Logical Semantics of Types for Concurrency}, booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference, {CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4624}, pages = {16--35}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73859-6\_2}, doi = {10.1007/978-3-540-73859-6\_2}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/calco/Caires07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/concur/2007, editor = {Lu{\'{\i}}s Caires and Vasco Thudichum Vasconcelos}, title = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference, {CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4703}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-74407-8}, doi = {10.1007/978-3-540-74407-8}, isbn = {978-3-540-74406-1}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/2007.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/CairesL06, author = {Lu{\'{\i}}s Caires and {\'{E}}tienne Lozes}, title = {Elimination of quantifiers and undecidability in spatial logics for concurrency}, journal = {Theor. Comput. Sci.}, volume = {358}, number = {2-3}, pages = {293--314}, year = {2006}, url = {https://doi.org/10.1016/j.tcs.2006.01.020}, doi = {10.1016/J.TCS.2006.01.020}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/CairesL06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/SecoC06, author = {Jo{\~{a}}o Costa Seco and Lu{\'{\i}}s Caires}, editor = {Peter Sestoft}, title = {Types for Dynamic Reconfiguration}, booktitle = {Programming Languages and Systems, 15th European Symposium on Programming, {ESOP} 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2006, Vienna, Austria, March 27-28, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3924}, pages = {214--229}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11693024\_15}, doi = {10.1007/11693024\_15}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/esop/SecoC06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/Caires06, author = {Lu{\'{\i}}s Caires}, editor = {Ugo Montanari and Donald Sannella and Roberto Bruni}, title = {Spatial-Behavioral Types, Distributed Services, and Resources}, booktitle = {Trustworthy Global Computing, Second Symposium, {TGC} 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {4661}, pages = {98--115}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-3-540-75336-0\_7}, doi = {10.1007/978-3-540-75336-0\_7}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/tgc/Caires06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wsfm/BorealeBCNLLMMRSVZ06, author = {Michele Boreale and Roberto Bruni and Lu{\'{\i}}s Caires and Rocco De Nicola and Ivan Lanese and Michele Loreti and Francisco Martins and Ugo Montanari and Ant{\'{o}}nio Ravara and Davide Sangiorgi and Vasco Thudichum Vasconcelos and Gianluigi Zavattaro}, editor = {Mario Bravetti and Manuel N{\'{u}}{\~{n}}ez and Gianluigi Zavattaro}, title = {{SCC:} {A} Service Centered Calculus}, booktitle = {Web Services and Formal Methods, Third International Workshop, {WS-FM} 2006 Vienna, Austria, September 8-9, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4184}, pages = {38--57}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11841197\_3}, doi = {10.1007/11841197\_3}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wsfm/BorealeBCNLLMMRSVZ06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/CairesV07, author = {Lu{\'{\i}}s Caires and Hugo Torres Vieira}, editor = {Roberto M. Amadio and Iain Phillips}, title = {Extensionality of Spatial Observations in Distributed Systems}, booktitle = {Proceedings of the 13th International Workshop on Expressiveness in Concurrency, {EXPRESS} 2006, Bonn, Germany, August 26, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {175}, number = {3}, pages = {131--149}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2006.10.056}, doi = {10.1016/J.ENTCS.2006.10.056}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/CairesV07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/SecoC05, author = {Jo{\~{a}}o Costa Seco and Lu{\'{\i}}s Caires}, editor = {Shmuel Sagiv}, title = {Subtyping First-Class Polymorphic Components}, booktitle = {Programming Languages and Systems, 14th European Symposium on Programming, {ESOP} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3444}, pages = {342--356}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31987-0\_24}, doi = {10.1007/978-3-540-31987-0\_24}, timestamp = {Fri, 27 Jan 2023 15:04:25 +0100}, biburl = {https://dblp.org/rec/conf/esop/SecoC05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icalp/2005, editor = {Lu{\'{\i}}s Caires and Giuseppe F. Italiano and Lu{\'{\i}}s Monteiro and Catuscia Palamidessi and Moti Yung}, title = {Automata, Languages and Programming, 32nd International Colloquium, {ICALP} 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3580}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11523468}, doi = {10.1007/11523468}, isbn = {3-540-27580-0}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/2005.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/CairesC04, author = {Lu{\'{\i}}s Caires and Luca Cardelli}, title = {A spatial logic for concurrency - {II}}, journal = {Theor. Comput. Sci.}, volume = {322}, number = {3}, pages = {517--565}, year = {2004}, url = {https://doi.org/10.1016/j.tcs.2003.10.041}, doi = {10.1016/J.TCS.2003.10.041}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/CairesC04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/CairesL04, author = {Lu{\'{\i}}s Caires and {\'{E}}tienne Lozes}, editor = {Philippa Gardner and Nobuko Yoshida}, title = {Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency}, booktitle = {{CONCUR} 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3170}, pages = {240--257}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-28644-8\_16}, doi = {10.1007/978-3-540-28644-8\_16}, timestamp = {Fri, 27 Mar 2020 08:51:56 +0100}, biburl = {https://dblp.org/rec/conf/concur/CairesL04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/Caires04, author = {Lu{\'{\i}}s Caires}, editor = {Igor Walukiewicz}, title = {Behavioral and Spatial Observations in a Logic for the pi-Calculus}, booktitle = {Foundations of Software Science and Computation Structures, 7th International Conference, {FOSSACS} 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2987}, pages = {72--89}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-24727-2\_7}, doi = {10.1007/978-3-540-24727-2\_7}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/Caires04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/CairesC03, author = {Lu{\'{\i}}s Caires and Luca Cardelli}, title = {A spatial logic for concurrency (part {I)}}, journal = {Inf. Comput.}, volume = {186}, number = {2}, pages = {194--235}, year = {2003}, url = {https://doi.org/10.1016/S0890-5401(03)00137-8}, doi = {10.1016/S0890-5401(03)00137-8}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/CairesC03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/CairesC02, author = {Lu{\'{\i}}s Caires and Luca Cardelli}, editor = {Lubos Brim and Petr Jancar and Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and Anton{\'{\i}}n Kucera}, title = {A Spatial Logic for Concurrency (Part {II)}}, booktitle = {{CONCUR} 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2421}, pages = {209--225}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45694-5\_15}, doi = {10.1007/3-540-45694-5\_15}, timestamp = {Fri, 30 Aug 2019 10:02:28 +0200}, biburl = {https://dblp.org/rec/conf/concur/CairesC02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacs/CairesC01, author = {Lu{\'{\i}}s Caires and Luca Cardelli}, editor = {Naoki Kobayashi and Benjamin C. Pierce}, title = {A Spatial Logic for Concurrency}, booktitle = {Theoretical Aspects of Computer Software, 4th International Symposium, {TACS} 2001, Sendai, Japan, October 29-31, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2215}, pages = {1--37}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45500-0\_1}, doi = {10.1007/3-540-45500-0\_1}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/tacs/CairesC01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoop/SecoC00, author = {Jo{\~{a}}o Costa Seco and Lu{\'{\i}}s Caires}, editor = {Elisa Bertino}, title = {A Basic Model of Typed Components}, booktitle = {{ECOOP} 2000 - Object-Oriented Programming, 14th European Conference, Sophia Antipolis and Cannes, France, June 12-16, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1850}, pages = {108--128}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-45102-1\_6}, doi = {10.1007/3-540-45102-1\_6}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/ecoop/SecoC00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/CairesM98, author = {Lu{\'{\i}}s Caires and Lu{\'{\i}}s Monteiro}, editor = {Chris Hankin}, title = {Verifiable and Executable Logic Specifications of Concurrent Objects in L\({}_{\mbox{pi}}\)}, booktitle = {Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1381}, pages = {42--56}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0053562}, doi = {10.1007/BFB0053562}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/esop/CairesM98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alp/CairesM97, author = {Lu{\'{\i}}s Caires and Lu{\'{\i}}s Monteiro}, editor = {Michael Hanus and Jan Heering and Karl Meinke}, title = {Proof Net Semantics of Proof Search Computation}, booktitle = {Algebraic and Logic Programming, 6th International Joint Conference, {ALP} '97 - {HOA} '97, Southampton, UK, Spetember 3-5, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1298}, pages = {194--208}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0027011}, doi = {10.1007/BFB0027011}, timestamp = {Thu, 14 Oct 2021 10:38:45 +0200}, biburl = {https://dblp.org/rec/conf/alp/CairesM97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alp/Caires96, author = {Lu{\'{\i}}s Caires}, editor = {Michael Hanus and Mario Rodr{\'{\i}}guez{-}Artalejo}, title = {A Language for the Logical Specification of Processes and Relations}, booktitle = {Algebraic and Logic Programming, 5th International Conference, ALP'96, Aachen, Germany, September 25-27, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1139}, pages = {150--164}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61735-3\_10}, doi = {10.1007/3-540-61735-3\_10}, timestamp = {Thu, 14 Oct 2021 10:38:45 +0200}, biburl = {https://dblp.org/rec/conf/alp/Caires96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/CairesM94, author = {Lu{\'{\i}}s Caires and Lu{\'{\i}}s Monteiro}, editor = {Pascal Van Hentenryck}, title = {Higher-Order Polymorphic Unification for Logic Programming}, booktitle = {Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994}, pages = {419--433}, publisher = {{MIT} Press}, year = {1994}, timestamp = {Fri, 29 Nov 2013 14:57:24 +0100}, biburl = {https://dblp.org/rec/conf/iclp/CairesM94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/elp/PereiraCA92, author = {Lu{\'{\i}}s Moniz Pereira and Lu{\'{\i}}s Caires and Jos{\'{e}} J{\'{u}}lio Alferes}, editor = {Evelina Lamma and Paola Mello}, title = {{SLWV} - {A} Theorem Prover for Logic Programming}, booktitle = {Extensions of Logic Programming, Third International Workshop, ELP'92, Bologna, Italy, February 26-28, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {660}, pages = {1--23}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-56454-3\_1}, doi = {10.1007/3-540-56454-3\_1}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/elp/PereiraCA92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/AlegriaDC89, author = {Jos{\'{e}} A. S. Alegria and Artur M. Dias and Lu{\'{\i}}s Caires}, editor = {Giorgio Levi and Maurizio Martelli}, title = {Towards Distributed Tools for Heterogeneous Logic Programming Environments}, booktitle = {Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989}, pages = {505--520}, publisher = {{MIT} Press}, year = {1989}, timestamp = {Fri, 29 Nov 2013 14:57:24 +0100}, biburl = {https://dblp.org/rec/conf/iclp/AlegriaDC89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.