Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Luca Aceto
@article{DBLP:journals/scp/AcetoAAEFI24,
author = {Luca Aceto and
Antonis Achilleos and
Duncan Paul Attard and
L{\'{e}}o Exibard and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {A monitoring tool for linear-time \emph{{\(\mu\)}}HML},
journal = {Sci. Comput. Program.},
volume = {232},
pages = {103031},
year = {2024},
url = {https://doi.org/10.1016/j.scico.2023.103031},
doi = {10.1016/J.SCICO.2023.103031},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AcetoAAEFI24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-00966,
author = {Luca Aceto and
Ignacio F{\'{a}}bregas and
David de Frutos{-}Escrig and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Miguel Palomino},
title = {On the specification of modal systems: {A} comparison of three frameworks},
journal = {CoRR},
volume = {abs/2402.00966},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.00966},
doi = {10.48550/ARXIV.2402.00966},
eprinttype = {arXiv},
eprint = {2402.00966},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-00966.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-00970,
author = {Luca Aceto and
Dario Della Monica and
Ignacio F{\'{a}}bregas and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {When Are Prime Formulae Characteristic?},
journal = {CoRR},
volume = {abs/2402.00970},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.00970},
doi = {10.48550/ARXIV.2402.00970},
eprinttype = {arXiv},
eprint = {2402.00970},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-00970.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-00973,
author = {Luca Aceto and
Ignacio F{\'{a}}bregas and
Carlos Gregorio{-}Rodr{\'{\i}}guez and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Logical characterisations, rule formats and compositionality for input-output
conformance simulation},
journal = {CoRR},
volume = {abs/2402.00973},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.00973},
doi = {10.48550/ARXIV.2402.00973},
eprinttype = {arXiv},
eprint = {2402.00973},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-00973.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-00982,
author = {Luca Aceto and
Ignacio F{\'{a}}bregas and
{\'{A}}lvaro Garc{\'{\i}}a{-}P{\'{e}}rez and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Yolanda Ortega{-}Mall{\'{e}}n},
title = {Rule Formats for Nominal Process Calculi},
journal = {CoRR},
volume = {abs/2402.00982},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.00982},
doi = {10.48550/ARXIV.2402.00982},
eprinttype = {arXiv},
eprint = {2402.00982},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-00982.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-02847,
author = {Luca Aceto and
Ignacio F{\'{a}}bregas and
{\'{A}}lvaro Garc{\'{\i}}a{-}P{\'{e}}rez and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {A unified rule format for bounded nondeterminism in {SOS} with terms
as labels},
journal = {CoRR},
volume = {abs/2402.02847},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.02847},
doi = {10.48550/ARXIV.2402.02847},
eprinttype = {arXiv},
eprint = {2402.02847},
timestamp = {Mon, 12 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-02847.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/AcetoCFI23,
author = {Luca Aceto and
Ian Cassar and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {On first-order runtime enforcement of branching-time properties},
journal = {Acta Informatica},
volume = {60},
number = {4},
pages = {385--451},
year = {2023},
url = {https://doi.org/10.1007/s00236-023-00441-9},
doi = {10.1007/S00236-023-00441-9},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/acta/AcetoCFI23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/AcetoCFI23,
author = {Luca Aceto and
Ian Cassar and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Bidirectional Runtime Enforcement of First-Order Branching-Time Properties},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {1},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(1:14)2023},
doi = {10.46298/LMCS-19(1:14)2023},
timestamp = {Wed, 29 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/AcetoCFI23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2309-07304,
author = {Luca Aceto and
Pierluigi Crescenzi and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Mohammad Reza Mousavi},
editor = {Claudio Antares Mezzina and
Georgiana Caltais},
title = {The Way We Were: Structural Operational Semantics Research in Perspective},
booktitle = {Proceedings Combined 30th International Workshop on Expressiveness
in Concurrency and 20th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2023, and 20th Workshop on Structural Operational SemanticsAntwerp,
Belgium, 18th September 2023},
series = {{EPTCS}},
volume = {387},
pages = {26--40},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.387.3},
doi = {10.4204/EPTCS.387.3},
timestamp = {Wed, 25 Oct 2023 16:09:20 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-07304.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-16881,
author = {Luca Aceto and
Antonis Achilleos and
Elli Anastasiadi and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Complexity results for modal logic with recursion via translations
and tableaux},
journal = {CoRR},
volume = {abs/2306.16881},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.16881},
doi = {10.48550/ARXIV.2306.16881},
eprinttype = {arXiv},
eprint = {2306.16881},
timestamp = {Mon, 03 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-16881.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/AcetoC22,
author = {Luca Aceto and
Pierluigi Crescenzi},
title = {{CONCUR} through time},
journal = {Bull. {EATCS}},
volume = {138},
year = {2022},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/737},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/AcetoC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/AcetoKRS22,
author = {Luca Aceto and
Orna Kupferman and
Mickael Randour and
Davide Sangiorgi},
title = {Interviews with the 2022 {CONCUR} Test-of-Time Award Recipients},
journal = {Bull. {EATCS}},
volume = {138},
year = {2022},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/735},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/AcetoKRS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/AcetoAAI22,
author = {Luca Aceto and
Antonis Achilleos and
Elli Anastasiadi and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Axiomatizing recursion-free, regular monitors},
journal = {J. Log. Algebraic Methods Program.},
volume = {127},
pages = {100778},
year = {2022},
url = {https://doi.org/10.1016/j.jlamp.2022.100778},
doi = {10.1016/J.JLAMP.2022.100778},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/AcetoAAI22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/AcetoCILP22,
author = {Luca Aceto and
Valentina Castiglioni and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Bas Luttik and
Mathias Ruggaard Pedersen},
title = {On the Axiomatisability of Parallel Composition},
journal = {Log. Methods Comput. Sci.},
volume = {18},
number = {1},
year = {2022},
url = {https://doi.org/10.46298/lmcs-18(1:15)2022},
doi = {10.46298/LMCS-18(1:15)2022},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/AcetoCILP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/AcetoCFIL22,
author = {Luca Aceto and
Valentina Castiglioni and
Wan J. Fokkink and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Bas Luttik},
title = {Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation
of Parallel Composition?},
journal = {{ACM} Trans. Comput. Log.},
volume = {23},
number = {4},
pages = {22:1--22:56},
year = {2022},
url = {https://doi.org/10.1145/3529535},
doi = {10.1145/3529535},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/AcetoCFIL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AcetoACI22,
author = {Luca Aceto and
Elli Anastasiadi and
Valentina Castiglioni and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Nils Jansen and
Mari{\"{e}}lle Stoelinga and
Petra van den Bos},
title = {Non-finite Axiomatisability Results via Reductions: {CSP} Parallel
Composition and {CCS} Restriction},
booktitle = {A Journey from Process Algebra via Timed Automata to Model Learning
- Essays Dedicated to Frits Vaandrager on the Occasion of His 60th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {13560},
pages = {1--26},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15629-8\_1},
doi = {10.1007/978-3-031-15629-8\_1},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AcetoACI22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AcetoAAFILP22,
author = {Luca Aceto and
Antonis Achilleos and
Elli Anastasiadi and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Karoliina Lehtinen and
Mathias Ruggaard Pedersen},
editor = {Jean{-}Fran{\c{c}}ois Raskin and
Krishnendu Chatterjee and
Laurent Doyen and
Rupak Majumdar},
title = {On Probabilistic Monitorability},
booktitle = {Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger
on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13660},
pages = {325--342},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-22337-2\_16},
doi = {10.1007/978-3-031-22337-2\_16},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/AcetoAAFILP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AcetoCIL22,
author = {Luca Aceto and
Valentina Castiglioni and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Bas Luttik},
editor = {Bartek Klin and
Slawomir Lasota and
Anca Muscholl},
title = {On the Axiomatisation of Branching Bisimulation Congruence over {CCS}},
booktitle = {33rd International Conference on Concurrency Theory, {CONCUR} 2022,
September 12-16, 2022, Warsaw, Poland},
series = {LIPIcs},
volume = {243},
pages = {6:1--6:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2022.6},
doi = {10.4230/LIPICS.CONCUR.2022.6},
timestamp = {Mon, 26 Sep 2022 16:25:34 +0200},
biburl = {https://dblp.org/rec/conf/concur/AcetoCIL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/AcetoAAEFI22,
author = {Luca Aceto and
Antonis Achilleos and
Duncan Paul Attard and
L{\'{e}}o Exibard and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Maurice H. ter Beek and
Marjan Sirjani},
title = {A Monitoring Tool for Linear-Time {\(\mu\)}HML},
booktitle = {Coordination Models and Languages - 24th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2022, Held as Part of the 17th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2022, Lucca, Italy, June 13-17, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13271},
pages = {200--219},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08143-9\_12},
doi = {10.1007/978-3-031-08143-9\_12},
timestamp = {Tue, 28 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/AcetoAAEFI22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/AcetoAAF22,
author = {Luca Aceto and
Antonis Achilleos and
Elli Anastasiadi and
Adrian Francalanza},
editor = {Mohammad Reza Mousavi and
Anna Philippou},
title = {Monitoring Hyperproperties with Circuits},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 42nd {IFIP} {WG} 6.1 International Conference, {FORTE} 2022, Held
as Part of the 17th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13273},
pages = {1--10},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08679-3\_1},
doi = {10.1007/978-3-031-08679-3\_1},
timestamp = {Wed, 15 Jun 2022 16:45:18 +0200},
biburl = {https://dblp.org/rec/conf/forte/AcetoAAF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-10377,
author = {Luca Aceto and
Antonis Achilleos and
Elli Anastasiadi and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Pierre Ganty and
Dario Della Monica},
title = {Complexity through Translations for Modal Logic with Recursion},
booktitle = {Proceedings of the 13th International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2022, Madrid, Spain, September
21-23, 2022},
series = {{EPTCS}},
volume = {370},
pages = {34--48},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.370.3},
doi = {10.4204/EPTCS.370.3},
timestamp = {Mon, 31 Oct 2022 12:23:58 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-10377.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-03108,
author = {Luca Aceto and
Ian Cassar and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Bidirectional Runtime Enforcement of First-Order Branching-Time Properties},
journal = {CoRR},
volume = {abs/2201.03108},
year = {2022},
url = {https://arxiv.org/abs/2201.03108},
eprinttype = {arXiv},
eprint = {2201.03108},
timestamp = {Thu, 20 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-03108.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-11570,
author = {Luca Aceto and
Antonis Achilleos and
Elli Anastasiadi and
Adrian Francalanza},
title = {Monitoring hyperproperties with circuits},
journal = {CoRR},
volume = {abs/2202.11570},
year = {2022},
url = {https://arxiv.org/abs/2202.11570},
eprinttype = {arXiv},
eprint = {2202.11570},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-11570.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-13927,
author = {Luca Aceto and
Valentina Castiglioni and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Bas Luttik},
title = {On the Axiomatisation of Branching Bisimulation Congruence over {CCS}},
journal = {CoRR},
volume = {abs/2206.13927},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.13927},
doi = {10.48550/ARXIV.2206.13927},
eprinttype = {arXiv},
eprint = {2206.13927},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-13927.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Aceto0Y21,
author = {Luca Aceto and
Nathalie Bertrand and
Nobuko Yoshida},
title = {Interviews with the 2021 {CONCUR} Test-of-Time Award Recipients},
journal = {Bull. {EATCS}},
volume = {135},
year = {2021},
url = {http://bulletin.eatcs.org/index.php/beatcs/article/view/683},
timestamp = {Mon, 24 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/Aceto0Y21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/AcetoAFIL21,
author = {Luca Aceto and
Antonis Achilleos and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Karoliina Lehtinen},
title = {An operational guide to monitorability with applications to regular
properties},
journal = {Softw. Syst. Model.},
volume = {20},
number = {2},
pages = {335--361},
year = {2021},
url = {https://doi.org/10.1007/s10270-020-00860-z},
doi = {10.1007/S10270-020-00860-Z},
timestamp = {Thu, 29 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/AcetoAFIL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/AcetoCFI21,
author = {Luca Aceto and
Ian Cassar and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Comparing controlled system synthesis and suppression enforcement},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {23},
number = {4},
pages = {601--614},
year = {2021},
url = {https://doi.org/10.1007/s10009-021-00624-0},
doi = {10.1007/S10009-021-00624-0},
timestamp = {Tue, 26 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/AcetoCFI21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/AcetoAFIL21,
author = {Luca Aceto and
Antonis Achilleos and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Karoliina Lehtinen},
editor = {Christel Baier and
Jean Goubault{-}Larrecq},
title = {The Best a Monitor Can Do},
booktitle = {29th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2021,
January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)},
series = {LIPIcs},
volume = {183},
pages = {7:1--7:23},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CSL.2021.7},
doi = {10.4230/LIPICS.CSL.2021.7},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/AcetoAFIL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/AcetoCFIL21,
author = {Luca Aceto and
Valentina Castiglioni and
Wan J. Fokkink and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Bas Luttik},
editor = {Christel Baier and
Jean Goubault{-}Larrecq},
title = {Are Two Binary Operators Necessary to Finitely Axiomatise Parallel
Composition?},
booktitle = {29th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2021,
January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)},
series = {LIPIcs},
volume = {183},
pages = {8:1--8:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CSL.2021.8},
doi = {10.4230/LIPICS.CSL.2021.8},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/AcetoCFIL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/AcetoAFI21,
author = {Luca Aceto and
Duncan Paul Attard and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Esther Guerra and
Mari{\"{e}}lle Stoelinga},
title = {On Benchmarking for Concurrent Runtime Verification},
booktitle = {Fundamental Approaches to Software Engineering - 24th International
Conference, {FASE} 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 = {12649},
pages = {3--23},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-71500-7\_1},
doi = {10.1007/978-3-030-71500-7\_1},
timestamp = {Fri, 14 May 2021 08:34:15 +0200},
biburl = {https://dblp.org/rec/conf/fase/AcetoAFI21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/AcetoCFI21,
author = {Luca Aceto and
Ian Cassar and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Kirstin Peters and
Tim A. C. Willemse},
title = {On Bidirectional Runtime Enforcement},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 41st {IFIP} {WG} 6.1 International Conference, {FORTE} 2021, Held
as Part of the 16th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18,
2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12719},
pages = {3--21},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-78089-0\_1},
doi = {10.1007/978-3-030-78089-0\_1},
timestamp = {Tue, 13 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/AcetoCFI21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/AttardAAFIL21,
author = {Duncan Paul Attard and
Luca Aceto and
Antonis Achilleos and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Karoliina Lehtinen},
editor = {Kirstin Peters and
Tim A. C. Willemse},
title = {Better Late Than Never or: Verifying Asynchronous Components at Runtime},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 41st {IFIP} {WG} 6.1 International Conference, {FORTE} 2021, Held
as Part of the 16th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18,
2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12719},
pages = {207--225},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-78089-0\_14},
doi = {10.1007/978-3-030-78089-0\_14},
timestamp = {Tue, 13 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/AttardAAFIL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AcetoACIL21,
author = {Luca Aceto and
Elli Anastasiadi and
Valentina Castiglioni and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Bas Luttik},
title = {In search of lost time: Axiomatising parallel composition in process
algebras},
booktitle = {36th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2021, Rome, Italy, June 29 - July 2, 2021},
pages = {1--14},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LICS52264.2021.9470526},
doi = {10.1109/LICS52264.2021.9470526},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/AcetoACIL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tfm/AcetoI21,
author = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Jo{\~{a}}o F. Ferreira and
Alexandra Mendes and
Claudio Menghi},
title = {Introducing Formal Methods to First-Year Students in Three Intensive
Weeks},
booktitle = {Formal Methods Teaching - 4th International Workshop and Tutorial,
FMTea 2021, Virtual Event, November 21, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13122},
pages = {1--17},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91550-6\_1},
doi = {10.1007/978-3-030-91550-6\_1},
timestamp = {Fri, 22 Apr 2022 14:23:22 +0200},
biburl = {https://dblp.org/rec/conf/tfm/AcetoI21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-11166,
author = {Luca Aceto and
Valentina Castiglioni and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Bas Luttik and
Mathias Ruggaard Pedersen},
title = {On the Axiomatisability of Parallel Composition},
journal = {CoRR},
volume = {abs/2102.11166},
year = {2021},
url = {https://arxiv.org/abs/2102.11166},
eprinttype = {arXiv},
eprint = {2102.11166},
timestamp = {Wed, 24 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-11166.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-09433,
author = {Luca Aceto and
Duncan Paul Attard and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {A Choreographed Outline Instrumentation Algorithm for Asynchronous
Components},
journal = {CoRR},
volume = {abs/2104.09433},
year = {2021},
url = {https://arxiv.org/abs/2104.09433},
eprinttype = {arXiv},
eprint = {2104.09433},
timestamp = {Mon, 26 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-09433.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-00735,
author = {Luca Aceto and
Elli Anastasiadi and
Valentina Castiglioni and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Bas Luttik},
title = {In search of lost time: Axiomatising parallel composition in process
algebras},
journal = {CoRR},
volume = {abs/2105.00735},
year = {2021},
url = {https://arxiv.org/abs/2105.00735},
eprinttype = {arXiv},
eprint = {2105.00735},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-00735.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Aceto20,
author = {Luca Aceto},
title = {Interviews with the 2020 {CONCUR} Test-of-Time Award Recipients},
journal = {Bull. {EATCS}},
volume = {131},
year = {2020},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/626},
timestamp = {Wed, 10 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Aceto20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/AcetoAFIK20,
author = {Luca Aceto and
Antonis Achilleos and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
S{\ae}var {\"{O}}rn Kjartansson},
title = {Determinizing monitors for {HML} with recursion},
journal = {J. Log. Algebraic Methods Program.},
volume = {111},
pages = {100515},
year = {2020},
url = {https://doi.org/10.1016/j.jlamp.2019.100515},
doi = {10.1016/J.JLAMP.2019.100515},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/AcetoAFIK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/AcetoAFI20,
author = {Luca Aceto and
Antonis Achilleos and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {The complexity of identifying characteristic formulae},
journal = {J. Log. Algebraic Methods Program.},
volume = {112},
pages = {100529},
year = {2020},
url = {https://doi.org/10.1016/j.jlamp.2020.100529},
doi = {10.1016/J.JLAMP.2020.100529},
timestamp = {Thu, 26 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlap/AcetoAFI20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AcetoACILP20,
author = {Luca Aceto and
Elli Anastasiadi and
Valentina Castiglioni and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Bas Luttik and
Mathias Ruggaard Pedersen},
title = {On the axiomatisability of priority {III:} Priority strikes again},
journal = {Theor. Comput. Sci.},
volume = {837},
pages = {223--246},
year = {2020},
url = {https://doi.org/10.1016/j.tcs.2020.07.044},
doi = {10.1016/J.TCS.2020.07.044},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/AcetoACILP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AcetoBBH020,
author = {Luca Aceto and
Jos C. M. Baeten and
Patricia Bouyer{-}Decitre and
Holger Hermanns and
Alexandra Silva},
editor = {Igor Konnov and
Laura Kov{\'{a}}cs},
title = {{CONCUR} Test-Of-Time Award 2020 Announcement (Invited Paper)},
booktitle = {31st International Conference on Concurrency Theory, {CONCUR} 2020,
September 1-4, 2020, Vienna, Austria (Virtual Conference)},
series = {LIPIcs},
volume = {171},
pages = {5:1--5:3},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.5},
doi = {10.4230/LIPICS.CONCUR.2020.5},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/AcetoBBH020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AcetoCILP20,
author = {Luca Aceto and
Valentina Castiglioni and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Bas Luttik and
Mathias Ruggaard Pedersen},
editor = {Igor Konnov and
Laura Kov{\'{a}}cs},
title = {On the Axiomatisability of Parallel Composition: {A} Journey in the
Spectrum},
booktitle = {31st International Conference on Concurrency Theory, {CONCUR} 2020,
September 1-4, 2020, Vienna, Austria (Virtual Conference)},
series = {LIPIcs},
volume = {171},
pages = {18:1--18:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.18},
doi = {10.4230/LIPICS.CONCUR.2020.18},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/AcetoCILP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-05463,
author = {Luca Aceto and
Antonis Achilleos and
Elli Anastasiadi and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {An axiomatization of verdict equivalence over regular monitors},
journal = {CoRR},
volume = {abs/2006.05463},
year = {2020},
url = {https://arxiv.org/abs/2006.05463},
eprinttype = {arXiv},
eprint = {2006.05463},
timestamp = {Sat, 13 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-05463.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-01943,
author = {Luca Aceto and
Valentina Castiglioni and
Wan J. Fokkink and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Bas Luttik},
title = {Are Two Binary Operators Necessary to Finitely Axiomatise Parallel
Composition?},
journal = {CoRR},
volume = {abs/2010.01943},
year = {2020},
url = {https://arxiv.org/abs/2010.01943},
eprinttype = {arXiv},
eprint = {2010.01943},
timestamp = {Mon, 12 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-01943.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Aceto19,
author = {Luca Aceto},
title = {Interview with Murdoch J. Gabbay and Andrew M. Pitts, 2019 Alonzo
Church Award Recipients},
journal = {Bull. {EATCS}},
volume = {128},
year = {2019},
url = {http://bulletin.eatcs.org/index.php/beatcs/article/view/578/582},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Aceto19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/AcetoFGI19,
author = {Luca Aceto and
Ignacio F{\'{a}}bregas and
Carlos Gregorio{-}Rodr{\'{\i}}guez and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Logical characterisations, rule formats and compositionality for input-output
conformance simulation},
journal = {J. Log. Algebraic Methods Program.},
volume = {106},
pages = {78--106},
year = {2019},
url = {https://doi.org/10.1016/j.jlamp.2019.04.005},
doi = {10.1016/J.JLAMP.2019.04.005},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/AcetoFGI19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/AcetoFGIO19,
author = {Luca Aceto and
Ignacio F{\'{a}}bregas and
{\'{A}}lvaro Garc{\'{\i}}a{-}P{\'{e}}rez and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Yolanda Ortega{-}Mall{\'{e}}n},
title = {Rule Formats for Nominal Process Calculi},
journal = {Log. Methods Comput. Sci.},
volume = {15},
number = {4},
year = {2019},
url = {https://doi.org/10.23638/LMCS-15(4:2)2019},
doi = {10.23638/LMCS-15(4:2)2019},
timestamp = {Sat, 07 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/AcetoFGIO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/AcetoAFIL19,
author = {Luca Aceto and
Antonis Achilleos and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Karoliina Lehtinen},
title = {Adventures in monitorability: from branching to linear time and back
again},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{POPL}},
pages = {52:1--52:29},
year = {2019},
url = {https://doi.org/10.1145/3290365},
doi = {10.1145/3290365},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/AcetoAFIL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AcetoMFI19,
author = {Luca Aceto and
Dario Della Monica and
Ignacio F{\'{a}}bregas and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {When are prime formulae characteristic?},
journal = {Theor. Comput. Sci.},
volume = {777},
pages = {3--31},
year = {2019},
url = {https://doi.org/10.1016/j.tcs.2018.12.004},
doi = {10.1016/J.TCS.2018.12.004},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AcetoMFI19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AcetoDFIIT19,
author = {Luca Aceto and
Gianlorenzo D'Angelo and
Michele Flammini and
Omar Inverso and
Ludovico Iovino and
Catia Trubiani},
editor = {Michele Boreale and
Flavio Corradini and
Michele Loreti and
Rosario Pugliese},
title = {Building International Doctoral Schools in Computer Science in Italy,
De Nicola's Way},
booktitle = {Models, Languages, and Tools for Concurrent and Distributed Programming
- Essays Dedicated to Rocco De Nicola on the Occasion of His 65th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {11665},
pages = {7--12},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21485-2\_2},
doi = {10.1007/978-3-030-21485-2\_2},
timestamp = {Thu, 08 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AcetoDFIIT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AcetoAFIL19,
author = {Luca Aceto and
Antonis Achilleos and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Karoliina Lehtinen},
editor = {Michele Boreale and
Flavio Corradini and
Michele Loreti and
Rosario Pugliese},
title = {Testing Equivalence vs. Runtime Monitoring},
booktitle = {Models, Languages, and Tools for Concurrent and Distributed Programming
- Essays Dedicated to Rocco De Nicola on the Occasion of His 65th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {11665},
pages = {28--44},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21485-2\_4},
doi = {10.1007/978-3-030-21485-2\_4},
timestamp = {Thu, 08 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AcetoAFIL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AcetoAFIL19a,
author = {Luca Aceto and
Antonis Achilleos and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Karoliina Lehtinen},
editor = {Ezio Bartocci and
Rance Cleaveland and
Radu Grosu and
Oleg Sokolsky},
title = {The Cost of Monitoring Alone},
booktitle = {From Reactive Systems to Cyber-Physical Systems - Essays Dedicated
to Scott A. Smolka on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11500},
pages = {259--275},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31514-6\_15},
doi = {10.1007/978-3-030-31514-6\_15},
timestamp = {Sat, 12 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AcetoAFIL19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/AcetoACIP19,
author = {Luca Aceto and
Elli Anastasiadi and
Valentina Castiglioni and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Mathias Ruggaard Pedersen},
editor = {Alessandra Cherubini and
Nicoletta Sabadini and
Simone Tini},
title = {On the Axiomatizability of Priority {III:} The Return of Sequential
Composition},
booktitle = {Proceedings of the 20th Italian Conference on Theoretical Computer
Science, {ICTCS} 2019, Como, Italy, September 9-11, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2504},
pages = {145--157},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2504/paper18.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/AcetoACIP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/AcetoCFI19,
author = {Luca Aceto and
Ian Cassar and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Bernd Finkbeiner and
Leonardo Mariani},
title = {Comparing Controlled System Synthesis and Suppression Enforcement},
booktitle = {Runtime Verification - 19th International Conference, {RV} 2019, Porto,
Portugal, October 8-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11757},
pages = {148--164},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32079-9\_9},
doi = {10.1007/978-3-030-32079-9\_9},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/AcetoCFI19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/AcetoAFIL19,
author = {Luca Aceto and
Antonis Achilleos and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Karoliina Lehtinen},
editor = {Peter Csaba {\"{O}}lveczky and
Gwen Sala{\"{u}}n},
title = {An Operational Guide to Monitorability},
booktitle = {Software Engineering and Formal Methods - 17th International Conference,
{SEFM} 2019, Oslo, Norway, September 18-20, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11724},
pages = {433--453},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30446-1\_23},
doi = {10.1007/978-3-030-30446-1\_23},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/AcetoAFIL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-00435,
author = {Luca Aceto and
Antonis Achilleos and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Karoliina Lehtinen},
title = {Adventures in Monitorability: From Branching to Linear Time and Back
Again},
journal = {CoRR},
volume = {abs/1902.00435},
year = {2019},
url = {http://arxiv.org/abs/1902.00435},
eprinttype = {arXiv},
eprint = {1902.00435},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-00435.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-05152,
author = {Luca Aceto and
Antonis Achilleos and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Karoliina Lehtinen},
title = {The Cost of Monitoring Alone},
journal = {CoRR},
volume = {abs/1902.05152},
year = {2019},
url = {http://arxiv.org/abs/1902.05152},
eprinttype = {arXiv},
eprint = {1902.05152},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-05152.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-00766,
author = {Luca Aceto and
Antonis Achilleos and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Karoliina Lehtinen},
title = {An Operational Guide to Monitorability},
journal = {CoRR},
volume = {abs/1906.00766},
year = {2019},
url = {http://arxiv.org/abs/1906.00766},
eprinttype = {arXiv},
eprint = {1906.00766},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-00766.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Aceto18,
author = {Luca Aceto},
title = {Report on {ICE-TCS} Theory Day 2018},
journal = {Bull. {EATCS}},
volume = {126},
year = {2018},
url = {http://bulletin.eatcs.org/index.php/beatcs/article/view/550/547},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Aceto18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AcetoCFI18,
author = {Luca Aceto and
Ian Cassar and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Sven Schewe and
Lijun Zhang},
title = {On Runtime Enforcement via Suppressions},
booktitle = {29th International Conference on Concurrency Theory, {CONCUR} 2018,
September 4-7, 2018, Beijing, China},
series = {LIPIcs},
volume = {118},
pages = {34:1--34:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2018.34},
doi = {10.4230/LIPICS.CONCUR.2018.34},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/AcetoCFI18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/AcetoAFI18,
author = {Luca Aceto and
Antonis Achilleos and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Christel Baier and
Ugo Dal Lago},
title = {A Framework for Parameterized Monitorability},
booktitle = {Foundations of Software Science and Computation Structures - 21st
International Conference, {FOSSACS} 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 = {10803},
pages = {203--220},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89366-2\_11},
doi = {10.1007/978-3-319-89366-2\_11},
timestamp = {Fri, 31 Jan 2020 21:32:20 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/AcetoAFI18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-08917,
author = {Ian Cassar and
Adrian Francalanza and
Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Developing Theoretical Foundations for Runtime Enforcement},
journal = {CoRR},
volume = {abs/1804.08917},
year = {2018},
url = {http://arxiv.org/abs/1804.08917},
eprinttype = {arXiv},
eprint = {1804.08917},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-08917.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-01004,
author = {Luca Aceto and
Ian Cassar and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {On Runtime Enforcement via Suppressions},
journal = {CoRR},
volume = {abs/1807.01004},
year = {2018},
url = {http://arxiv.org/abs/1807.01004},
eprinttype = {arXiv},
eprint = {1807.01004},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-01004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-02081,
author = {Luca Aceto and
Ignacio F{\'{a}}bregas and
{\'{A}}lvaro Garc{\'{\i}}a{-}P{\'{e}}rez and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Yolanda Ortega{-}Mall{\'{e}}n},
title = {Rule Formats for Nominal Process Calculi},
journal = {CoRR},
volume = {abs/1807.02081},
year = {2018},
url = {http://arxiv.org/abs/1807.02081},
eprinttype = {arXiv},
eprint = {1807.02081},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-02081.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/AcetoF17,
author = {Luca Aceto and
David de Frutos{-}Escrig},
title = {Special issue: Selected papers from the 26th International Conference
on Concurrency Theory {(CONCUR} 2015)},
journal = {Acta Informatica},
volume = {54},
number = {1},
pages = {1--2},
year = {2017},
url = {https://doi.org/10.1007/s00236-017-0292-7},
doi = {10.1007/S00236-017-0292-7},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/AcetoF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/AcetoFI17,
author = {Luca Aceto and
David de Frutos{-}Escrig and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Trace Simulation Semantics is not Finitely Based over {BCCSP}},
journal = {Acta Cybern.},
volume = {23},
number = {1},
pages = {81--90},
year = {2017},
url = {https://doi.org/10.14232/actacyb.23.1.2017.6},
doi = {10.14232/ACTACYB.23.1.2017.6},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/AcetoFI17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Aceto17,
author = {Luca Aceto},
title = {Interview with Thomas Henzinger President of {IST} Austria},
journal = {Bull. {EATCS}},
volume = {121},
year = {2017},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/476},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Aceto17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Aceto17a,
author = {Luca Aceto},
title = {Interview with Alexandra Silva Recipient of the 2017 Presburger Award},
journal = {Bull. {EATCS}},
volume = {122},
year = {2017},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/491},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Aceto17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Aceto17b,
author = {Luca Aceto},
title = {Ten years of the European Research Council {A} view from theoretical
computer science},
journal = {Bull. {EATCS}},
volume = {123},
year = {2017},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/517},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Aceto17b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Aceto17c,
author = {Luca Aceto},
title = {Computer Science at the Gran Sasso Science Institute},
journal = {Bull. {EATCS}},
volume = {123},
year = {2017},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/518},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Aceto17c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/FrancalanzaAI17,
author = {Adrian Francalanza and
Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Monitorability for the Hennessy-Milner logic with recursion},
journal = {Formal Methods Syst. Des.},
volume = {51},
number = {1},
pages = {87--116},
year = {2017},
url = {https://doi.org/10.1007/s10703-017-0273-z},
doi = {10.1007/S10703-017-0273-Z},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/FrancalanzaAI17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/AcetoI17,
author = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Preface for the 27th Nordic Workshop on Programming Theory {(NWPT}
2015)},
journal = {J. Log. Algebraic Methods Program.},
volume = {87},
pages = {5},
year = {2017},
url = {https://doi.org/10.1016/j.jlamp.2017.01.001},
doi = {10.1016/J.JLAMP.2017.01.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/AcetoI17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/AcetoFGI17,
author = {Luca Aceto and
Ignacio F{\'{a}}bregas and
{\'{A}}lvaro Garc{\'{\i}}a{-}P{\'{e}}rez and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {A unified rule format for bounded nondeterminism in {SOS} with terms
as labels},
journal = {J. Log. Algebraic Methods Program.},
volume = {92},
pages = {64--86},
year = {2017},
url = {https://doi.org/10.1016/j.jlamp.2017.03.002},
doi = {10.1016/J.JLAMP.2017.03.002},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/AcetoFGI17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Aceto17,
author = {Luca Aceto},
title = {Spotlight on Marta Kwiatkowska},
journal = {{ACM} {SIGLOG} News},
volume = {4},
number = {1},
pages = {3--4},
year = {2017},
url = {https://doi.org/10.1145/3051528.3051529},
doi = {10.1145/3051528.3051529},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Aceto17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AcetoFGIO17,
author = {Luca Aceto and
Ignacio F{\'{a}}bregas and
{\'{A}}lvaro Garc{\'{\i}}a{-}P{\'{e}}rez and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Yolanda Ortega{-}Mall{\'{e}}n},
editor = {Roland Meyer and
Uwe Nestmann},
title = {Rule Formats for Nominal Process Calculi},
booktitle = {28th International Conference on Concurrency Theory, {CONCUR} 2017,
September 5-8, 2017, Berlin, Germany},
series = {LIPIcs},
volume = {85},
pages = {10:1--10:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2017.10},
doi = {10.4230/LIPICS.CONCUR.2017.10},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/AcetoFGIO17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/CassarFAI17,
author = {Ian Cassar and
Adrian Francalanza and
Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Natalia Chechina and
Scott Lystig Fritchie},
title = {eAOP: an aspect oriented programming framework for Erlang},
booktitle = {Proceedings of the 16th {ACM} {SIGPLAN} International Workshop on
Erlang, Oxford, United Kingdom, September 3-9, 2017},
pages = {20--30},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3123569.3123570},
doi = {10.1145/3123569.3123570},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/erlang/CassarFAI17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/AcetoAFI17,
author = {Luca Aceto and
Antonis Achilleos and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Satya V. Lokam and
R. Ramanujam},
title = {Monitoring for Silent Actions},
booktitle = {37th {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2017, December 11-15, 2017,
Kanpur, India},
series = {LIPIcs},
volume = {93},
pages = {7:1--7:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2017.7},
doi = {10.4230/LIPICS.FSTTCS.2017.7},
timestamp = {Fri, 03 Sep 2021 15:00:19 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/AcetoAFI17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/FrancalanzaAAAC17,
author = {Adrian Francalanza and
Luca Aceto and
Antonis Achilleos and
Duncan Paul Attard and
Ian Cassar and
Dario Della Monica and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Shuvendu K. Lahiri and
Giles Reger},
title = {A Foundation for Runtime Monitoring},
booktitle = {Runtime Verification - 17th International Conference, {RV} 2017, Seattle,
WA, USA, September 13-16, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10548},
pages = {8--29},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67531-2\_2},
doi = {10.1007/978-3-319-67531-2\_2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/FrancalanzaAAAC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/CassarFAAI17,
author = {Ian Cassar and
Adrian Francalanza and
Duncan Paul Attard and
Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Giles Reger and
Klaus Havelund},
title = {A Suite of Monitoring Tools for Erlang},
booktitle = {RV-CuBES 2017. An International Workshop on Competitions, Usability,
Benchmarks, Evaluation, and Standardisation for Runtime Verification
Tools, September 15, 2017, Seattle, WA, {USA}},
series = {Kalpa Publications in Computing},
volume = {3},
pages = {41--47},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/7lrd},
doi = {10.29007/7LRD},
timestamp = {Sun, 15 Aug 2021 10:46:48 +0200},
biburl = {https://dblp.org/rec/conf/rv/CassarFAAI17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/CassarFAAI17a,
author = {Ian Cassar and
Adrian Francalanza and
Duncan Paul Attard and
Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Giles Reger and
Klaus Havelund},
title = {A Generic Instrumentation Tool for Erlang},
booktitle = {RV-CuBES 2017. An International Workshop on Competitions, Usability,
Benchmarks, Evaluation, and Standardisation for Runtime Verification
Tools, September 15, 2017, Seattle, WA, {USA}},
series = {Kalpa Publications in Computing},
volume = {3},
pages = {48--54},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/63tp},
doi = {10.29007/63TP},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/CassarFAAI17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/AcetoFGI17,
author = {Luca Aceto and
Ignacio F{\'{a}}bregas and
Carlos Gregorio{-}Rodr{\'{\i}}guez and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Bernhard Steffen and
Christel Baier and
Mark van den Brand and
Johann Eder and
Mike Hinchey and
Tiziana Margaria},
title = {Logical Characterisations and Compositionality of Input-Output Conformance
Simulation},
booktitle = {{SOFSEM} 2017: Theory and Practice of Computer Science - 43rd International
Conference on Current Trends in Theory and Practice of Computer Science,
Limerick, Ireland, January 16-20, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10139},
pages = {37--48},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-51963-0\_4},
doi = {10.1007/978-3-319-51963-0\_4},
timestamp = {Sun, 02 Oct 2022 16:15:51 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/AcetoFGI17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/AcetoAFIK17,
author = {Luca Aceto and
Antonis Achilleos and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
S{\ae}var {\"{O}}rn Kjartansson},
editor = {Arnaud Carayol and
Cyril Nicaud},
title = {On the Complexity of Determinizing Monitors},
booktitle = {Implementation and Application of Automata - 22nd International Conference,
{CIAA} 2017, Marne-la-Vall{\'{e}}e, France, June 27-30, 2017,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10329},
pages = {1--13},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-60134-2\_1},
doi = {10.1007/978-3-319-60134-2\_1},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/AcetoAFIK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1708-07229,
author = {Ian Cassar and
Adrian Francalanza and
Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Adrian Francalanza and
Gordon J. Pace},
title = {A Survey of Runtime Monitoring Instrumentation Techniques},
booktitle = {Proceedings Second International Workshop on Pre- and Post-Deployment
Verification Techniques, PrePost@iFM 2017, Torino, Italy, 19 September
2017},
series = {{EPTCS}},
volume = {254},
pages = {15--28},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.254.2},
doi = {10.4204/EPTCS.254.2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-07229.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2017larsen,
editor = {Luca Aceto and
Giorgio Bacci and
Giovanni Bacci and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Axel Legay and
Radu Mardare},
title = {Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand
Larsen on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10460},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63121-9},
doi = {10.1007/978-3-319-63121-9},
isbn = {978-3-319-63120-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2017larsen.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/AcetoMGIMS16,
author = {Luca Aceto and
Dario Della Monica and
Valentin Goranko and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Angelo Montanari and
Guido Sciavicco},
title = {A complete classification of the expressiveness of interval logics
of Allen's relations: the general and the dense cases},
journal = {Acta Informatica},
volume = {53},
number = {3},
pages = {207--246},
year = {2016},
url = {https://doi.org/10.1007/s00236-015-0231-4},
doi = {10.1007/S00236-015-0231-4},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/AcetoMGIMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Aceto16,
author = {Luca Aceto},
title = {Letter from the President},
journal = {Bull. {EATCS}},
volume = {118},
year = {2016},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/383},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Aceto16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/AcetoHKTV16,
author = {Luca Aceto and
Thomas A. Henzinger and
Joost{-}Pieter Katoen and
Wolfgang Thomas and
Moshe Y. Vardi},
title = {Viewpoints on "Logic activities in Europe", twenty years
later},
journal = {Bull. {EATCS}},
volume = {118},
year = {2016},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/393},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/AcetoHKTV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/AcetoI16,
author = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Report on {NWPT} 2015},
journal = {Bull. {EATCS}},
volume = {118},
year = {2016},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/386},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/AcetoI16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Acceto16,
author = {Luca Aceto},
title = {Letter from the President},
journal = {Bull. {EATCS}},
volume = {119},
year = {2016},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/Acceto16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Aceto16a,
author = {Luca Aceto},
title = {Interview with Stephen Brookes and Peter W. O'Hearn Recipients of
the 2016 Godel Prize},
journal = {Bull. {EATCS}},
volume = {119},
year = {2016},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/408},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Aceto16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Aceto16b,
author = {Luca Aceto},
title = {Interview with Rajeev Alur and David Dill 2016 Alonzo Church Award
Recipients},
journal = {Bull. {EATCS}},
volume = {119},
year = {2016},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/410},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Aceto16b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/AcetoDGHHISST16,
author = {Luca Aceto and
Mariangiola Dezani{-}Ciancaglini and
Yuri Gurevich and
David Harel and
Monika Henzinger and
Giuseppe F. Italiano and
Scott A. Smolka and
Paul G. Spirakis and
Wolfgang Thomas},
title = {{EATCS} Fellows' Advice to the Young Theoretical Computer Scientist},
journal = {Bull. {EATCS}},
volume = {119},
year = {2016},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/419},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/AcetoDGHHISST16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Aceto16c,
author = {Luca Aceto},
title = {Interview with Paul Spirakis, President of the {EATCS}},
journal = {Bull. {EATCS}},
volume = {120},
year = {2016},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/434},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Aceto16c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Aceto16d,
author = {Luca Aceto},
title = {Report on The {EATCS} Council Meeting},
journal = {Bull. {EATCS}},
volume = {120},
year = {2016},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/428},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Aceto16d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Aceto16e,
author = {Luca Aceto},
title = {Report on The {EATCS} General Assembly},
journal = {Bull. {EATCS}},
volume = {120},
year = {2016},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/429},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Aceto16e.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Aceto16f,
author = {Luca Aceto},
title = {Report on {ICALP} 2016},
journal = {Bull. {EATCS}},
volume = {120},
year = {2016},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/430},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Aceto16f.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Aceto16g,
author = {Luca Aceto},
title = {Abstracts of the {EATCS} Distinguished Dissertations 2015},
journal = {Bull. {EATCS}},
volume = {120},
year = {2016},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/457},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Aceto16g.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/AcetoI16a,
author = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Zoltan Esik {(1951-2016)} In Memoriam},
journal = {Bull. {EATCS}},
volume = {120},
year = {2016},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/435},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/AcetoI16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AcetoGI16,
author = {Luca Aceto and
{\'{A}}lvaro Garc{\'{\i}}a{-}P{\'{e}}rez and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Christian W. Probst and
Chris Hankin and
Ren{\'{e}} Rydhof Hansen},
title = {Rule Formats for Bounded Nondeterminism in Structural Operational
Semantics},
booktitle = {Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson
and Flemming Nielson on the Occasion of Their 60th Birthdays},
series = {Lecture Notes in Computer Science},
volume = {9560},
pages = {313--343},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-27810-0\_16},
doi = {10.1007/978-3-319-27810-0\_16},
timestamp = {Tue, 21 Mar 2023 20:58:42 +0100},
biburl = {https://dblp.org/rec/conf/birthday/AcetoGI16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/GudmundssonLABG16,
author = {Vignir Gudmundsson and
Mikael Lindvall and
Luca Aceto and
Johann Bergthorsson and
Dharmalingam Ganesan},
editor = {Luca Aceto and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Model-based Testing of Mobile Systems - An Empirical Study on QuizUp
Android App},
booktitle = {Proceedings First Workshop on Pre- and Post-Deployment Verification
Techniques, PrePost@IFM 2016, Reykjav{\'{\i}}k, Iceland, 4th
June 2016},
series = {{EPTCS}},
volume = {208},
pages = {16--30},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.208.2},
doi = {10.4204/EPTCS.208.2},
timestamp = {Fri, 09 Apr 2021 18:27:22 +0200},
biburl = {https://dblp.org/rec/journals/corr/GudmundssonLABG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/AcetoFI16,
editor = {Luca Aceto and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Proceedings First Workshop on Pre- and Post-Deployment Verification
Techniques, PrePost@IFM 2016, Reykjav{\'{\i}}k, Iceland, 4th
June 2016},
series = {{EPTCS}},
volume = {208},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.208},
doi = {10.4204/EPTCS.208},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AcetoFI16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AcetoCEI16,
author = {Luca Aceto and
Arnaud Carayol and
Zolt{\'{a}}n {\'{E}}sik and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Algebraic Synchronization Trees and Processes},
journal = {CoRR},
volume = {abs/1610.00450},
year = {2016},
url = {http://arxiv.org/abs/1610.00450},
eprinttype = {arXiv},
eprint = {1610.00450},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AcetoCEI16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AcetoAFIK16,
author = {Luca Aceto and
Antonis Achilleos and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
S{\ae}var {\"{O}}rn Kjartansson},
title = {Determinizing Monitors for {HML} with Recursion},
journal = {CoRR},
volume = {abs/1611.10212},
year = {2016},
url = {http://arxiv.org/abs/1611.10212},
eprinttype = {arXiv},
eprint = {1611.10212},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AcetoAFIK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Aceto15,
author = {Luca Aceto},
title = {Letter from the President},
journal = {Bull. {EATCS}},
volume = {115},
year = {2015},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/323},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Aceto15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Aceto15a,
author = {Luca Aceto},
title = {Letter from the President},
journal = {Bull. {EATCS}},
volume = {116},
year = {2015},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/342},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Aceto15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Aceto15b,
author = {Luca Aceto},
title = {Letter from the President},
journal = {Bull. {EATCS}},
volume = {117},
year = {2015},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/378},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Aceto15b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Aceto15c,
author = {Luca Aceto},
title = {Report on The {EATCS} Council Meeting},
journal = {Bull. {EATCS}},
volume = {117},
year = {2015},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/366},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Aceto15c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Aceto15d,
author = {Luca Aceto},
title = {Report on The {EATCS} General Assembly},
journal = {Bull. {EATCS}},
volume = {117},
year = {2015},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/364},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Aceto15d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Aceto15e,
author = {Luca Aceto},
title = {Report on {ICALP} 2015},
journal = {Bull. {EATCS}},
volume = {117},
year = {2015},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/363},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Aceto15e.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Aceto15f,
author = {Luca Aceto},
title = {Report on {ICE-TCS} tenth anniversary},
journal = {Bull. {EATCS}},
volume = {117},
year = {2015},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/376},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Aceto15f.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Aceto15g,
author = {Luca Aceto},
title = {Report on {ICTCS} 2015},
journal = {Bull. {EATCS}},
volume = {117},
year = {2015},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/359},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Aceto15g.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/AcetoGI15,
author = {Luca Aceto and
Eugen{-}Ioan Goriac and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {A ground-complete axiomatization of stateless bisimilarity over Linda},
journal = {Inf. Process. Lett.},
volume = {115},
number = {2},
pages = {212--220},
year = {2015},
url = {https://doi.org/10.1016/j.ipl.2014.09.014},
doi = {10.1016/J.IPL.2014.09.014},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/AcetoGI15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/AcetoLMT15,
author = {Luca Aceto and
Kim G. Larsen and
Andrea Morichetta and
Francesco Tiezzi},
editor = {Christiano Braga and
Peter Csaba {\"{O}}lveczky},
title = {A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud
Computing},
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 = {66--85},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-28934-2\_4},
doi = {10.1007/978-3-319-28934-2\_4},
timestamp = {Thu, 20 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/AcetoLMT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/AcetoMFI15,
author = {Luca Aceto and
Dario Della Monica and
Ignacio F{\'{a}}bregas and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Giuseppe F. Italiano and
Giovanni Pighizzini and
Donald Sannella},
title = {When Are Prime Formulae Characteristic?},
booktitle = {Mathematical Foundations of Computer Science 2015 - 40th International
Symposium, {MFCS} 2015, Milan, Italy, August 24-28, 2015, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9234},
pages = {76--88},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48057-1\_6},
doi = {10.1007/978-3-662-48057-1\_6},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/AcetoMFI15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobilecloud/AcetoMT15,
author = {Luca Aceto and
Andrea Morichetta and
Francesco Tiezzi},
title = {Decision Support for Mobile Cloud Computing Applications via Model
Checking},
booktitle = {3rd {IEEE} International Conference on Mobile Cloud Computing, Services,
and Engineering, MobileCloud 2015, San Francisco, CA, USA, March 30
- April 3, 2015},
pages = {199--204},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/MobileCloud.2015.21},
doi = {10.1109/MOBILECLOUD.2015.21},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mobilecloud/AcetoMT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/FrancalanzaAI15,
author = {Adrian Francalanza and
Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Ezio Bartocci and
Rupak Majumdar},
title = {On Verifying Hennessy-Milner Logic with Recursion at Runtime},
booktitle = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
Austria, September 22-25, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9333},
pages = {71--86},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23820-3\_5},
doi = {10.1007/978-3-319-23820-3\_5},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/FrancalanzaAI15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2015,
editor = {Luca Aceto and
David de Frutos{-}Escrig},
title = {26th International Conference on Concurrency Theory, {CONCUR} 2015,
Madrid, Spain, September 1.4, 2015},
series = {LIPIcs},
volume = {42},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {http://www.dagstuhl.de/dagpub/978-3-939897-91-0},
isbn = {978-3-939897-91-0},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Aceto14,
author = {Luca Aceto},
title = {Letter from the President},
journal = {Bull. {EATCS}},
volume = {112},
year = {2014},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/244},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Aceto14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Aceto14a,
author = {Luca Aceto},
title = {Letter from the President},
journal = {Bull. {EATCS}},
volume = {113},
year = {2014},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/282},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Aceto14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Aceto14b,
author = {Luca Aceto},
title = {Letter from the President},
journal = {Bull. {EATCS}},
volume = {114},
year = {2014},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/299},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Aceto14b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Aceto14c,
author = {Luca Aceto},
title = {Foreword to the contributions by two {EATCS} award-recipients},
journal = {Bull. {EATCS}},
volume = {114},
year = {2014},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/311},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Aceto14c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Aceto14d,
author = {Luca Aceto},
title = {Report on {ICALP} 2014},
journal = {Bull. {EATCS}},
volume = {114},
year = {2014},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/294},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Aceto14d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/AcetoHI14,
author = {Luca Aceto and
Magn{\'{u}}s M. Halld{\'{o}}rsson and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Report on Two events at ICE-TCS, Reykjavik University},
journal = {Bull. {EATCS}},
volume = {114},
year = {2014},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/301},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/AcetoHI14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/AcetoIG14,
author = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Eugen{-}Ioan Goriac},
title = {{SOS} rule formats for idempotent terms and idempotent unary operators},
journal = {J. Log. Algebraic Methods Program.},
volume = {83},
number = {1},
pages = {64--80},
year = {2014},
url = {https://doi.org/10.1016/j.jlap.2013.07.003},
doi = {10.1016/J.JLAP.2013.07.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/AcetoIG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ReynissonSACJIS14,
author = {Arni Hermann Reynisson and
Marjan Sirjani and
Luca Aceto and
Matteo Cimini and
Ali Jafari and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Steinar Hugi Sigurdarson},
title = {Modelling and simulation of asynchronous real-time systems using Timed
Rebeca},
journal = {Sci. Comput. Program.},
volume = {89},
pages = {41--68},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2014.01.008},
doi = {10.1016/J.SCICO.2014.01.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ReynissonSACJIS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AcetoFGI14,
author = {Luca Aceto and
David de Frutos{-}Escrig and
Carlos Gregorio{-}Rodr{\'{\i}}guez and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Axiomatizing weak simulation semantics over {BCCSP}},
journal = {Theor. Comput. Sci.},
volume = {537},
pages = {42--71},
year = {2014},
url = {https://doi.org/10.1016/j.tcs.2013.03.013},
doi = {10.1016/J.TCS.2013.03.013},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AcetoFGI14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/AcetoMIMS14,
author = {Luca Aceto and
Dario Della Monica and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Angelo Montanari and
Guido Sciavicco},
editor = {Eduardo Ferm{\'{e}} and
Jo{\~{a}}o Leite},
title = {On the Expressiveness of the Interval Logic of Allen's Relations Over
Finite and Discrete Linear Orders},
booktitle = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8761},
pages = {267--281},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11558-0\_19},
doi = {10.1007/978-3-319-11558-0\_19},
timestamp = {Fri, 07 Aug 2020 08:55:19 +0200},
biburl = {https://dblp.org/rec/conf/jelia/AcetoMIMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Aceto13,
author = {Luca Aceto},
title = {Letter from the President},
journal = {Bull. {EATCS}},
volume = {109},
pages = {3--5},
year = {2013},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/20},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Aceto13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Aceto13a,
author = {Luca Aceto},
title = {Letter from the President},
journal = {Bull. {EATCS}},
volume = {110},
pages = {3--6},
year = {2013},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/29},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Aceto13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Aceto13b,
author = {Luca Aceto},
title = {Letter from the President},
journal = {Bull. {EATCS}},
volume = {111},
year = {2013},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/216},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Aceto13b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Aceto13c,
author = {Luca Aceto},
title = {Report on the General Assembly 2013},
journal = {Bull. {EATCS}},
volume = {111},
year = {2013},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/219},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Aceto13c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Aceto13d,
author = {Luca Aceto},
title = {Report on {ICALP} 2013},
journal = {Bull. {EATCS}},
volume = {111},
year = {2013},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/128},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Aceto13d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AcetoHS13,
author = {Luca Aceto and
Monika Henzinger and
Jir{\'{\i}} Sgall},
title = {38th International Colloquium on Automata, Languages and Programming},
journal = {Inf. Comput.},
volume = {222},
pages = {1},
year = {2013},
url = {https://doi.org/10.1016/j.ic.2012.11.002},
doi = {10.1016/J.IC.2012.11.002},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AcetoHS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AcetoFFIP13,
author = {Luca Aceto and
Ignacio F{\'{a}}bregas and
David de Frutos{-}Escrig and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Miguel Palomino},
title = {On the specification of modal systems: {A} comparison of three frameworks},
journal = {Sci. Comput. Program.},
volume = {78},
number = {12},
pages = {2468--2487},
year = {2013},
url = {https://doi.org/10.1016/j.scico.2013.02.004},
doi = {10.1016/J.SCICO.2013.02.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AcetoFFIP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/AcetoGIMR13,
author = {Luca Aceto and
Eugen{-}Ioan Goriac and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Mohammad Reza Mousavi and
Michel A. Reniers},
editor = {Reiko Heckel and
Stefan Milius},
title = {Exploiting Algebraic Laws to Improve Mechanized Axiomatizations},
booktitle = {Algebra and Coalgebra in Computer Science - 5th International Conference,
{CALCO} 2013, Warsaw, Poland, September 3-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8089},
pages = {36--50},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40206-7\_5},
doi = {10.1007/978-3-642-40206-7\_5},
timestamp = {Sat, 11 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/AcetoGIMR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/AcetoIPS13,
author = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Cristian Prisacariu and
Joshua Sack},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Compositional Reasoning for Multi-modal Logics},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7734},
pages = {1--15},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35722-0\_1},
doi = {10.1007/978-3-642-35722-0\_1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/AcetoIPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AcetoMIMS13,
author = {Luca Aceto and
Dario Della Monica and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Angelo Montanari and
Guido Sciavicco},
editor = {Kenneth L. McMillan and
Aart Middeldorp and
Andrei Voronkov},
title = {An Algorithm for Enumerating Maximal Models of Horn Theories with
an Application to Modal Logics},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 19th
International Conference, LPAR-19, Stellenbosch, South Africa, December
14-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8312},
pages = {1--17},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45221-5\_1},
doi = {10.1007/978-3-642-45221-5\_1},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/AcetoMIMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/AcetoGI13,
author = {Luca Aceto and
Eugen{-}Ioan Goriac and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Peter van Emde Boas and
Frans C. A. Groen and
Giuseppe F. Italiano and
Jerzy R. Nawrocki and
Harald Sack},
title = {{SOS} Rule Formats for Idempotent Terms and Idempotent Unary Operators},
booktitle = {{SOFSEM} 2013: Theory and Practice of Computer Science, 39th International
Conference on Current Trends in Theory and Practice of Computer Science,
{\v{S}}pindler{\r{u}}v Ml{\'{y}}n, Czech Republic, January 26-31,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7741},
pages = {108--120},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35843-2\_11},
doi = {10.1007/978-3-642-35843-2\_11},
timestamp = {Mon, 28 Aug 2023 21:17:48 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/AcetoGI13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/AcetoMIMS13,
author = {Luca Aceto and
Dario Della Monica and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Angelo Montanari and
Guido Sciavicco},
editor = {C{\'{e}}sar S{\'{a}}nchez and
Kristen Brent Venable and
Esteban Zim{\'{a}}nyi},
title = {A Complete Classification of the Expressiveness of Interval Logics
of Allen's Relations over Dense Linear Orders},
booktitle = {2013 20th International Symposium on Temporal Representation and Reasoning,
Pensacola, FL, USA, September 26-28, 2013},
pages = {65--72},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/TIME.2013.16},
doi = {10.1109/TIME.2013.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/AcetoMIMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AcetoGI13,
author = {Luca Aceto and
Eugen{-}Ioan Goriac and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Johannes Borgstr{\"{o}}m and
Bas Luttik},
title = {Meta {SOS} - {A} Maude Based {SOS} Meta-Theory Framework},
booktitle = {Proceedings Combined 20th International Workshop on Expressiveness
in Concurrency and 10th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2013, Buenos Aires, Argentina, 26th August, 2013},
series = {{EPTCS}},
volume = {120},
pages = {93--107},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.120.8},
doi = {10.4204/EPTCS.120.8},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/AcetoGI13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Aceto12,
author = {Luca Aceto},
title = {Letter from the President},
journal = {Bull. {EATCS}},
volume = {108},
pages = {11--13},
year = {2012},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/42},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Aceto12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/AcetoILS12,
author = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Paul Blain Levy and
Joshua Sack},
title = {Characteristic formulae for fixed-point semantics: a general framework},
journal = {Math. Struct. Comput. Sci.},
volume = {22},
number = {2},
pages = {125--173},
year = {2012},
url = {https://doi.org/10.1017/S0960129511000375},
doi = {10.1017/S0960129511000375},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/AcetoILS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/AcetoCI12,
author = {Luca Aceto and
Matteo Cimini and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Proving the validity of equations in {GSOS} languages using rule-matching
bisimilarity},
journal = {Math. Struct. Comput. Sci.},
volume = {22},
number = {2},
pages = {291--331},
year = {2012},
url = {https://doi.org/10.1017/S0960129511000417},
doi = {10.1017/S0960129511000417},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/AcetoCI12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AcetoBIMR12,
author = {Luca Aceto and
Arnar Birgisson and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Mohammad Reza Mousavi and
Michel A. Reniers},
title = {Rule formats for determinism and idempotence},
journal = {Sci. Comput. Program.},
volume = {77},
number = {7-8},
pages = {889--907},
year = {2012},
url = {https://doi.org/10.1016/j.scico.2010.04.002},
doi = {10.1016/J.SCICO.2010.04.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AcetoBIMR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AcetoCIMR12,
author = {Luca Aceto and
Matteo Cimini and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Mohammad Reza Mousavi and
Michel A. Reniers},
title = {Rule formats for distributivity},
journal = {Theor. Comput. Sci.},
volume = {458},
pages = {1--28},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2012.07.036},
doi = {10.1016/J.TCS.2012.07.036},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AcetoCIMR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AcetoCEI12,
author = {Luca Aceto and
Arnaud Carayol and
Zolt{\'{a}}n {\'{E}}sik and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Artur Czumaj and
Kurt Mehlhorn and
Andrew M. Pitts and
Roger Wattenhofer},
title = {Algebraic Synchronization Trees and Processes},
booktitle = {Automata, Languages, and Programming - 39th International Colloquium,
{ICALP} 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {7392},
pages = {30--41},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31585-5\_7},
doi = {10.1007/978-3-642-31585-5\_7},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AcetoCEI12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/AcetoFGI12,
author = {Luca Aceto and
David de Frutos{-}Escrig and
Carlos Gregorio{-}Rodr{\'{\i}}guez and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {M{\'{a}}ria Bielikov{\'{a}} and
Gerhard Friedrich and
Georg Gottlob and
Stefan Katzenbeisser and
Gy{\"{o}}rgy Tur{\'{a}}n},
title = {The Equational Theory of Weak Complete Simulation Semantics over {BCCSP}},
booktitle = {{SOFSEM} 2012: Theory and Practice of Computer Science - 38th Conference
on Current Trends in Theory and Practice of Computer Science, {\v{S}}pindler{\r{u}}v
Ml{\'{y}}n, Czech Republic, January 21-27, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7147},
pages = {141--152},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27660-6\_12},
doi = {10.1007/978-3-642-27660-6\_12},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/AcetoFGI12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1202-3497,
author = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Dale Miller and
Zolt{\'{a}}n {\'{E}}sik},
title = {Characteristic Formulae for Relations with Nested Fixed Points},
booktitle = {Proceedings 8th Workshop on Fixed Points in Computer Science, {FICS}
2012, Tallinn, Estonia, 24th March 2012},
series = {{EPTCS}},
volume = {77},
pages = {15--22},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.77.3},
doi = {10.4204/EPTCS.77.3},
timestamp = {Sat, 09 Apr 2022 12:27:12 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-3497.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/cu/12/AcetoIS12,
author = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Jir{\'{\i}} Srba},
editor = {Davide Sangiorgi and
Jan J. M. M. Rutten},
title = {The algorithmics of bisimilarity},
booktitle = {Advanced Topics in Bisimulation and Coinduction},
series = {Cambridge tracts in theoretical computer science},
volume = {52},
pages = {100--172},
publisher = {Cambridge University Press},
year = {2012},
timestamp = {Fri, 22 May 2020 12:02:52 +0200},
biburl = {https://dblp.org/rec/books/cu/12/AcetoIS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Aceto11,
author = {Luca Aceto},
title = {The Concurrency Column},
journal = {Bull. {EATCS}},
volume = {105},
pages = {72},
year = {2011},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/93},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Aceto11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/AcetoFGI11,
author = {Luca Aceto and
David de Frutos{-}Escrig and
Carlos Gregorio{-}Rodr{\'{\i}}guez and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Complete and ready simulation semantics are not finitely based over
BCCSP, even with a singleton alphabet},
journal = {Inf. Process. Lett.},
volume = {111},
number = {9},
pages = {408--413},
year = {2011},
url = {https://doi.org/10.1016/j.ipl.2011.01.015},
doi = {10.1016/J.IPL.2011.01.015},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/AcetoFGI11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AcetoCILP11,
author = {Luca Aceto and
Taolue Chen and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Bas Luttik and
Jaco van de Pol},
title = {On the axiomatizability of priority {II}},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {28},
pages = {3035--3044},
year = {2011},
url = {https://doi.org/10.1016/j.tcs.2011.02.033},
doi = {10.1016/J.TCS.2011.02.033},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AcetoCILP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AcetoCIMR11,
author = {Luca Aceto and
Matteo Cimini and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Mohammad Reza Mousavi and
Michel A. Reniers},
title = {{SOS} rule formats for zero and unit elements},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {28},
pages = {3045--3071},
year = {2011},
url = {https://doi.org/10.1016/j.tcs.2011.01.024},
doi = {10.1016/J.TCS.2011.01.024},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AcetoCIMR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/AcetoCGI11,
author = {Luca Aceto and
Georgiana Caltais and
Eugen{-}Ioan Goriac and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Andrea Corradini and
Bartek Klin and
Corina C{\^{\i}}rstea},
title = {{PREG} Axiomatizer - {A} Ground Bisimilarity Checker for {GSOS} with
Predicates},
booktitle = {Algebra and Coalgebra in Computer Science - 4th International Conference,
{CALCO} 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6859},
pages = {378--385},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22944-2\_27},
doi = {10.1007/978-3-642-22944-2\_27},
timestamp = {Fri, 09 Apr 2021 18:48:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/AcetoCGI11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/AcetoBIM11,
author = {Luca Aceto and
Arnar Birgisson and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Mohammad Reza Mousavi},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Decompositional Reasoning about the History of Parallel Processes},
booktitle = {Fundamentals of Software Engineering - 4th {IPM} International Conference,
{FSEN} 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7141},
pages = {32--47},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29320-7\_3},
doi = {10.1007/978-3-642-29320-7\_3},
timestamp = {Sat, 11 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsen/AcetoBIM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/AcetoFFIP11,
author = {Luca Aceto and
Ignacio F{\'{a}}bregas and
David de Frutos{-}Escrig and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Miguel Palomino},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Relating Modal Refinements, Covariant-Contravariant Simulations and
Partial Bisimulations},
booktitle = {Fundamentals of Software Engineering - 4th {IPM} International Conference,
{FSEN} 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7141},
pages = {268--283},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29320-7\_18},
doi = {10.1007/978-3-642-29320-7\_18},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsen/AcetoFFIP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/AcetoFGI11,
author = {Luca Aceto and
David de Frutos{-}Escrig and
Carlos Gregorio{-}Rodr{\'{\i}}guez and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Antonio Cerone and
Pekka Pihlajasaari},
title = {Axiomatizing Weak Ready Simulation Semantics over {BCCSP}},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2011 - 8th International
Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6916},
pages = {7--24},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23283-1\_4},
doi = {10.1007/978-3-642-23283-1\_4},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/ictac/AcetoFGI11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/AcetoCIMR11,
author = {Luca Aceto and
Matteo Cimini and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Mohammad Reza Mousavi and
Michel A. Reniers},
editor = {Adrian{-}Horia Dediu and
Shunsuke Inenaga and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Rule Formats for Distributivity},
booktitle = {Language and Automata Theory and Applications - 5th International
Conference, {LATA} 2011, Tarragona, Spain, May 26-31, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6638},
pages = {80--91},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21254-3\_5},
doi = {10.1007/978-3-642-21254-3\_5},
timestamp = {Sun, 02 Oct 2022 16:11:11 +0200},
biburl = {https://dblp.org/rec/conf/lata/AcetoCIMR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/AcetoHIS11,
author = {Luca Aceto and
Wiebe van der Hoek and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Joshua Sack},
editor = {Krzysztof R. Apt},
title = {Sigma algebras in probabilistic epistemic dynamics},
booktitle = {Proceedings of the 13th Conference on Theoretical Aspects of Rationality
and Knowledge (TARK-2011), Groningen, The Netherlands, July 12-14,
2011},
pages = {191--199},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2000378.2000401},
doi = {10.1145/2000378.2000401},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tark/AcetoHIS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1108-0228,
author = {Luca Aceto and
Matteo Cimini and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Arni Hermann Reynisson and
Steinar Hugi Sigurdarson and
Marjan Sirjani},
editor = {Mohammad Reza Mousavi and
Ant{\'{o}}nio Ravara},
title = {Modelling and Simulation of Asynchronous Real-Time Systems using Timed
Rebeca},
booktitle = {Proceedings 10th International Workshop on the Foundations of Coordination
Languages and Software Architectures, {FOCLASA} 2011, Aachen, Germany,
10th September, 2011},
series = {{EPTCS}},
volume = {58},
pages = {1--19},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.58.1},
doi = {10.4204/EPTCS.58.1},
timestamp = {Sat, 11 Jul 2020 10:44:59 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-0228.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1108-3124,
author = {Luca Aceto and
Georgiana Caltais and
Eugen{-}Ioan Goriac and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Michel A. Reniers and
Pawel Sobocinski},
title = {Axiomatizing {GSOS} with Predicates},
booktitle = {Proceedings Eight Workshop on Structural Operational Semantics 2011,
{SOS} 2011, Aachen, Germany, 5th September 2011},
series = {{EPTCS}},
volume = {62},
pages = {1--15},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.62.1},
doi = {10.4204/EPTCS.62.1},
timestamp = {Tue, 21 Apr 2020 10:56:16 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-3124.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1108-4464,
author = {Luca Aceto and
Ignacio F{\'{a}}bregas and
David de Frutos{-}Escrig and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Miguel Palomino},
editor = {Bas Luttik and
Frank Valencia},
title = {Graphical representation of covariant-contravariant modal formulae},
booktitle = {Proceedings 18th International Workshop on Expressiveness in Concurrency,
{EXPRESS} 2011, Aachen, Germany, 5th September 2011},
series = {{EPTCS}},
volume = {64},
pages = {1--15},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.64.1},
doi = {10.4204/EPTCS.64.1},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-4464.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/2011-1,
editor = {Luca Aceto and
Monika Henzinger and
Jir{\'{\i}} Sgall},
title = {Automata, Languages and Programming - 38th International Colloquium,
{ICALP} 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {6755},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22006-7},
doi = {10.1007/978-3-642-22006-7},
isbn = {978-3-642-22005-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/2011-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/2011-2,
editor = {Luca Aceto and
Monika Henzinger and
Jir{\'{\i}} Sgall},
title = {Automata, Languages and Programming - 38th International Colloquium,
{ICALP} 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {6756},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22012-8},
doi = {10.1007/978-3-642-22012-8},
isbn = {978-3-642-22011-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/2011-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1108-1452,
editor = {Luca Aceto and
Mohammad Reza Mousavi},
title = {Proceedings First International Workshop on Process Algebra and Coordination,
{PACO} 2011, Reykjavik, Iceland, 9th June 2011},
series = {{EPTCS}},
volume = {60},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.60},
doi = {10.4204/EPTCS.60},
timestamp = {Sat, 11 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-1452.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/AcetoFIM10,
author = {Luca Aceto and
Wan J. Fokkink and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Mohammad Reza Mousavi},
title = {Lifting non-finite axiomatizability results to extensions of process
algebras},
journal = {Acta Informatica},
volume = {47},
number = {3},
pages = {147--177},
year = {2010},
url = {https://doi.org/10.1007/s00236-010-0114-7},
doi = {10.1007/S00236-010-0114-7},
timestamp = {Sat, 11 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/AcetoFIM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/AcetoIS10,
author = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Joshua Sack},
title = {Resource bisimilarity and graded bisimilarity coincide},
journal = {Inf. Process. Lett.},
volume = {111},
number = {2},
pages = {68--76},
year = {2010},
url = {https://doi.org/10.1016/j.ipl.2010.10.019},
doi = {10.1016/J.IPL.2010.10.019},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/AcetoIS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/AcetoIMR10,
author = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Mohammad Reza Mousavi and
Michel A. Reniers},
editor = {Jan van Leeuwen and
Anca Muscholl and
David Peleg and
Jaroslav Pokorn{\'{y}} and
Bernhard Rumpe},
title = {A Rule Format for Unit Elements},
booktitle = {{SOFSEM} 2010: Theory and Practice of Computer Science, 36th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 23-29, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5901},
pages = {141--152},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11266-9\_12},
doi = {10.1007/978-3-642-11266-9\_12},
timestamp = {Sat, 30 Sep 2023 09:57:10 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/AcetoIMR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AcetoCIMR10,
author = {Luca Aceto and
Matteo Cimini and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Mohammad Reza Mousavi and
Michel A. Reniers},
editor = {Michael W. Mislove and
Peter Selinger},
title = {On Rule Formats for Zero and Unit Elements},
booktitle = {Proceedings of the 26th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2010, Ottawa, Ontario, Canada, May
6-10, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {265},
pages = {145--160},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2010.08.009},
doi = {10.1016/J.ENTCS.2010.08.009},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AcetoCIMR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1008-1906,
editor = {Luca Aceto and
Pawel Sobocinski},
title = {Proceedings Seventh Workshop on Structural Operational Semantics,
{SOS} 2010, Paris, France, 30 August 2010},
series = {{EPTCS}},
volume = {32},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.32},
doi = {10.4204/EPTCS.32},
timestamp = {Tue, 21 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1008-1906.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/AcetoI09,
author = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Algebraic Properties for Free!},
journal = {Bull. {EATCS}},
volume = {99},
pages = {82--103},
year = {2009},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/AcetoI09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcam/AcetoM09,
author = {Luca Aceto and
Cecilia Magherini},
title = {On the relations between B\({}_{\mbox{2}}\)V Ms and Runge-Kutta collocation
methods},
journal = {J. Comput. Appl. Math.},
volume = {231},
number = {1},
pages = {11--23},
year = {2009},
url = {https://doi.org/10.1016/j.cam.2009.01.018},
doi = {10.1016/J.CAM.2009.01.018},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcam/AcetoM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/AcetoBFIN09,
author = {Luca Aceto and
Jos C. M. Baeten and
Wan J. Fokkink and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Uwe Nestmann},
title = {Preface},
journal = {J. Log. Algebraic Methods Program.},
volume = {78},
number = {4},
year = {2009},
url = {https://doi.org/10.1016/j.jlap.2008.11.001},
doi = {10.1016/J.JLAP.2008.11.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/AcetoBFIN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/AcetoI09,
author = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Foreword: special issue in memory of Nadia Busi},
journal = {Math. Struct. Comput. Sci.},
volume = {19},
number = {6},
pages = {1061--1063},
year = {2009},
url = {https://doi.org/10.1017/S0960129509990119},
doi = {10.1017/S0960129509990119},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/AcetoI09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/AcetoFIL09,
author = {Luca Aceto and
Wan J. Fokkink and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Bas Luttik},
title = {A finite equational base for {CCS} with left merge and communication
merge},
journal = {{ACM} Trans. Comput. Log.},
volume = {10},
number = {1},
pages = {6:1--6:26},
year = {2009},
url = {https://doi.org/10.1145/1459010.1459016},
doi = {10.1145/1459010.1459016},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/AcetoFIL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/AcetoBIMR09,
author = {Luca Aceto and
Arnar Birgisson and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Mohammad Reza Mousavi and
Michel A. Reniers},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Rule Formats for Determinism and Idempotence},
booktitle = {Fundamentals of Software Engineering, Third {IPM} International Conference,
{FSEN} 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {5961},
pages = {146--161},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11623-0\_8},
doi = {10.1007/978-3-642-11623-0\_8},
timestamp = {Sat, 11 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsen/AcetoBIMR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tfm/AcetoILS09,
author = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Kim Guldstrand Larsen and
Jir{\'{\i}} Srba},
editor = {Jeremy Gibbons and
Jos{\'{e}} Nuno Oliveira},
title = {Teaching Concurrency: Theory in Practice},
booktitle = {Teaching Formal Methods, Second International Conference, {TFM} 2009,
Eindhoven, The Netherlands, November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5846},
pages = {158--175},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04912-5\_11},
doi = {10.1007/978-3-642-04912-5\_11},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tfm/AcetoILS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-0911-1862,
author = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Joshua Sack},
editor = {Sibylle B. Fr{\"{o}}schle and
Daniele Gorla},
title = {Characteristic Formulae for Fixed-Point Semantics: {A} General Framework},
booktitle = {Proceedings 16th International Workshop on Expressiveness in Concurrency,
{EXPRESS} 2009, Bologna, Italy, 5th September 2009},
series = {{EPTCS}},
volume = {8},
pages = {1--15},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.8.1},
doi = {10.4204/EPTCS.8.1},
timestamp = {Thu, 14 Oct 2021 09:15:37 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0911-1862.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1002-2864,
author = {Luca Aceto and
Matteo Cimini and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Bartek Klin and
Pawel Sobocinski},
title = {A Bisimulation-based Method for Proving the Validity of Equations
in {GSOS} Languages},
booktitle = {Proceedings Sixth Workshop on Structural Operational Semantics, {SOS}
2009, Bologna, Italy, August 31, 2009},
series = {{EPTCS}},
volume = {18},
pages = {1--16},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.18.1},
doi = {10.4204/EPTCS.18.1},
timestamp = {Tue, 21 Apr 2020 10:56:16 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1002-2864.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/AcetoBFIN08,
author = {Luca Aceto and
Jos C. M. Baeten and
Wan J. Fokkink and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Uwe Nestmann},
title = {Applying Concurrency Research in Industry Report on a Strategic Workshop},
journal = {Bull. {EATCS}},
volume = {94},
pages = {113--129},
year = {2008},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/AcetoBFIN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/AcetoC08,
author = {Luca Aceto and
Silvio Capobianco},
title = {On the Existence of a Finite Base for Complete Trace Equivalence over
{BPA} with Interrupt},
journal = {Bull. {EATCS}},
volume = {95},
pages = {220--240},
year = {2008},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/AcetoC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/AcetoFI08,
author = {Luca Aceto and
Wan J. Fokkink and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {A Cancellation Theorem for {BCCSP}},
journal = {Fundam. Informaticae},
volume = {88},
number = {1-2},
pages = {1--21},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi88-1-2-01},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/AcetoFI08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/AcetoCIL08,
author = {Luca Aceto and
Silvio Capobianco and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Bas Luttik},
title = {The equational theory of prebisimilarity over basic {CCS} with divergence},
journal = {Inf. Process. Lett.},
volume = {108},
number = {5},
pages = {284--289},
year = {2008},
url = {https://doi.org/10.1016/j.ipl.2008.05.019},
doi = {10.1016/J.IPL.2008.05.019},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/AcetoCIL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/AcetoI08,
author = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {On the expressibility of priority},
journal = {Inf. Process. Lett.},
volume = {109},
number = {1},
pages = {83--85},
year = {2008},
url = {https://doi.org/10.1016/j.ipl.2008.09.002},
doi = {10.1016/J.IPL.2008.09.002},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/AcetoI08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/AcetoBFG08,
author = {Luca Aceto and
Mario Bravetti and
Wan J. Fokkink and
Andrew D. Gordon},
title = {Guest Editors' Foreword},
journal = {J. Log. Algebraic Methods Program.},
volume = {75},
number = {1},
pages = {1--2},
year = {2008},
url = {https://doi.org/10.1016/j.jlap.2007.06.001},
doi = {10.1016/J.JLAP.2007.06.001},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/AcetoBFG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/AcetoI08,
author = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Guest Editors' Foreword},
journal = {J. Log. Algebraic Methods Program.},
volume = {77},
number = {1-2},
year = {2008},
url = {https://doi.org/10.1016/j.jlap.2008.05.001},
doi = {10.1016/J.JLAP.2008.05.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/AcetoI08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/AcetoCFI08,
author = {Luca Aceto and
Taolue Chen and
Wan J. Fokkink and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {On the axiomatisability of priority},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {1},
pages = {5--28},
year = {2008},
url = {https://doi.org/10.1017/S0960129507006524},
doi = {10.1017/S0960129507006524},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/AcetoCFI08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/AcetoFIM08,
author = {Luca Aceto and
Wan J. Fokkink and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Mohammad Reza Mousavi},
editor = {Giorgio Ausiello and
Juhani Karhum{\"{a}}ki and
Giancarlo Mauri and
C.{-}H. Luke Ong},
title = {Lifting Non-Finite Axiomatizability Results to Extensions of Process
Algebras},
booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science
- {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations
of Computer Science, September 7-10, 2008, Milano, Italy},
series = {{IFIP}},
volume = {273},
pages = {301--316},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-0-387-09680-3\_21},
doi = {10.1007/978-0-387-09680-3\_21},
timestamp = {Sat, 11 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/AcetoFIM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/AcetoILT08,
author = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Bas Luttik and
Paul van Tilburg},
editor = {Giorgio Ausiello and
Juhani Karhum{\"{a}}ki and
Giancarlo Mauri and
C.{-}H. Luke Ong},
title = {Finite Equational Bases for Fragments of {CCS} with Restriction and
Relabelling},
booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science
- {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations
of Computer Science, September 7-10, 2008, Milano, Italy},
series = {{IFIP}},
volume = {273},
pages = {317--332},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-0-387-09680-3\_22},
doi = {10.1007/978-0-387-09680-3\_22},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/AcetoILT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/2008-1,
editor = {Luca Aceto and
Ivan Damg{\aa}rd and
Leslie Ann Goldberg and
Magn{\'{u}}s M. Halld{\'{o}}rsson and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Igor Walukiewicz},
title = {Automata, Languages and Programming, 35th International Colloquium,
{ICALP} 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part
{I:} Tack {A:} Algorithms, Automata, Complexity, and Games},
series = {Lecture Notes in Computer Science},
volume = {5125},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70575-8},
doi = {10.1007/978-3-540-70575-8},
isbn = {978-3-540-70574-1},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/2008-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/2008-2,
editor = {Luca Aceto and
Ivan Damg{\aa}rd and
Leslie Ann Goldberg and
Magn{\'{u}}s M. Halld{\'{o}}rsson and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Igor Walukiewicz},
title = {Automata, Languages and Programming, 35th International Colloquium,
{ICALP} 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part
{II} - Track {B:} Logic, Semantics, and Theory of Programming {\&}
Track {C:} Security and Cryptography Foundations},
series = {Lecture Notes in Computer Science},
volume = {5126},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70583-3},
doi = {10.1007/978-3-540-70583-3},
isbn = {978-3-540-70582-6},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/2008-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/AcetoI07,
author = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Characteristic Formulae: From Automata to Logic},
journal = {Bull. {EATCS}},
volume = {91},
pages = {58--75},
year = {2007},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/AcetoI07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/AcetoBFG07,
author = {Luca Aceto and
Mario Bravetti and
Wan J. Fokkink and
Andrew D. Gordon},
title = {Guest Editors' Foreword},
journal = {J. Log. Algebraic Methods Program.},
volume = {70},
number = {2},
pages = {119--120},
year = {2007},
url = {https://doi.org/10.1016/j.jlap.2006.08.002},
doi = {10.1016/J.JLAP.2006.08.002},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/AcetoBFG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/AcetoBFG07a,
author = {Luca Aceto and
Mario Bravetti and
Wan J. Fokkink and
Andrew D. Gordon},
title = {Guest Editors' Foreword},
journal = {J. Log. Algebraic Methods Program.},
volume = {72},
number = {1},
pages = {1--2},
year = {2007},
url = {https://doi.org/10.1016/j.jlap.2007.02.001},
doi = {10.1016/J.JLAP.2007.02.001},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/AcetoBFG07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/AcetoI07,
author = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Guest Editors' Foreword},
journal = {J. Log. Algebraic Methods Program.},
volume = {73},
number = {1-2},
pages = {1},
year = {2007},
url = {https://doi.org/10.1016/j.jlap.2007.04.001},
doi = {10.1016/J.JLAP.2007.04.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/AcetoI07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/AcetoFI07,
author = {Luca Aceto and
Wan J. Fokkink and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Till Mossakowski and
Ugo Montanari and
Magne Haveraaen},
title = {Ready to Preorder: Get Your {BCCSP} Axiomatization for Free!},
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 = {65--79},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73859-6\_5},
doi = {10.1007/978-3-540-73859-6\_5},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/AcetoFI07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/AcetoIM07,
author = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Mohammad Reza Mousavi},
editor = {Till Mossakowski and
Ugo Montanari and
Magne Haveraaen},
title = {Impossibility Results for the Equational Theory of Timed {CCS}},
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 = {80--95},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73859-6\_6},
doi = {10.1007/978-3-540-73859-6\_6},
timestamp = {Sat, 11 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/AcetoIM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AcetoI07,
author = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Lu{\'{\i}}s Caires and
Vasco Thudichum Vasconcelos},
title = {The Saga of the Axiomatization of Parallel Composition},
booktitle = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
{CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4703},
pages = {2--16},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74407-8\_2},
doi = {10.1007/978-3-540-74407-8\_2},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/AcetoI07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AcetoFIN06,
author = {Luca Aceto and
Wan J. Fokkink and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Sumit Nain},
title = {Bisimilarity is not finitely based over {BPA} with interrupt},
journal = {Theor. Comput. Sci.},
volume = {366},
number = {1-2},
pages = {60--81},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.07.003},
doi = {10.1016/J.TCS.2006.07.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AcetoFIN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AcetoCFI06,
author = {Luca Aceto and
Taolue Chen and
Wan J. Fokkink and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Michele Bugliesi and
Bart Preneel and
Vladimiro Sassone and
Ingo Wegener},
title = {On the Axiomatizability of Priority},
booktitle = {Automata, Languages and Programming, 33rd International Colloquium,
{ICALP} 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {4052},
pages = {480--491},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11787006\_41},
doi = {10.1007/11787006\_41},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AcetoCFI06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AcetoFIL06,
author = {Luca Aceto and
Wan J. Fokkink and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Bas Luttik},
editor = {Michele Bugliesi and
Bart Preneel and
Vladimiro Sassone and
Ingo Wegener},
title = {A Finite Equational Base for {CCS} with Left Merge and Communication
Merge},
booktitle = {Automata, Languages and Programming, 33rd International Colloquium,
{ICALP} 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {4052},
pages = {492--503},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11787006\_42},
doi = {10.1007/11787006\_42},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AcetoFIL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Aceto07,
author = {Luca Aceto},
editor = {Flavio Corradini and
Carlo Toffalori},
title = {Impossibility Results in the Equational Logic of Processes},
booktitle = {Proceedings of the Workshop on Logic, Models and Computer Science,
{LMCS} 2006, Camerino, Italy, April 20-22, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {169},
pages = {3--6},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.07.025},
doi = {10.1016/J.ENTCS.2006.07.025},
timestamp = {Tue, 24 Jan 2023 11:23:31 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Aceto07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apc25/2005,
editor = {Luca Aceto and
Andrew D. Gordon},
title = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
publisher = {Elsevier},
year = {2006},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/162/suppl/C},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apc25/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fossacs/2006,
editor = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Foundations of Software Science and Computation Structures, 9th International
Conference, {FOSSACS} 2006, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2006, Vienna, Austria,
March 25-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3921},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11690634},
doi = {10.1007/11690634},
isbn = {3-540-33045-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0608001,
author = {Luca Aceto and
Wan J. Fokkink and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Bas Luttik},
title = {A Finite Equational Base for {CCS} with Left Merge and Communication
Merge},
journal = {CoRR},
volume = {abs/cs/0608001},
year = {2006},
url = {http://arxiv.org/abs/cs/0608001},
eprinttype = {arXiv},
eprint = {cs/0608001},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0608001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/AcetoFIL05,
author = {Luca Aceto and
Wan J. Fokkink and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Bas Luttik},
title = {Split-2 bisimilarity has a finite axiomatization over {CCS} with Hennessy's
merge},
journal = {Log. Methods Comput. Sci.},
volume = {1},
number = {1},
year = {2005},
url = {https://doi.org/10.2168/LMCS-1(1:3)2005},
doi = {10.2168/LMCS-1(1:3)2005},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/AcetoFIL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AcetoFIL05,
author = {Luca Aceto and
Wan J. Fokkink and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Bas Luttik},
title = {{CCS} with Hennessy's merge has no finite-equational axiomatization},
journal = {Theor. Comput. Sci.},
volume = {330},
number = {3},
pages = {377--405},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2004.10.003},
doi = {10.1016/J.TCS.2004.10.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AcetoFIL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AcetoFIE05,
author = {Luca Aceto and
Wan J. Fokkink and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Zolt{\'{a}}n {\'{E}}sik},
title = {Guest editors' foreword: Process Algebra},
journal = {Theor. Comput. Sci.},
volume = {335},
number = {2-3},
pages = {127--129},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2005.01.013},
doi = {10.1016/J.TCS.2005.01.013},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AcetoFIE05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AcetoFIL05,
author = {Luca Aceto and
Wan J. Fokkink and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Bas Luttik},
editor = {Aart Middeldorp and
Vincent van Oostrom and
Femke van Raamsdonk and
Roel C. de Vrijer},
title = {Finite Equational Bases in Process Algebra: Results and Open Questions},
booktitle = {Processes, Terms and Cycles: Steps on the Road to Infinity, Essays
Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {3838},
pages = {338--367},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11601548\_18},
doi = {10.1007/11601548\_18},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AcetoFIL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/AcetoFIN05,
author = {Luca Aceto and
Wan J. Fokkink and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Sumit Nain},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Neil Harman and
Markus Roggenbach and
Jan J. M. M. Rutten},
title = {Bisimilarity Is Not Finitely Based over {BPA} with Interrupt},
booktitle = {Algebra and Coalgebra in Computer Science: First International Conference,
{CALCO} 2005, Swansea, UK, September 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3629},
pages = {52--66},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11548133\_4},
doi = {10.1007/11548133\_4},
timestamp = {Wed, 19 May 2021 08:32:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/AcetoFIN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AcetoG06,
author = {Luca Aceto and
Andrew D. Gordon},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {Preface},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {1--2},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.100},
doi = {10.1016/J.ENTCS.2005.12.100},
timestamp = {Fri, 20 Jan 2023 12:38:53 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AcetoG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AcetoF06,
author = {Luca Aceto and
Wan J. Fokkink},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {The Quest for Equational Axiomatizations of Parallel Composition:
Status and Open Problems},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {43--48},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.076},
doi = {10.1016/J.ENTCS.2005.12.076},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AcetoF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sos/2004,
editor = {Luca Aceto and
Wan J. Fokkink and
Irek Ulidowski},
title = {Proceedings of the Workshop on Structural Operational Semantics, {SOS}
2004, London, UK, August 30, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {128},
number = {1},
publisher = {Elsevier},
year = {2005},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/128/issue/1},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sos/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0501040,
author = {Luca Aceto and
Wan J. Fokkink and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Bas Luttik},
title = {Split-2 Bisimilarity has a Finite Axiomatization over {CCS} with Hennessy's
Merge},
journal = {CoRR},
volume = {abs/cs/0501040},
year = {2005},
url = {http://arxiv.org/abs/cs/0501040},
eprinttype = {arXiv},
eprint = {cs/0501040},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0501040.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AcetoFGI04,
author = {Luca Aceto and
Wan J. Fokkink and
Rob J. van Glabbeek and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Nested semantics over finite trees are equationally hard},
journal = {Inf. Comput.},
volume = {191},
number = {2},
pages = {203--232},
year = {2004},
url = {https://doi.org/10.1016/j.ic.2004.02.001},
doi = {10.1016/J.IC.2004.02.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AcetoFGI04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcst/AcetoHIJK04,
author = {Luca Aceto and
Jens A. Hansen and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Jacob Johnsen and
John Knudsen},
title = {The Complexity of Checking Consistency of Pedigree Information and
Related Problems},
journal = {J. Comput. Sci. Technol.},
volume = {19},
number = {1},
pages = {42--59},
year = {2004},
url = {https://doi.org/10.1007/BF02944784},
doi = {10.1007/BF02944784},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcst/AcetoHIJK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/AcetoF04,
author = {Luca Aceto and
Wan J. Fokkink},
title = {Guesteditors'introduction: Special issue on Structural Operational
Semantics},
journal = {J. Log. Algebraic Methods Program.},
volume = {60-61},
pages = {1--2},
year = {2004},
url = {https://doi.org/10.1016/j.jlap.2004.03.010},
doi = {10.1016/J.JLAP.2004.03.010},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/AcetoF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AcetoFU05,
author = {Luca Aceto and
Wan J. Fokkink and
Irek Ulidowski},
editor = {Luca Aceto and
Wan J. Fokkink and
Irek Ulidowski},
title = {Preface},
booktitle = {Proceedings of the Workshop on Structural Operational Semantics, {SOS}
2004, London, UK, August 30, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {128},
number = {1},
pages = {1},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.08.053},
doi = {10.1016/J.ENTCS.2004.08.053},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AcetoFU05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Aceto03,
author = {Luca Aceto},
title = {Some of My Favourite Results in Classic Process Algebra},
journal = {Bull. {EATCS}},
volume = {81},
pages = {90--108},
year = {2003},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/Aceto03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/AcetoFI03,
author = {Luca Aceto and
Wan J. Fokkink and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {A note on an expressiveness hierarchy for multi-exit iteration},
journal = {Inf. Process. Lett.},
volume = {87},
number = {1},
pages = {17--23},
year = {2003},
url = {https://doi.org/10.1016/S0020-0190(03)00234-5},
doi = {10.1016/S0020-0190(03)00234-5},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/AcetoFI03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/AcetoLV03,
author = {Luca Aceto and
Giuseppe Longo and
Bj{\"{o}}rn Victor},
title = {Foreword To Special Issue: The Difference Between Concurrent And Sequential
Computation},
journal = {Math. Struct. Comput. Sci.},
volume = {13},
number = {4},
pages = {481--484},
year = {2003},
url = {https://doi.org/10.1017/S096012950300402X},
doi = {10.1017/S096012950300402X},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/AcetoLV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AcetoEI03a,
author = {Luca Aceto and
Zolt{\'{a}}n {\'{E}}sik and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {The max-plus algebra of the natural numbers has no finite equational
basis},
journal = {Theor. Comput. Sci.},
volume = {293},
number = {1},
pages = {169--188},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00236-0},
doi = {10.1016/S0304-3975(02)00236-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AcetoEI03a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AcetoEI03,
author = {Luca Aceto and
Zolt{\'{a}}n {\'{E}}sik and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Equational theories of tropical semirings},
journal = {Theor. Comput. Sci.},
volume = {298},
number = {3},
pages = {417--469},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00864-2},
doi = {10.1016/S0304-3975(02)00864-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AcetoEI03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AcetoBBL03,
author = {Luca Aceto and
Patricia Bouyer and
Augusto Burgue{\~{n}}o and
Kim Guldstrand Larsen},
title = {The power of reachability testing for timed automata},
journal = {Theor. Comput. Sci.},
volume = {300},
number = {1-3},
pages = {411--475},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00334-1},
doi = {10.1016/S0304-3975(02)00334-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AcetoBBL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/AcetoHIJK03,
author = {Luca Aceto and
Jens A. Hansen and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Jacob Johnsen and
John Knudsen},
editor = {Carlo Blundo and
Cosimo Laneve},
title = {The Complexity of Checking Consistency of Pedigree Information and
Related Problems},
booktitle = {Theoretical Computer Science, 8th Italian Conference, {ICTCS} 2003,
Bertinoro, Italy, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2841},
pages = {174--187},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45208-9\_15},
doi = {10.1007/978-3-540-45208-9\_15},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/AcetoHIJK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Aceto04,
author = {Luca Aceto},
editor = {Flavio Corradini and
Uwe Nestmann},
title = {Nested Semantics over Finite Trees are Equationally Hard: Invited
Talk},
booktitle = {Proceedings of the 10th International Workshop on Expressiveness in
Concurrency, {EXPRESS} 2003, Marseille, France, September 2, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {96},
pages = {5--6},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.04.027},
doi = {10.1016/J.ENTCS.2004.04.027},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Aceto04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/express/2000,
editor = {Luca Aceto and
Bj{\"{o}}rn Victor},
title = {7th International Workshop on Expressiveness in Concurrency, {EXPRESS}
2000, Satellite Workshop of {CONCUR} 2000, State College, PA, USA,
August 21, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {39},
number = {1},
publisher = {Elsevier},
year = {2003},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/39/issue/1},
timestamp = {Wed, 15 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/express/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/AcetoEI02,
author = {Luca Aceto and
Zolt{\'{a}}n {\'{E}}sik and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {A Fully Equational Proof of Parikh's Theorem},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {36},
number = {2},
pages = {129--153},
year = {2002},
url = {https://doi.org/10.1051/ita:2002007},
doi = {10.1051/ITA:2002007},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/AcetoEI02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/AcetoL02,
author = {Luca Aceto and
Fran{\c{c}}ois Laroussinie},
title = {Is your model checker on time? On the complexity of model checking
for timed modal logics},
journal = {J. Log. Algebraic Methods Program.},
volume = {52-53},
pages = {7--51},
year = {2002},
url = {https://doi.org/10.1016/S1567-8326(02)00022-X},
doi = {10.1016/S1567-8326(02)00022-X},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/AcetoL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/AcetoP02,
author = {Luca Aceto and
Prakash Panangaden},
title = {Guest Editors' Foreword},
journal = {Nord. J. Comput.},
volume = {9},
number = {1},
pages = {69},
year = {2002},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/AcetoP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/AcetoEI02,
author = {Luca Aceto and
Zolt{\'{a}}n {\'{E}}sik and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Equational Axioms for Probabilistic Bisimilarity},
booktitle = {Algebraic Methodology and Software Technology, 9th International Conference,
{AMAST} 2002, Saint-Gilles-les-Bains, Reunion Island, France, September
9-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2422},
pages = {239--253},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45719-4\_17},
doi = {10.1007/3-540-45719-4\_17},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/AcetoEI02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/Aceto02,
author = {Luca Aceto},
editor = {Zolt{\'{a}}n {\'{E}}sik and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Kleene through the process algebraic glass},
booktitle = {Fixed Points in Computer Science, {FICS} 2002, Copenhagen, Denmark,
20-21 July 2002, Preliminary Proceedings},
series = {{BRICS} Notes Series},
volume = {{NS-02-2}},
pages = {20--21},
publisher = {University of Aarhus},
year = {2002},
timestamp = {Tue, 11 Jan 2005 11:03:16 +0100},
biburl = {https://dblp.org/rec/conf/fics/Aceto02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/express/2001,
editor = {Luca Aceto and
Prakash Panangaden},
title = {8th International Workshop on Expressiveness in Concurrency, {EXPRESS}
2001, Satellite Workshop from {CONCUR} 2001, Aalborg, Denmark, August
20, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {52},
number = {1},
publisher = {Elsevier},
year = {2002},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/52/issue/1},
timestamp = {Wed, 15 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/express/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AbramskyAI01,
author = {Samson Abramsky and
Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Corrigendum: {A} Domain Equation for Bisimulation: Volume 92 Number
2 (1991), pages 161-218},
journal = {Inf. Comput.},
volume = {165},
number = {2},
pages = {119--122},
year = {2001},
url = {https://doi.org/10.1006/inco.2001.2909},
doi = {10.1006/INCO.2001.2909},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AbramskyAI01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/AcetoF01,
author = {Luca Aceto and
Wan J. Fokkink},
title = {Preface: Process Algebra},
journal = {Inf. Process. Lett.},
volume = {80},
number = {1},
pages = {1},
year = {2001},
url = {https://doi.org/10.1016/S0020-0190(01)00211-3},
doi = {10.1016/S0020-0190(01)00211-3},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/AcetoF01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/AcetoEI01,
author = {Luca Aceto and
Zolt{\'{a}}n {\'{E}}sik and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Furio Honsell and
Marino Miculan},
title = {Axiomatizing Tropical Semirings},
booktitle = {Foundations of Software Science and Computation Structures, 4th International
Conference, {FOSSACS} 2001 Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April
2-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2030},
pages = {42--56},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45315-6\_3},
doi = {10.1007/3-540-45315-6\_3},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/AcetoEI01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/AcetoFI01,
author = {Luca Aceto and
Wan J. Fokkink and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Afonso Ferreira and
Horst Reichel},
title = {2-Nested Simulation Is Not Finitely Equationally Axiomatizable},
booktitle = {{STACS} 2001, 18th Annual Symposium on Theoretical Aspects of Computer
Science, Dresden, Germany, February 15-17, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2010},
pages = {39--50},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44693-1\_4},
doi = {10.1007/3-540-44693-1\_4},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/AcetoFI01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AcetoP01,
author = {Luca Aceto and
Prakash Panangaden},
editor = {Luca Aceto and
Prakash Panangaden},
title = {Preface},
booktitle = {8th International Workshop on Expressiveness in Concurrency, {EXPRESS}
2001, Satellite Workshop from {CONCUR} 2001, Aalborg, Denmark, August
20, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {52},
number = {1},
pages = {137--138},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(05)80573-0},
doi = {10.1016/S1571-0661(05)80573-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AcetoP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/01/AcetoFV01,
author = {Luca Aceto and
Wan J. Fokkink and
Chris Verhoef},
editor = {Jan A. Bergstra and
Alban Ponse and
Scott A. Smolka},
title = {Structural Operational Semantics},
booktitle = {Handbook of Process Algebra},
pages = {197--292},
publisher = {North-Holland / Elsevier},
year = {2001},
url = {https://doi.org/10.1016/b978-044482830-9/50021-7},
doi = {10.1016/B978-044482830-9/50021-7},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/el/01/AcetoFV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ws/phaunRS01/AcetoFV01,
author = {Luca Aceto and
Wan J. Fokkink and
Chris Verhoef},
editor = {Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Conservative Extension in Structural Operational Semantics},
booktitle = {Current Trends in Theoretical Computer Science, Entering the 21th
Century},
pages = {504--524},
publisher = {World Scientific},
year = {2001},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/ws/phaunRS01/AcetoFV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/AcetoIPP00,
author = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Mikkel Lykke Pedersen and
Jan Poulsen},
title = {Characteristic formulae for timed automata},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {34},
number = {6},
pages = {565--584},
year = {2000},
url = {https://doi.org/10.1051/ita:2000131},
doi = {10.1051/ITA:2000131},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/AcetoIPP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/AcetoEI00,
author = {Luca Aceto and
Zolt{\'{a}}n {\'{E}}sik and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Horst Reichel and
Sophie Tison},
title = {On the Two-Variable Fragment of the Equational Theory of the Max-Sum
Algebra of the Natural Numbers},
booktitle = {{STACS} 2000, 17th Annual Symposium on Theoretical Aspects of Computer
Science, Lille, France, February 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1770},
pages = {267--278},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46541-3\_22},
doi = {10.1007/3-540-46541-3\_22},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/AcetoEI00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/AcetoFV99,
author = {Luca Aceto and
Wan J. Fokkink and
Chris Verhoef},
title = {Conservative Extension in Structural Operational Semantics},
journal = {Bull. {EATCS}},
volume = {69},
pages = {110--132},
year = {1999},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/AcetoFV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AcetoG99,
author = {Luca Aceto and
Jan Friso Groote},
title = {A Complete Equational Axiomatization for {MPA} with String Iteration},
journal = {Theor. Comput. Sci.},
volume = {211},
number = {1-2},
pages = {339--374},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(97)00182-5},
doi = {10.1016/S0304-3975(97)00182-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AcetoG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/AcetoI99,
author = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Wolfgang Thomas},
title = {Testing Hennessy-Milner Logic with Recursion},
booktitle = {Foundations of Software Science and Computation Structure, Second
International Conference, FoSSaCS'99, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, ETAPS'99,
Amsterdam, The Netherlands, March 22-28, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1578},
pages = {41--55},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-49019-1\_4},
doi = {10.1007/3-540-49019-1\_4},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/AcetoI99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/AcetoL99,
author = {Luca Aceto and
Fran{\c{c}}ois Laroussinie},
editor = {Miroslaw Kutylowski and
Leszek Pacholski and
Tomasz Wierzbicki},
title = {Is Your Model Checker on Time? On the Complexity of Model Checking
for Timed Modal Logics},
booktitle = {Mathematical Foundations of Computer Science 1999, 24th International
Symposium, MFCS'99, Szklarska Poreba, Poland, September 6-10, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1672},
pages = {125--136},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48340-3\_12},
doi = {10.1007/3-540-48340-3\_12},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/AcetoL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/AcetoFI98,
author = {Luca Aceto and
Wan J. Fokkink and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {A Menagerie of NonFfinitely Based Process Semantics over BPA* - From
Ready Simulation to Completed Traces},
journal = {Math. Struct. Comput. Sci.},
volume = {8},
number = {3},
pages = {193--230},
year = {1998},
url = {http://journals.cambridge.org/action/displayAbstract?aid=44743},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/AcetoFI98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AcetoFI98,
author = {Luca Aceto and
Wan J. Fokkink and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {On a Question of A. Salomaa: The Equational Theory of Regular Expressions
Over a Singleton Alphabet is not Finitely Based},
journal = {Theor. Comput. Sci.},
volume = {209},
number = {1-2},
pages = {163--178},
year = {1998},
url = {https://doi.org/10.1016/S0304-3975(97)00104-7},
doi = {10.1016/S0304-3975(97)00104-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AcetoFI98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/AcetoFI98,
author = {Luca Aceto and
Wan J. Fokkink and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Maurice Nivat},
title = {A Cook's Tour of Equational Axiomatizations for Prefix Iteration},
booktitle = {Foundations of Software Science and Computation Structure, First International
Conference, FoSSaCS'98, 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 = {1378},
pages = {20--34},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0053539},
doi = {10.1007/BFB0053539},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/AcetoFI98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/AcetoBBL98,
author = {Luca Aceto and
Patricia Bouyer and
Augusto Burgue{\~{n}}o and
Kim Guldstrand Larsen},
editor = {Vikraman Arvind and
Ramaswamy Ramanujam},
title = {The Power of Reachability Testing for Timed Automata},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
18th Conference, Chennai, India, December 17-19, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1530},
pages = {245--256},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-540-49382-2\_22},
doi = {10.1007/978-3-540-49382-2\_22},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/AcetoBBL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AcetoBL98,
author = {Luca Aceto and
Augusto Burgue{\~{n}}o and
Kim Guldstrand Larsen},
editor = {Bernhard Steffen},
title = {Model Checking via Reachability Testing for Timed Automata},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 4th
International Conference, {TACAS} '98, 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 = {1384},
pages = {263--280},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054177},
doi = {10.1007/BFB0054177},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AcetoBL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AcetoF97,
author = {Luca Aceto and
Wan J. Fokkink},
title = {An Equational Axiomatization for Multi-Exit Iteration},
journal = {Inf. Comput.},
volume = {137},
number = {2},
pages = {121--158},
year = {1997},
url = {https://doi.org/10.1006/inco.1997.2645},
doi = {10.1006/INCO.1997.2645},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AcetoF97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/AcetoI97,
author = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {A Characterization of Finitary Bisimulation},
journal = {Inf. Process. Lett.},
volume = {64},
number = {3},
pages = {127--134},
year = {1997},
url = {https://doi.org/10.1016/S0020-0190(97)00163-4},
doi = {10.1016/S0020-0190(97)00163-4},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/AcetoI97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AcetoHIK97,
author = {Luca Aceto and
Hans H{\"{u}}ttel and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Josva Kleist},
editor = {Catuscia Palamidessi and
Joachim Parrow},
title = {Relating semantic models for the object calculus},
booktitle = {International Workshop on Expressiveness in Concurrency, {EXPRESS}
1997, Santa Margherita Ligure, Italy, September 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {7},
pages = {3--18},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80462-1},
doi = {10.1016/S1571-0661(05)80462-1},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AcetoHIK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/AcetoM96,
author = {Luca Aceto and
David Murphy},
title = {Timing and Causality in Process Algebra},
journal = {Acta Informatica},
volume = {33},
number = {4},
pages = {317--350},
year = {1996},
url = {https://doi.org/10.1007/s002360050047},
doi = {10.1007/S002360050047},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/AcetoM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AcetoGFI96,
author = {Luca Aceto and
Rob J. van Glabbeek and
Wan J. Fokkink and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Axiomatizing Prefix Iteration with Silent Steps},
journal = {Inf. Comput.},
volume = {127},
number = {1},
pages = {26--40},
year = {1996},
url = {https://doi.org/10.1006/inco.1996.0047},
doi = {10.1006/INCO.1996.0047},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AcetoGFI96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AcetoI96,
author = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {{CPO} Models for Compact {GSOS} Languages},
journal = {Inf. Comput.},
volume = {129},
number = {2},
pages = {107--141},
year = {1996},
url = {https://doi.org/10.1006/inco.1996.0077},
doi = {10.1006/INCO.1996.0077},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AcetoI96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/AcetoI96,
author = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Martin Wirsing and
Maurice Nivat},
title = {An Equational Axiomatization of Observation Congruence for Prefix
Iteration},
booktitle = {Algebraic Methodology and Software Technology, 5th International Conference,
{AMAST} '96, Munich, Germany, July 1-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1101},
pages = {195--209},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0014316},
doi = {10.1007/BFB0014316},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/AcetoI96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AcetoJ95,
author = {Luca Aceto and
Alan Jeffrey},
title = {A Complete Axiomatization of Timed Bisimulation for a Class of Timed
Regular Behaviours},
journal = {Theor. Comput. Sci.},
volume = {152},
number = {2},
pages = {251--268},
year = {1995},
url = {https://doi.org/10.1016/0304-3975(94)00285-9},
doi = {10.1016/0304-3975(94)00285-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AcetoJ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/AcetoI95,
author = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Peter D. Mosses and
Mogens Nielsen and
Michael I. Schwartzbach},
title = {{CPO} Models for a Class of {GSOS} Languages},
booktitle = {TAPSOFT'95: Theory and Practice of Software Development, 6th International
Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {915},
pages = {439--453},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59293-8\_212},
doi = {10.1007/3-540-59293-8\_212},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/AcetoI95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Aceto94,
author = {Luca Aceto},
title = {A Static View of Localities},
journal = {Formal Aspects Comput.},
volume = {6},
number = {2},
pages = {201--222},
year = {1994},
url = {https://doi.org/10.1007/BF01221099},
doi = {10.1007/BF01221099},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Aceto94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AcetoBV94,
author = {Luca Aceto and
Bard Bloom and
Frits W. Vaandrager},
title = {Turning {SOS} Rules into Equations},
journal = {Inf. Comput.},
volume = {111},
number = {1},
pages = {1--52},
year = {1994},
url = {https://doi.org/10.1006/inco.1994.1040},
doi = {10.1006/INCO.1994.1040},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AcetoBV94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AcetoH94,
author = {Luca Aceto and
Matthew Hennessy},
title = {Adding Action Refinement to a Finite Process Algebra},
journal = {Inf. Comput.},
volume = {115},
number = {2},
pages = {179--247},
year = {1994},
url = {https://doi.org/10.1006/inco.1994.1096},
doi = {10.1006/INCO.1994.1096},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AcetoH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/Aceto94,
author = {Luca Aceto},
title = {On "Axiomatising Finite Concurrent Processes"},
journal = {{SIAM} J. Comput.},
volume = {23},
number = {4},
pages = {852--863},
year = {1994},
url = {https://doi.org/10.1137/S0097539793243600},
doi = {10.1137/S0097539793243600},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/Aceto94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Aceto94,
author = {Luca Aceto},
title = {{GSOS} and Finite Labelled Transition Systems},
journal = {Theor. Comput. Sci.},
volume = {131},
number = {1},
pages = {181--195},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90094-9},
doi = {10.1016/0304-3975(94)90094-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Aceto94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Aceto94,
author = {Luca Aceto},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {Deriving Complete Inference Systems for a Class of {GSOS} Languages
Generation Regular Behaviours},
booktitle = {{CONCUR} '94, Concurrency Theory, 5th International Conference, Uppsala,
Sweden, August 22-25, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {836},
pages = {449--464},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-3-540-48654-1\_33},
doi = {10.1007/978-3-540-48654-1\_33},
timestamp = {Tue, 31 Aug 2021 12:07:11 +0200},
biburl = {https://dblp.org/rec/conf/concur/Aceto94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AcetoH93,
author = {Luca Aceto and
Matthew Hennessy},
title = {Towards Action-Refinement in Process Algebras},
journal = {Inf. Comput.},
volume = {103},
number = {2},
pages = {204--269},
year = {1993},
url = {https://doi.org/10.1006/inco.1993.1019},
doi = {10.1006/INCO.1993.1019},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AcetoH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AcetoM93,
author = {Luca Aceto and
David Murphy},
editor = {Eike Best},
title = {On the Ill-Timed but Well-Caused},
booktitle = {{CONCUR} '93, 4th International Conference on Concurrency Theory,
Hildesheim, Germany, August 23-26, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {715},
pages = {97--111},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57208-2\_8},
doi = {10.1007/3-540-57208-2\_8},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/AcetoM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Aceto92,
author = {Luca Aceto},
title = {History preserving, causal and mixed-ordering equivalence over stable
event structures},
journal = {Fundam. Informaticae},
volume = {17},
number = {4},
pages = {319--331},
year = {1992},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Aceto92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Aceto92a,
author = {Luca Aceto},
title = {Relating distributed, temporal and causal observations of simple processes},
journal = {Fundam. Informaticae},
volume = {17},
number = {4},
pages = {369--397},
year = {1992},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Aceto92a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/AcetoH92,
author = {Luca Aceto and
Matthew Hennessy},
title = {Termination, Deadlock, and Divergence},
journal = {J. {ACM}},
volume = {39},
number = {1},
pages = {147--187},
year = {1992},
url = {https://doi.org/10.1145/147508.147527},
doi = {10.1145/147508.147527},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/AcetoH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AcetoBV92,
author = {Luca Aceto and
Bard Bloom and
Frits W. Vaandrager},
title = {Turning {SOS} Rules into Equations},
booktitle = {Proceedings of the Seventh Annual Symposium on Logic in Computer Science
{(LICS} '92), Santa Cruz, California, USA, June 22-25, 1992},
pages = {113--124},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/LICS.1992.185526},
doi = {10.1109/LICS.1992.185526},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AcetoBV92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Aceto91,
author = {Luca Aceto},
title = {Action refinement in process algebras},
school = {University of Sussex, Falmer, East Sussex, {UK}},
year = {1991},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.787135},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Aceto91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AcetoI91,
author = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {A Theory of Testing for {ACP}},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {78--95},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_82},
doi = {10.1007/3-540-54430-5\_82},
timestamp = {Fri, 27 Mar 2020 08:51:56 +0100},
biburl = {https://dblp.org/rec/conf/concur/AcetoI91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/AcetoE91,
author = {Luca Aceto and
Uffe Engberg},
editor = {Somenath Biswas and
Kesav V. Nori},
title = {Failures Semantics for a Simple Process Language with Refinement},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
11th Conference, New Delhi, India, December 17-19, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {560},
pages = {89--108},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54967-6\_63},
doi = {10.1007/3-540-54967-6\_63},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/AcetoE91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AcetoH91,
author = {Luca Aceto and
Matthew Hennessy},
editor = {Javier Leach Albert and
Burkhard Monien and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Adding Action Refinement to a Finite Process Algebra},
booktitle = {Automata, Languages and Programming, 18th International Colloquium,
ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {510},
pages = {506--519},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54233-7\_159},
doi = {10.1007/3-540-54233-7\_159},
timestamp = {Fri, 17 Jul 2020 16:12:48 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AcetoH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Aceto91,
author = {Luca Aceto},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {On Relating Concurency and Nondeterminism},
booktitle = {Mathematical Foundations of Programming Semantics, 7th International
Conference, Pittsburgh, PA, USA, March 25-28, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {598},
pages = {376--402},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55511-0\_19},
doi = {10.1007/3-540-55511-0\_19},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Aceto91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Aceto91,
author = {Luca Aceto},
editor = {Samson Abramsky and
T. S. E. Maibaum},
title = {Full Abstraction for Series-Parallel Pomsets},
booktitle = {TAPSOFT'91: Proceedings of the International Joint Conference on Theory
and Practice of Software Development, Brighton, UK, April 8-12, 1991,
Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'91)},
series = {Lecture Notes in Computer Science},
volume = {493},
pages = {1--25},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53982-4\_1},
doi = {10.1007/3-540-53982-4\_1},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Aceto91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AcetoH89,
author = {Luca Aceto and
Matthew Hennessy},
title = {Towards Action-Refinement in Process Algebras},
booktitle = {Proceedings of the Fourth Annual Symposium on Logic in Computer Science
{(LICS} '89), Pacific Grove, California, USA, June 5-8, 1989},
pages = {138--145},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/LICS.1989.39168},
doi = {10.1109/LICS.1989.39168},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AcetoH89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/AcetoH89,
author = {Luca Aceto and
Matthew Hennessy},
editor = {Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Termination, Deadlock and Divergence},
booktitle = {Mathematical Foundations of Programming Semantics, 5th International
Conference, Tulane University, New Orleans, Louisiana, USA, March
29 - April 1, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {442},
pages = {301--318},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0040264},
doi = {10.1007/BFB0040264},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/mfps/AcetoH89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/AcetoNF86,
author = {Luca Aceto and
Rocco De Nicola and
Alessandro Fantechi},
editor = {Marisa Venturini Zilli},
title = {Testing Equivalences for Event Structures},
booktitle = {Mathematical Models for the Semantics of Parallelism, Advanced School,
Rome, Italy, September 24 - October 1, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {280},
pages = {1--20},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-18419-8\_9},
doi = {10.1007/3-540-18419-8\_9},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ac/AcetoNF86.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-25 05:50 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:
