BibTeX records: Tobias Kappé

download as .bib file

@inproceedings{DBLP:conf/fossacs/HeerdtKR021,
  author    = {Gerco van Heerdt and
               Tobias Kapp{\'{e}} and
               Jurriaan Rot and
               Alexandra Silva},
  editor    = {Stefan Kiefer and
               Christine Tasson},
  title     = {Learning Pomset Automata},
  booktitle = {Foundations of Software Science and Computation Structures - 24th
               International Conference, {FOSSACS} 2021, Held as Part of the European
               Joint Conferences on Theory and Practice of Software, {ETAPS} 2021,
               Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {12650},
  pages     = {510--530},
  publisher = {Springer},
  year      = {2021},
  url       = {https://doi.org/10.1007/978-3-030-71995-1\_26},
  doi       = {10.1007/978-3-030-71995-1\_26},
  timestamp = {Fri, 14 May 2021 08:34:11 +0200},
  biburl    = {https://dblp.org/rec/conf/fossacs/HeerdtKR021.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/SchmidKK021,
  author    = {Todd Schmid and
               Tobias Kapp{\'{e}} and
               Dexter Kozen and
               Alexandra Silva},
  editor    = {Nikhil Bansal and
               Emanuela Merelli and
               James Worrell},
  title     = {Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness},
  booktitle = {48th International Colloquium on Automata, Languages, and Programming,
               {ICALP} 2021, July 12-16, 2021, Glasgow, Scotland (Virtual Conference)},
  series    = {LIPIcs},
  volume    = {198},
  pages     = {142:1--142:14},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2021},
  url       = {https://doi.org/10.4230/LIPIcs.ICALP.2021.142},
  doi       = {10.4230/LIPIcs.ICALP.2021.142},
  timestamp = {Tue, 06 Jul 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/icalp/SchmidKK021.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-07504,
  author    = {Gerco van Heerdt and
               Tobias Kapp{\'{e}} and
               Jurriaan Rot and
               Alexandra Silva},
  title     = {Learning Pomset Automata},
  journal   = {CoRR},
  volume    = {abs/2102.07504},
  year      = {2021},
  url       = {https://arxiv.org/abs/2102.07504},
  archivePrefix = {arXiv},
  eprint    = {2102.07504},
  timestamp = {Thu, 18 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-2102-07504.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-08286,
  author    = {Todd Schmid and
               Tobias Kapp{\'{e}} and
               Dexter Kozen and
               Alexandra Silva},
  title     = {Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness},
  journal   = {CoRR},
  volume    = {abs/2102.08286},
  year      = {2021},
  url       = {https://arxiv.org/abs/2102.08286},
  archivePrefix = {arXiv},
  eprint    = {2102.08286},
  timestamp = {Fri, 19 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-2102-08286.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/SmolkaFHKKS20,
  author    = {Steffen Smolka and
               Nate Foster and
               Justin Hsu and
               Tobias Kapp{\'{e}} and
               Dexter Kozen and
               Alexandra Silva},
  title     = {Guarded Kleene algebra with tests: verification of uninterpreted programs
               in nearly linear time},
  journal   = {Proc. {ACM} Program. Lang.},
  volume    = {4},
  number    = {{POPL}},
  pages     = {61:1--61:28},
  year      = {2020},
  url       = {https://doi.org/10.1145/3371129},
  doi       = {10.1145/3371129},
  timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/pacmpl/SmolkaFHKKS20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/WagemakerBDKR020,
  author    = {Jana Wagemaker and
               Paul Brunet and
               Simon Docherty and
               Tobias Kapp{\'{e}} and
               Jurriaan Rot and
               Alexandra Silva},
  editor    = {Igor Konnov and
               Laura Kov{\'{a}}cs},
  title     = {Partially Observable Concurrent Kleene Algebra},
  booktitle = {31st International Conference on Concurrency Theory, {CONCUR} 2020,
               September 1-4, 2020, Vienna, Austria (Virtual Conference)},
  series    = {LIPIcs},
  volume    = {171},
  pages     = {20:1--20:22},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2020},
  url       = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.20},
  doi       = {10.4230/LIPIcs.CONCUR.2020.20},
  timestamp = {Mon, 21 Dec 2020 13:23:22 +0100},
  biburl    = {https://dblp.org/rec/conf/concur/WagemakerBDKR020.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/KappeB0WZ20,
  author    = {Tobias Kapp{\'{e}} and
               Paul Brunet and
               Alexandra Silva and
               Jana Wagemaker and
               Fabio Zanasi},
  editor    = {Jean Goubault{-}Larrecq and
               Barbara K{\"{o}}nig},
  title     = {Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness},
  booktitle = {Foundations of Software Science and Computation Structures - 23rd
               International Conference, {FOSSACS} 2020, Held as Part of the European
               Joint Conferences on Theory and Practice of Software, {ETAPS} 2020,
               Dublin, Ireland, April 25-30, 2020, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {12077},
  pages     = {381--400},
  publisher = {Springer},
  year      = {2020},
  url       = {https://doi.org/10.1007/978-3-030-45231-5\_20},
  doi       = {10.1007/978-3-030-45231-5\_20},
  timestamp = {Fri, 14 May 2021 08:34:11 +0200},
  biburl    = {https://dblp.org/rec/conf/fossacs/KappeB0WZ20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-05786,
  author    = {Gerco van Heerdt and
               Tobias Kapp{\'{e}} and
               Jurriaan Rot and
               Matteo Sammartino and
               Alexandra Silva},
  title     = {A Categorical Framework for Learning Generalised Tree Automata},
  journal   = {CoRR},
  volume    = {abs/2001.05786},
  year      = {2020},
  url       = {https://arxiv.org/abs/2001.05786},
  archivePrefix = {arXiv},
  eprint    = {2001.05786},
  timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-2001-05786.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-09682,
  author    = {Tobias Kapp{\'{e}} and
               Paul Brunet and
               Alexandra Silva and
               Jana Wagemaker and
               Fabio Zanasi},
  title     = {Concurrent Kleene Algebra with Observations: from Hypotheses to Completeness},
  journal   = {CoRR},
  volume    = {abs/2002.09682},
  year      = {2020},
  url       = {https://arxiv.org/abs/2002.09682},
  archivePrefix = {arXiv},
  eprint    = {2002.09682},
  timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-2002-09682.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-07593,
  author    = {Jana Wagemaker and
               Paul Brunet and
               Simon Docherty and
               Tobias Kapp{\'{e}} and
               Jurriaan Rot and
               Alexandra Silva},
  title     = {Partially Observable Concurrent Kleene Algebra},
  journal   = {CoRR},
  volume    = {abs/2007.07593},
  year      = {2020},
  url       = {https://arxiv.org/abs/2007.07593},
  archivePrefix = {arXiv},
  eprint    = {2007.07593},
  timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-2007-07593.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/KappeBLSZ19,
  author    = {Tobias Kapp{\'{e}} and
               Paul Brunet and
               Bas Luttik and
               Alexandra Silva and
               Fabio Zanasi},
  title     = {On series-parallel pomset languages: Rationality, context-freeness
               and automata},
  journal   = {J. Log. Algebraic Methods Program.},
  volume    = {103},
  pages     = {130--153},
  year      = {2019},
  url       = {https://doi.org/10.1016/j.jlamp.2018.12.001},
  doi       = {10.1016/j.jlamp.2018.12.001},
  timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jlp/KappeBLSZ19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KappeLAT19,
  author    = {Tobias Kapp{\'{e}} and
               Benjamin Lion and
               Farhad Arbab and
               Carolyn L. Talcott},
  title     = {Soft component automata: Composition, compilation, logic, and verification},
  journal   = {Sci. Comput. Program.},
  volume    = {183},
  year      = {2019},
  url       = {https://doi.org/10.1016/j.scico.2019.08.001},
  doi       = {10.1016/j.scico.2019.08.001},
  timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/scp/KappeLAT19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/HeerdtKRS019,
  author    = {Gerco van Heerdt and
               Tobias Kapp{\'{e}} and
               Jurriaan Rot and
               Matteo Sammartino and
               Alexandra Silva},
  editor    = {Markus Roggenbach and
               Ana Sokolova},
  title     = {Tree Automata as Algebras: Minimisation and Determinisation},
  booktitle = {8th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
               2019, June 3-6, 2019, London, United Kingdom},
  series    = {LIPIcs},
  volume    = {139},
  pages     = {6:1--6:22},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2019},
  url       = {https://doi.org/10.4230/LIPIcs.CALCO.2019.6},
  doi       = {10.4230/LIPIcs.CALCO.2019.6},
  timestamp = {Thu, 19 Dec 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/calco/HeerdtKRS019.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/KappeBRSWZ19,
  author    = {Tobias Kapp{\'{e}} and
               Paul Brunet and
               Jurriaan Rot and
               Alexandra Silva and
               Jana Wagemaker and
               Fabio Zanasi},
  editor    = {Wan J. Fokkink and
               Rob van Glabbeek},
  title     = {Kleene Algebra with Observations},
  booktitle = {30th International Conference on Concurrency Theory, {CONCUR} 2019,
               August 27-30, 2019, Amsterdam, the Netherlands},
  series    = {LIPIcs},
  volume    = {140},
  pages     = {41:1--41:16},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2019},
  url       = {https://doi.org/10.4230/LIPIcs.CONCUR.2019.41},
  doi       = {10.4230/LIPIcs.CONCUR.2019.41},
  timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/concur/KappeBRSWZ19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/WagemakerBKR019,
  author    = {Jana Wagemaker and
               Marcello M. Bonsangue and
               Tobias Kapp{\'{e}} and
               Jurriaan Rot and
               Alexandra Silva},
  editor    = {Graham Hutton},
  title     = {Completeness and Incompleteness of Synchronous Kleene Algebra},
  booktitle = {Mathematics of Program Construction - 13th International Conference,
               {MPC} 2019, Porto, Portugal, October 7-9, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11825},
  pages     = {385--413},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-33636-3\_14},
  doi       = {10.1007/978-3-030-33636-3\_14},
  timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/mpc/WagemakerBKR019.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-08802,
  author    = {Gerco van Heerdt and
               Tobias Kapp{\'{e}} and
               Jurriaan Rot and
               Matteo Sammartino and
               Alexandra Silva},
  title     = {Tree Automata as Algebras: Minimisation and Determinisation},
  journal   = {CoRR},
  volume    = {abs/1904.08802},
  year      = {2019},
  url       = {http://arxiv.org/abs/1904.08802},
  archivePrefix = {arXiv},
  eprint    = {1904.08802},
  timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1904-08802.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-08554,
  author    = {Jana Wagemaker and
               Marcello M. Bonsangue and
               Tobias Kapp{\'{e}} and
               Jurriaan Rot and
               Alexandra Silva},
  title     = {Completeness and Incompleteness of Synchronous Kleene Algebra},
  journal   = {CoRR},
  volume    = {abs/1905.08554},
  year      = {2019},
  url       = {http://arxiv.org/abs/1905.08554},
  archivePrefix = {arXiv},
  eprint    = {1905.08554},
  timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1905-08554.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-05920,
  author    = {Steffen Smolka and
               Nate Foster and
               Justin Hsu and
               Tobias Kapp{\'{e}} and
               Dexter Kozen and
               Alexandra Silva},
  title     = {Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs
               in Nearly Linear Time},
  journal   = {CoRR},
  volume    = {abs/1907.05920},
  year      = {2019},
  url       = {http://arxiv.org/abs/1907.05920},
  archivePrefix = {arXiv},
  eprint    = {1907.05920},
  timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1907-05920.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HeerdtJK018,
  author    = {Gerco van Heerdt and
               Bart Jacobs and
               Tobias Kapp{\'{e}} and
               Alexandra Silva},
  editor    = {Frank S. de Boer and
               Marcello M. Bonsangue and
               Jan Rutten},
  title     = {Learning to Coordinate},
  booktitle = {It's All About Coordination - Essays to Celebrate the Lifelong Scientific
               Achievements of Farhad Arbab},
  series    = {Lecture Notes in Computer Science},
  volume    = {10865},
  pages     = {139--159},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-90089-6\_10},
  doi       = {10.1007/978-3-319-90089-6\_10},
  timestamp = {Sat, 19 Oct 2019 20:29:09 +0200},
  biburl    = {https://dblp.org/rec/conf/birthday/HeerdtJK018.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/KappeB0Z18,
  author    = {Tobias Kapp{\'{e}} and
               Paul Brunet and
               Alexandra Silva and
               Fabio Zanasi},
  editor    = {Amal Ahmed},
  title     = {Concurrent Kleene Algebra: Free Model and Completeness},
  booktitle = {Programming Languages and Systems - 27th European Symposium on Programming,
               {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
               14-20, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10801},
  pages     = {856--882},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-89884-1\_30},
  doi       = {10.1007/978-3-319-89884-1\_30},
  timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/esop/KappeB0Z18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icgi/KanazawaK18,
  author    = {Makoto Kanazawa and
               Tobias Kapp{\'{e}}},
  editor    = {Olgierd Unold and
               Witold Dyrka and
               Wojciech Wieczorek},
  title     = {Decision problems for Clark-congruential languages},
  booktitle = {Proceedings of the 14th International Conference on Grammatical Inference,
               {ICGI} 2018, Wroc{\l}aw, Poland, September 5-7, 2018},
  series    = {Proceedings of Machine Learning Research},
  volume    = {93},
  pages     = {3--16},
  publisher = {{PMLR}},
  year      = {2018},
  url       = {http://proceedings.mlr.press/v93/kanazawa19a.html},
  timestamp = {Wed, 03 Apr 2019 18:17:25 +0200},
  biburl    = {https://dblp.org/rec/conf/icgi/KanazawaK18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-04402,
  author    = {Makoto Kanazawa and
               Tobias Kapp{\'{e}}},
  title     = {Decision problems for Clark-congruential languages},
  journal   = {CoRR},
  volume    = {abs/1805.04402},
  year      = {2018},
  url       = {http://arxiv.org/abs/1805.04402},
  archivePrefix = {arXiv},
  eprint    = {1805.04402},
  timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1805-04402.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-02102,
  author    = {Tobias Kapp{\'{e}} and
               Paul Brunet and
               Bas Luttik and
               Alexandra Silva and
               Fabio Zanasi},
  title     = {Equivalence checking for weak bi-Kleene algebra},
  journal   = {CoRR},
  volume    = {abs/1807.02102},
  year      = {2018},
  url       = {http://arxiv.org/abs/1807.02102},
  archivePrefix = {arXiv},
  eprint    = {1807.02102},
  timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1807-02102.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-10401,
  author    = {Tobias Kapp{\'{e}} and
               Paul Brunet and
               Jurriaan Rot and
               Alexandra Silva and
               Jana Wagemaker and
               Fabio Zanasi},
  title     = {Kleene Algebra with Observations},
  journal   = {CoRR},
  volume    = {abs/1811.10401},
  year      = {2018},
  url       = {http://arxiv.org/abs/1811.10401},
  archivePrefix = {arXiv},
  eprint    = {1811.10401},
  timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1811-10401.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-03058,
  author    = {Tobias Kapp{\'{e}} and
               Paul Brunet and
               Bas Luttik and
               Alexandra Silva and
               Fabio Zanasi},
  title     = {On Series-Parallel Pomset Languages: Rationality, Context-Freeness
               and Automata},
  journal   = {CoRR},
  volume    = {abs/1812.03058},
  year      = {2018},
  url       = {http://arxiv.org/abs/1812.03058},
  archivePrefix = {arXiv},
  eprint    = {1812.03058},
  timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1812-03058.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/JongmansKA17,
  author    = {Sung{-}Shik T. Q. Jongmans and
               Tobias Kapp{\'{e}} and
               Farhad Arbab},
  title     = {Constraint automata with memory cells and their composition},
  journal   = {Sci. Comput. Program.},
  volume    = {146},
  pages     = {50--86},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.scico.2017.03.006},
  doi       = {10.1016/j.scico.2017.03.006},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/scp/JongmansKA17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/KappeBL0Z17,
  author    = {Tobias Kapp{\'{e}} and
               Paul Brunet and
               Bas Luttik and
               Alexandra Silva and
               Fabio Zanasi},
  editor    = {Roland Meyer and
               Uwe Nestmann},
  title     = {Brzozowski Goes Concurrent - {A} Kleene Theorem for Pomset Languages},
  booktitle = {28th International Conference on Concurrency Theory, {CONCUR} 2017,
               September 5-8, 2017, Berlin, Germany},
  series    = {LIPIcs},
  volume    = {85},
  pages     = {25:1--25:16},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2017},
  url       = {https://doi.org/10.4230/LIPIcs.CONCUR.2017.25},
  doi       = {10.4230/LIPIcs.CONCUR.2017.25},
  timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/concur/KappeBL0Z17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/KappeAT17,
  author    = {Tobias Kapp{\'{e}} and
               Farhad Arbab and
               Carolyn L. Talcott},
  editor    = {Jos{\'{e}} Proen{\c{c}}a and
               Markus Lumpe},
  title     = {A Component-Oriented Framework for Autonomous Agents},
  booktitle = {Formal Aspects of Component Software - 14th International Conference,
               {FACS} 2017, Braga, Portugal, October 10-13, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10487},
  pages     = {20--38},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-68034-7\_2},
  doi       = {10.1007/978-3-319-68034-7\_2},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/facs2/KappeAT17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KappeBL0Z17,
  author    = {Tobias Kapp{\'{e}} and
               Paul Brunet and
               Bas Luttik and
               Alexandra Silva and
               Fabio Zanasi},
  title     = {Brzozowski Goes Concurrent - {A} Kleene Theorem for Pomset Languages},
  journal   = {CoRR},
  volume    = {abs/1704.07199},
  year      = {2017},
  url       = {http://arxiv.org/abs/1704.07199},
  archivePrefix = {arXiv},
  eprint    = {1704.07199},
  timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/KappeBL0Z17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1708-00072,
  author    = {Tobias Kapp{\'{e}} and
               Farhad Arbab and
               Carolyn L. Talcott},
  title     = {A Component-oriented Framework for Autonomous Agents},
  journal   = {CoRR},
  volume    = {abs/1708.00072},
  year      = {2017},
  url       = {http://arxiv.org/abs/1708.00072},
  archivePrefix = {arXiv},
  eprint    = {1708.00072},
  timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1708-00072.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-02787,
  author    = {Tobias Kapp{\'{e}} and
               Paul Brunet and
               Alexandra Silva and
               Fabio Zanasi},
  title     = {Concurrent Kleene Algebra: Free Model and Completeness},
  journal   = {CoRR},
  volume    = {abs/1710.02787},
  year      = {2017},
  url       = {http://arxiv.org/abs/1710.02787},
  archivePrefix = {arXiv},
  eprint    = {1710.02787},
  timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1710-02787.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/TalcottNAK16,
  author    = {Carolyn L. Talcott and
               Vivek Nigam and
               Farhad Arbab and
               Tobias Kapp{\'{e}}},
  editor    = {Marco Bernardo and
               Rocco De Nicola and
               Jane Hillston},
  title     = {Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical
               Systems},
  booktitle = {Formal Methods for the Quantitative Evaluation of Collective Adaptive
               Systems - 16th International School on Formal Methods for the Design
               of Computer, Communication, and Software Systems, {SFM} 2016, Bertinoro,
               Italy, June 20-24, 2016, Advanced Lectures},
  series    = {Lecture Notes in Computer Science},
  volume    = {9700},
  pages     = {1--35},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-34096-8\_1},
  doi       = {10.1007/978-3-319-34096-8\_1},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/sfm/TalcottNAK16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/KappeAT16,
  author    = {Tobias Kapp{\'{e}} and
               Farhad Arbab and
               Carolyn L. Talcott},
  editor    = {Mehdi Kargahi and
               Ashutosh Trivedi},
  title     = {A Compositional Framework for Preference-Aware Agents},
  booktitle = {Proceedings of the The First Workshop on Verification and Validation
               of Cyber-Physical Systems, V2CPS@IFM 2016, Reykjav{\'{\i}}k,
               Iceland, June 4-5, 2016},
  series    = {{EPTCS}},
  volume    = {232},
  pages     = {21--35},
  year      = {2016},
  url       = {https://doi.org/10.4204/EPTCS.232.6},
  doi       = {10.4204/EPTCS.232.6},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/KappeAT16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/JongmansKA15,
  author    = {Sung{-}Shik T. Q. Jongmans and
               Tobias Kapp{\'{e}} and
               Farhad Arbab},
  editor    = {Christiano Braga and
               Peter Csaba {\"{O}}lveczky},
  title     = {Composing Constraint Automata, State-by-State},
  booktitle = {Formal Aspects of Component Software - 12th International Conference,
               {FACS} 2015, Niter{\'{o}}i, Brazil, October 14-16, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9539},
  pages     = {217--236},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-28934-2\_12},
  doi       = {10.1007/978-3-319-28934-2\_12},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/facs2/JongmansKA15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics