Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX 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}
}
a service of 
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.
last updated on 2024-04-15 23:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
