BibTeX records: Marino Miculan

download as .bib file

@article{DBLP:journals/tcs/CastelnovoGM24,
  author       = {Davide Castelnovo and
                  Fabio Gadducci and
                  Marino Miculan},
  title        = {A simple criterion for M,N-adhesivity},
  journal      = {Theor. Comput. Sci.},
  volume       = {982},
  pages        = {114280},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.tcs.2023.114280},
  doi          = {10.1016/J.TCS.2023.114280},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/CastelnovoGM24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-12638,
  author       = {Davide Castelnovo and
                  Marino Miculan},
  title        = {On The Axioms Of M, N-Adhesive Categories},
  journal      = {CoRR},
  volume       = {abs/2401.12638},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2401.12638},
  doi          = {10.48550/ARXIV.2401.12638},
  eprinttype    = {arXiv},
  eprint       = {2401.12638},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2401-12638.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/compsec/MiculanV23,
  author       = {Marino Miculan and
                  Nicola Vitacolonna},
  title        = {Automated verification of Telegram's MTProto 2.0 in the symbolic model},
  journal      = {Comput. Secur.},
  volume       = {126},
  pages        = {103072},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.cose.2022.103072},
  doi          = {10.1016/J.COSE.2022.103072},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/compsec/MiculanV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/StolzeMG23,
  author       = {Claude Stolze and
                  Marino Miculan and
                  Pietro Di Gianantonio},
  title        = {Composable partial multiparty session types for open systems},
  journal      = {Softw. Syst. Model.},
  volume       = {22},
  number       = {2},
  pages        = {473--494},
  year         = {2023},
  url          = {https://doi.org/10.1007/s10270-022-01040-x},
  doi          = {10.1007/S10270-022-01040-X},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/StolzeMG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/PasquaM23,
  author       = {Michele Pasqua and
                  Marino Miculan},
  title        = {AbU: {A} calculus for distributed event-driven programming with attribute-based
                  interaction},
  journal      = {Theor. Comput. Sci.},
  volume       = {958},
  pages        = {113841},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.tcs.2023.113841},
  doi          = {10.1016/J.TCS.2023.113841},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/PasquaM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt2/BistarelliFMTM23,
  author       = {Stefano Bistarelli and
                  Francesco Faloci and
                  Paolo Mori and
                  Carlo Taticchi and
                  Marino Miculan},
  editor       = {Paolo Mori and
                  Ivan Visconti and
                  Stefano Bistarelli},
  title        = {Modeling Carne {PRI} supply chain with the *-Chain Platform},
  booktitle    = {Proceedings of the Fifth Distributed Ledger Technology Workshop {(DLT}
                  2023), Bologna, Italy, May 25-26, 2023},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3460},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  url          = {https://ceur-ws.org/Vol-3460/papers/DLT\_2023\_paper\_10.pdf},
  timestamp    = {Mon, 28 Aug 2023 17:23:08 +0200},
  biburl       = {https://dblp.org/rec/conf/dlt2/BistarelliFMTM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/MiculanP23,
  author       = {Marino Miculan and
                  Matteo Paier},
  editor       = {Giuseppa Castiglione and
                  Marinella Sciortino},
  title        = {Assembling Coherent Network Topologies Using Round-Trip Graphs (short
                  paper)},
  booktitle    = {Proceedings of the 24th Italian Conference on Theoretical Computer
                  Science, Palermo, Italy, September 13-15, 2023},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3587},
  pages        = {110--115},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  url          = {https://ceur-ws.org/Vol-3587/6692.pdf},
  timestamp    = {Mon, 18 Dec 2023 16:58:34 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/MiculanP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ital-ia/VoltanFM23,
  author       = {Gabriele Voltan and
                  Gian Luca Foresti and
                  Marino Miculan},
  editor       = {Fabrizio Falchi and
                  Fosca Giannotti and
                  Anna Monreale and
                  Chiara Boldrini and
                  Salvatore Rinzivillo and
                  Sara Colantonio},
  title        = {Pairing an Autoencoder and a {SF-SOINN} for Implementing an Intrusion
                  Detection System},
  booktitle    = {Proceedings of the Italia Intelligenza Artificiale - Thematic Workshops
                  co-located with the 3rd {CINI} National Lab {AIIS} Conference on Artificial
                  Intelligence (Ital {IA} 2023), Pisa, Italy, May 29-30, 2023},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3486},
  pages        = {409--414},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  url          = {https://ceur-ws.org/Vol-3486/23.pdf},
  timestamp    = {Thu, 21 Sep 2023 17:01:40 +0200},
  biburl       = {https://dblp.org/rec/conf/ital-ia/VoltanFM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itasec/AltaruiMP23,
  author       = {Andrea Altarui and
                  Marino Miculan and
                  Matteo Paier},
  editor       = {Francesco Buccafurri and
                  Elena Ferrari and
                  Gianluca Lax},
  title        = {DBCChecker: a Bigraph-based Tool for Checking Security Properties
                  of Container Compositions},
  booktitle    = {Proceedings of the Italian Conference on Cyber Security {(ITASEC}
                  2023), Bari, Italy, May 2-5, 2023},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3488},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  url          = {https://ceur-ws.org/Vol-3488/paper01.pdf},
  timestamp    = {Thu, 21 Sep 2023 17:01:40 +0200},
  biburl       = {https://dblp.org/rec/conf/itasec/AltaruiMP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/PasquaCM22,
  author       = {Michele Pasqua and
                  Massimo Comuzzo and
                  Marino Miculan},
  title        = {The AbU Language: IoT Distributed Programming Made Easy},
  journal      = {{IEEE} Access},
  volume       = {10},
  pages        = {132763--132776},
  year         = {2022},
  url          = {https://doi.org/10.1109/ACCESS.2022.3230287},
  doi          = {10.1109/ACCESS.2022.3230287},
  timestamp    = {Sun, 15 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/access/PasquaCM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ChiapperiniMP22,
  author       = {Alessio Chiapperini and
                  Marino Miculan and
                  Marco Peressotti},
  title        = {Computing (optimal) embeddings of directed bigraphs},
  journal      = {Sci. Comput. Program.},
  volume       = {221},
  pages        = {102842},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.scico.2022.102842},
  doi          = {10.1016/J.SCICO.2022.102842},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/ChiapperiniMP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/CastelnovoM22,
  author       = {Davide Castelnovo and
                  Marino Miculan},
  editor       = {Florin Manea and
                  Alex Simpson},
  title        = {Fuzzy Algebraic Theories},
  booktitle    = {30th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2022,
                  February 14-19, 2022, G{\"{o}}ttingen, Germany (Virtual Conference)},
  series       = {LIPIcs},
  volume       = {216},
  pages        = {13:1--13:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2022.13},
  doi          = {10.4230/LIPICS.CSL.2022.13},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csl/CastelnovoM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/CastelnovoGM22,
  author       = {Davide Castelnovo and
                  Fabio Gadducci and
                  Marino Miculan},
  editor       = {Patricia Bouyer and
                  Lutz Schr{\"{o}}der},
  title        = {A new criterion for \emph{M}, \emph{N}-adhesivity, with an application
                  to hierarchical graphs},
  booktitle    = {Foundations of Software Science and Computation Structures - 25th
                  International Conference, {FOSSACS} 2022, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2022,
                  Munich, Germany, April 2-7, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13242},
  pages        = {205--224},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99253-8\_11},
  doi          = {10.1007/978-3-030-99253-8\_11},
  timestamp    = {Fri, 29 Apr 2022 14:50:32 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/CastelnovoGM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/MiculanP22,
  author       = {Marino Miculan and
                  Matteo Paier},
  editor       = {Ugo Dal Lago and
                  Daniele Gorla},
  title        = {A Calculus for Subjective Communication},
  booktitle    = {Proceedings of the 23rd Italian Conference on Theoretical Computer
                  Science, {ICTCS} 2022, Rome, Italy, September 7-9, 2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3284},
  pages        = {148--160},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3284/1841.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:17 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/MiculanP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/PasquaM22,
  author       = {Michele Pasqua and
                  Marino Miculan},
  editor       = {Ugo Dal Lago and
                  Daniele Gorla},
  title        = {Distributed Programming of Smart Systems with Event-Condition-Action
                  Rules},
  booktitle    = {Proceedings of the 23rd Italian Conference on Theoretical Computer
                  Science, {ICTCS} 2022, Rome, Italy, September 7-9, 2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3284},
  pages        = {201--206},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3284/7982.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/PasquaM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-00233,
  author       = {Davide Castelnovo and
                  Fabio Gadducci and
                  Marino Miculan},
  title        = {A new criterion for M, N-adhesivity, with an application to hierarchical
                  graphs},
  journal      = {CoRR},
  volume       = {abs/2201.00233},
  year         = {2022},
  url          = {https://arxiv.org/abs/2201.00233},
  eprinttype    = {arXiv},
  eprint       = {2201.00233},
  timestamp    = {Mon, 10 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2201-00233.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/CastelnovoM21,
  author       = {Davide Castelnovo and
                  Marino Miculan},
  editor       = {Fabio Gadducci and
                  Alexandra Silva},
  title        = {Closure Hyperdoctrines},
  booktitle    = {9th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2021, August 31 to September 3, 2021, Salzburg, Austria},
  series       = {LIPIcs},
  volume       = {211},
  pages        = {12:1--12:21},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2021.12},
  doi          = {10.4230/LIPICS.CALCO.2021.12},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/calco/CastelnovoM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/StolzeMG21,
  author       = {Claude Stolze and
                  Marino Miculan and
                  Pietro Di Gianantonio},
  editor       = {Gwen Sala{\"{u}}n and
                  Anton Wijs},
  title        = {Composable Partial Multiparty Session Types},
  booktitle    = {Formal Aspects of Component Software - 17th International Conference,
                  {FACS} 2021, Virtual Event, October 28-29, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13077},
  pages        = {44--62},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-90636-8\_3},
  doi          = {10.1007/978-3-030-90636-8\_3},
  timestamp    = {Wed, 15 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/facs2/StolzeMG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/MiculanP21,
  author       = {Marino Miculan and
                  Michele Pasqua},
  editor       = {Antonio Cerone and
                  Peter Csaba {\"{O}}lveczky},
  title        = {A Calculus for Attribute-Based Memory Updates},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2021 - 18th International
                  Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12819},
  pages        = {366--385},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-85315-0\_21},
  doi          = {10.1007/978-3-030-85315-0\_21},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictac/MiculanP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itasec/NardinMPF21,
  author       = {Axel De Nardin and
                  Marino Miculan and
                  Claudio Piciarelli and
                  Gian Luca Foresti},
  editor       = {Alessandro Armando and
                  Michele Colajanni},
  title        = {A Time-series Classification Approach to Shallow Web Traffic De-anonymization},
  booktitle    = {Proceedings of the Italian Conference on Cybersecurity, {ITASEC} 2021,
                  All Digital Event, April 7-9, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2940},
  pages        = {156--165},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-2940/paper14.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:11 +0100},
  biburl       = {https://dblp.org/rec/conf/itasec/NardinMPF21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secrypt/MiculanV21,
  author       = {Marino Miculan and
                  Nicola Vitacolonna},
  editor       = {Sabrina De Capitani di Vimercati and
                  Pierangela Samarati},
  title        = {Automated Symbolic Verification of Telegram's MTProto 2.0},
  booktitle    = {Proceedings of the 18th International Conference on Security and Cryptography,
                  {SECRYPT} 2021, July 6-8, 2021},
  pages        = {185--197},
  publisher    = {{SCITEPRESS}},
  year         = {2021},
  url          = {https://doi.org/10.5220/0010549601850197},
  doi          = {10.5220/0010549601850197},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/secrypt/MiculanV21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/PasquaM21,
  author       = {Michele Pasqua and
                  Marino Miculan},
  editor       = {Radu Calinescu and
                  Corina S. Pasareanu},
  title        = {On the Security and Safety of AbU Systems},
  booktitle    = {Software Engineering and Formal Methods - 19th International Conference,
                  {SEFM} 2021, Virtual Event, December 6-10, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13085},
  pages        = {178--198},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-92124-8\_11},
  doi          = {10.1007/978-3-030-92124-8\_11},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/PasquaM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-10970,
  author       = {Davide Castelnovo and
                  Marino Miculan},
  title        = {Fuzzy Algebraic Theories},
  journal      = {CoRR},
  volume       = {abs/2110.10970},
  year         = {2021},
  url          = {https://arxiv.org/abs/2110.10970},
  eprinttype    = {arXiv},
  eprint       = {2110.10970},
  timestamp    = {Thu, 28 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2110-10970.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/ChiapperiniMP20,
  author       = {Alessio Chiapperini and
                  Marino Miculan and
                  Marco Peressotti},
  editor       = {Fabio Gadducci and
                  Timo Kehrer},
  title        = {Computing Embeddings of Directed Bigraphs},
  booktitle    = {Graph Transformation - 13th International Conference, {ICGT} 2020,
                  Held as Part of {STAF} 2020, Bergen, Norway, June 25-26, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12150},
  pages        = {38--56},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-51372-6\_3},
  doi          = {10.1007/978-3-030-51372-6\_3},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/ChiapperiniMP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/MiculanP20,
  author       = {Marino Miculan and
                  Marco Peressotti},
  editor       = {Gennaro Cordasco and
                  Luisa Gargano and
                  Adele A. Rescigno},
  title        = {Software Transactional Memory with Interactions},
  booktitle    = {Proceedings of the 21st Italian Conference on Theoretical Computer
                  Science, Ischia, Italy, September 14-16, 2020},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2756},
  pages        = {67--80},
  publisher    = {CEUR-WS.org},
  year         = {2020},
  url          = {https://ceur-ws.org/Vol-2756/paper\_7.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:17 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/MiculanP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itasec/MiculanT20,
  author       = {Marino Miculan and
                  Daniel Tosone},
  editor       = {Franco Chiaraluce and
                  Leonardo Mostarda},
  title        = {Securing the Art Market with Distributed Public Ledgers},
  booktitle    = {Proceedings of the 3rd Distributed Ledger Technology Workshop Co-located
                  with {ITASEC} 2020, Ancona, Italy, February 4, 2020},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2580},
  publisher    = {CEUR-WS.org},
  year         = {2020},
  url          = {https://ceur-ws.org/Vol-2580/DLT\_2020\_paper\_4.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:11 +0100},
  biburl       = {https://dblp.org/rec/conf/itasec/MiculanT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BurcoMP20,
  author       = {Fabio Burco and
                  Marino Miculan and
                  Marco Peressotti},
  editor       = {Chih{-}Cheng Hung and
                  Tom{\'{a}}s Cern{\'{y}} and
                  Dongwan Shin and
                  Alessio Bechini},
  title        = {Towards a formal model for composable container systems},
  booktitle    = {{SAC} '20: The 35th {ACM/SIGAPP} Symposium on Applied Computing, online
                  event, [Brno, Czech Republic], March 30 - April 3, 2020},
  pages        = {173--175},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3341105.3374121},
  doi          = {10.1145/3341105.3374121},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/BurcoMP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-10209,
  author       = {Alessio Chiapperini and
                  Marino Miculan and
                  Marco Peressotti},
  title        = {A {CSP} implementation of the directed bigraph embedding problem},
  journal      = {CoRR},
  volume       = {abs/2003.10209},
  year         = {2020},
  url          = {https://arxiv.org/abs/2003.10209},
  eprinttype    = {arXiv},
  eprint       = {2003.10209},
  timestamp    = {Tue, 24 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2003-10209.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-04213,
  author       = {Davide Castelnovo and
                  Marino Miculan},
  title        = {Closure hyperdoctrines, with paths},
  journal      = {CoRR},
  volume       = {abs/2007.04213},
  year         = {2020},
  url          = {https://arxiv.org/abs/2007.04213},
  eprinttype    = {arXiv},
  eprint       = {2007.04213},
  timestamp    = {Mon, 20 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2007-04213.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-10809,
  author       = {Marino Miculan and
                  Marco Peressotti},
  title        = {Software Transactional Memory with Interactions},
  journal      = {CoRR},
  volume       = {abs/2007.10809},
  year         = {2020},
  url          = {https://arxiv.org/abs/2007.10809},
  eprinttype    = {arXiv},
  eprint       = {2007.10809},
  timestamp    = {Tue, 28 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2007-10809.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-03141,
  author       = {Marino Miculan and
                  Nicola Vitacolonna},
  title        = {Automated Symbolic Verification of Telegram's MTProto 2.0},
  journal      = {CoRR},
  volume       = {abs/2012.03141},
  year         = {2020},
  url          = {https://arxiv.org/abs/2012.03141},
  eprinttype    = {arXiv},
  eprint       = {2012.03141},
  timestamp    = {Wed, 09 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2012-03141.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BernardoM19,
  author       = {Marco Bernardo and
                  Marino Miculan},
  title        = {Constructive logical characterizations of bisimilarity for reactive
                  probabilistic systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {764},
  pages        = {80--99},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.tcs.2018.12.003},
  doi          = {10.1016/J.TCS.2018.12.003},
  timestamp    = {Fri, 12 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/BernardoM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/GeattiIM19,
  author       = {Luca Geatti and
                  Federico Igne and
                  Marino Miculan},
  editor       = {Alessandra Cherubini and
                  Nicoletta Sabadini and
                  Simone Tini},
  title        = {An Abstract Distributed Middleware for Transactions over Heterogeneous
                  Stores},
  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        = {171--183},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2504/paper20.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:17 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/GeattiIM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itasec/MiculanFP19,
  author       = {Marino Miculan and
                  Gian Luca Foresti and
                  Claudio Piciarelli},
  editor       = {Pierpaolo Degano and
                  Roberto Zunino},
  title        = {Towards User Recognition by Shallow Web Traffic Inspection},
  booktitle    = {Proceedings of the Third Italian Conference on Cyber Security, Pisa,
                  Italy, February 13-15, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2315},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2315/paper08.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:11 +0100},
  biburl       = {https://dblp.org/rec/conf/itasec/MiculanFP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-01107,
  author       = {Fabio Burco and
                  Marino Miculan and
                  Marco Peressotti},
  title        = {Towards a Formal Model for Composable Container Systems},
  journal      = {CoRR},
  volume       = {abs/1912.01107},
  year         = {2019},
  url          = {http://arxiv.org/abs/1912.01107},
  eprinttype    = {arXiv},
  eprint       = {1912.01107},
  timestamp    = {Thu, 02 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1912-01107.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/HildebrandtM18,
  author       = {Thomas T. Hildebrandt and
                  Marino Miculan},
  title        = {Guest editors' foreword},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {95},
  pages        = {147},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jlamp.2017.12.001},
  doi          = {10.1016/J.JLAMP.2017.12.001},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/HildebrandtM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/MansuttiM18,
  author       = {Alessio Mansutti and
                  Marino Miculan},
  editor       = {Alessandro Aldini and
                  Marco Bernardo},
  title        = {Deciding Hedged Bisimilarity},
  booktitle    = {Proceedings of the 19th Italian Conference on Theoretical Computer
                  Science, Urbino, Italy, September 18-20, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2243},
  pages        = {218--229},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {https://ceur-ws.org/Vol-2243/paper22.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:17 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/MansuttiM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/MiculanP17,
  author       = {Marino Miculan and
                  Marco Peressotti},
  editor       = {Dario Della Monica and
                  Aniello Murano and
                  Sasha Rubin and
                  Luigi Sauro},
  title        = {Deciding Weak Weighted Bisimulation},
  booktitle    = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer
                  Science and the 32nd Italian Conference on Computational Logic co-located
                  with the 2017 {IEEE} International Workshop on Measurements and Networking
                  {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1949},
  pages        = {126--137},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1949/ICTCSpaper11.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:17 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/MiculanP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/MansuttiMP17,
  author       = {Alessio Mansutti and
                  Marino Miculan and
                  Marco Peressotti},
  editor       = {Martina Seidl and
                  Steffen Zschaler},
  title        = {Loose Graph Simulations},
  booktitle    = {Software Technologies: Applications and Foundations - {STAF} 2017
                  Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10748},
  pages        = {109--126},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-74730-9\_9},
  doi          = {10.1007/978-3-319-74730-9\_9},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/staf/MansuttiMP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MiculanP17,
  author       = {Marino Miculan and
                  Marco Peressotti},
  title        = {Reductions for Transition Systems at Work: Deriving a Logical Characterization
                  of Quantitative Bisimulation},
  journal      = {CoRR},
  volume       = {abs/1704.07181},
  year         = {2017},
  url          = {http://arxiv.org/abs/1704.07181},
  eprinttype    = {arXiv},
  eprint       = {1704.07181},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/MiculanP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MansuttiMP17,
  author       = {Alessio Mansutti and
                  Marino Miculan and
                  Marco Peressotti},
  title        = {Loose Graph Simulations},
  journal      = {CoRR},
  volume       = {abs/1705.08241},
  year         = {2017},
  url          = {http://arxiv.org/abs/1705.08241},
  eprinttype    = {arXiv},
  eprint       = {1705.08241},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/MansuttiMP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MiculanP16,
  author       = {Marino Miculan and
                  Marco Peressotti},
  title        = {Structural operational semantics for non-deterministic processes with
                  quantitative aspects},
  journal      = {Theor. Comput. Sci.},
  volume       = {655},
  pages        = {135--154},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.tcs.2016.01.012},
  doi          = {10.1016/J.TCS.2016.01.012},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/MiculanP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/MiculanP16,
  author       = {Marino Miculan and
                  Marco Peressotti},
  editor       = {Vittorio Bil{\`{o}} and
                  Antonio Caruso},
  title        = {On the Bisimulation Hierarchy of State-to-Function Transition Systems},
  booktitle    = {Proceedings of the 17th Italian Conference on Theoretical Computer
                  Science, Lecce, Italy, September 7-9, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1720},
  pages        = {88--102},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1720/full7.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:17 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/MiculanP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/BernardoM16,
  author       = {Marco Bernardo and
                  Marino Miculan},
  editor       = {Vittorio Bil{\`{o}} and
                  Antonio Caruso},
  title        = {Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on
                  Reactive Probabilistic Systems},
  booktitle    = {Proceedings of the 17th Italian Conference on Theoretical Computer
                  Science, Lecce, Italy, September 7-9, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1720},
  pages        = {203--220},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1720/full15.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/BernardoM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BernardoM16,
  author       = {Marco Bernardo and
                  Marino Miculan},
  title        = {Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on
                  Reactive Probabilistic Systems},
  journal      = {CoRR},
  volume       = {abs/1601.06198},
  year         = {2016},
  url          = {http://arxiv.org/abs/1601.06198},
  eprinttype    = {arXiv},
  eprint       = {1601.06198},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BernardoM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MiculanP16,
  author       = {Marino Miculan and
                  Marco Peressotti},
  title        = {A Specification of Open Transactional Memory for Haskell},
  journal      = {CoRR},
  volume       = {abs/1602.05365},
  year         = {2016},
  url          = {http://arxiv.org/abs/1602.05365},
  eprinttype    = {arXiv},
  eprint       = {1602.05365},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/MiculanP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MansuttiM16,
  author       = {Alessio Mansutti and
                  Marino Miculan},
  title        = {Deciding Hedged Bisimilarity},
  journal      = {CoRR},
  volume       = {abs/1611.03424},
  year         = {2016},
  url          = {http://arxiv.org/abs/1611.03424},
  eprinttype    = {arXiv},
  eprint       = {1611.03424},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/MansuttiM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BacciM15,
  author       = {Giorgio Bacci and
                  Marino Miculan},
  title        = {Structural operational semantics for continuous state stochastic transition
                  systems},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {81},
  number       = {5},
  pages        = {834--858},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jcss.2014.12.003},
  doi          = {10.1016/J.JCSS.2014.12.003},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/BacciM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BrengosMP15,
  author       = {Tomasz Brengos and
                  Marino Miculan and
                  Marco Peressotti},
  title        = {Behavioural equivalences for coalgebras with unobservable moves},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {84},
  number       = {6},
  pages        = {826--852},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jlamp.2015.09.002},
  doi          = {10.1016/J.JLAMP.2015.09.002},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/BrengosMP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/MiculanPT15,
  author       = {Marino Miculan and
                  Marco Peressotti and
                  Andrea Toneguzzo},
  editor       = {Tom Holvoet and
                  Mirko Viroli},
  title        = {Open Transactions on Shared Memory},
  booktitle    = {Coordination Models and Languages - 17th {IFIP} {WG} 6.1 International
                  Conference, {COORDINATION} 2015, Held as Part of the 10th International
                  Federated Conference on Distributed Computing Techniques, DisCoTec
                  2015, Grenoble, France, June 2-4, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9037},
  pages        = {213--229},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19282-6\_14},
  doi          = {10.1007/978-3-319-19282-6\_14},
  timestamp    = {Fri, 27 Mar 2020 08:47:36 +0100},
  biburl       = {https://dblp.org/rec/conf/coordination/MiculanPT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MansuttiMP15,
  author       = {Alessio Mansutti and
                  Marino Miculan and
                  Marco Peressotti},
  title        = {Distributed execution of bigraphical reactive systems},
  journal      = {CoRR},
  volume       = {abs/1503.02434},
  year         = {2015},
  url          = {http://arxiv.org/abs/1503.02434},
  eprinttype    = {arXiv},
  eprint       = {1503.02434},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/MansuttiMP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MiculanPT15,
  author       = {Marino Miculan and
                  Marco Peressotti and
                  Andrea Toneguzzo},
  title        = {Open Transactions on Shared Memory},
  journal      = {CoRR},
  volume       = {abs/1503.09097},
  year         = {2015},
  url          = {http://arxiv.org/abs/1503.09097},
  eprinttype    = {arXiv},
  eprint       = {1503.09097},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/MiculanPT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/MansuttiMP14,
  author       = {Alessio Mansutti and
                  Marino Miculan and
                  Marco Peressotti},
  title        = {Distributed execution of bigraphical reactive systems},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {71},
  year         = {2014},
  url          = {https://doi.org/10.14279/tuj.eceasst.71.994},
  doi          = {10.14279/TUJ.ECEASST.71.994},
  timestamp    = {Thu, 23 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/MansuttiMP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dais/MansuttiMP14,
  author       = {Alessio Mansutti and
                  Marino Miculan and
                  Marco Peressotti},
  editor       = {Kostas Magoutis and
                  Peter R. Pietzuch},
  title        = {Multi-agent Systems Design and Prototyping with Bigraphical Reactive
                  Systems},
  booktitle    = {Distributed Applications and Interoperable Systems - 14th {IFIP} {WG}
                  6.1 International Conference, {DAIS} 2014, Held as Part of the 9th
                  International Federated Conference on Distributed Computing Techniques,
                  DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8460},
  pages        = {201--208},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-43352-2\_16},
  doi          = {10.1007/978-3-662-43352-2\_16},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/dais/MansuttiMP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/BizjakBM14,
  author       = {Ales Bizjak and
                  Lars Birkedal and
                  Marino Miculan},
  editor       = {Gilles Dowek},
  title        = {A Model of Countable Nondeterminism in Guarded Type Theory},
  booktitle    = {Rewriting and Typed Lambda Calculi - Joint International Conference,
                  {RTA-TLCA} 2014, Held as Part of the Vienna Summer of Logic, {VSL}
                  2014, Vienna, Austria, July 14-17, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8560},
  pages        = {108--123},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-08918-8\_8},
  doi          = {10.1007/978-3-319-08918-8\_8},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/BizjakBM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/BacciMR14,
  author       = {Giorgio Bacci and
                  Marino Miculan and
                  Romeo Rizzi},
  editor       = {Matteo Maffei and
                  Emilio Tuosto},
  title        = {Finding a Forest in a Tree - The Matching Problem for Wide Reactive
                  Systems},
  booktitle    = {Trustworthy Global Computing - 9th International Symposium, {TGC}
                  2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8902},
  pages        = {17--33},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-45917-1\_2},
  doi          = {10.1007/978-3-662-45917-1\_2},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/tgc/BacciMR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/MiculanP14,
  author       = {Marino Miculan and
                  Marco Peressotti},
  editor       = {Nathalie Bertrand and
                  Luca Bortolussi},
  title        = {{GSOS} for non-deterministic processes with quantitative aspects},
  booktitle    = {Proceedings Twelfth International Workshop on Quantitative Aspects
                  of Programming Languages and Systems, {QAPL} 2014, Grenoble, France,
                  12-13 April 2014},
  series       = {{EPTCS}},
  volume       = {154},
  pages        = {17--33},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.154.2},
  doi          = {10.4204/EPTCS.154.2},
  timestamp    = {Tue, 29 Dec 2020 18:21:13 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/MiculanP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MiculanP14a,
  author       = {Marino Miculan and
                  Marco Peressotti},
  title        = {Structural operational semantics for non-deterministic processes with
                  quantitative aspects},
  journal      = {CoRR},
  volume       = {abs/1410.0893},
  year         = {2014},
  url          = {http://arxiv.org/abs/1410.0893},
  eprinttype    = {arXiv},
  eprint       = {1410.0893},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/MiculanP14a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrengosMP14,
  author       = {Tomasz Brengos and
                  Marino Miculan and
                  Marco Peressotti},
  title        = {Behavioural equivalences for coalgebras with unobservable moves},
  journal      = {CoRR},
  volume       = {abs/1411.0090},
  year         = {2014},
  url          = {http://arxiv.org/abs/1411.0090},
  eprinttype    = {arXiv},
  eprint       = {1411.0090},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BrengosMP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MiculanP14b,
  author       = {Marino Miculan and
                  Marco Peressotti},
  title        = {A {CSP} implementation of the bigraph embedding problem},
  journal      = {CoRR},
  volume       = {abs/1412.1042},
  year         = {2014},
  url          = {http://arxiv.org/abs/1412.1042},
  eprinttype    = {arXiv},
  eprint       = {1412.1042},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/MiculanP14b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MiculanP13,
  author       = {Marino Miculan and
                  Marco Peressotti},
  title        = {Weak bisimulations for labelled transition systems weighted over semirings},
  journal      = {CoRR},
  volume       = {abs/1310.4106},
  year         = {2013},
  url          = {http://arxiv.org/abs/1310.4106},
  eprinttype    = {arXiv},
  eprint       = {1310.4106},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/MiculanP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BacciM12,
  author       = {Giorgio Bacci and
                  Marino Miculan},
  title        = {Measurable stochastics for Brane Calculus},
  journal      = {Theor. Comput. Sci.},
  volume       = {431},
  pages        = {117--136},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2011.12.055},
  doi          = {10.1016/J.TCS.2011.12.055},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BacciM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmcs/BacciM12,
  author       = {Giorgio Bacci and
                  Marino Miculan},
  editor       = {Dirk Pattinson and
                  Lutz Schr{\"{o}}der},
  title        = {Structural Operational Semantics for Continuous State Probabilistic
                  Processes},
  booktitle    = {Coalgebraic Methods in Computer Science - 11th International Workshop,
                  {CMCS} 2012, Colocated with {ETAPS} 2012, Tallinn, Estonia, March
                  31 - April 1, 2012, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7399},
  pages        = {71--89},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32784-1\_5},
  doi          = {10.1007/978-3-642-32784-1\_5},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/cmcs/BacciM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/MiculanP12,
  author       = {Marino Miculan and
                  Marco Paviotti},
  editor       = {Lennart Beringer and
                  Amy P. Felty},
  title        = {Synthesis of Distributed Mobile Programs Using Monadic Types in Coq},
  booktitle    = {Interactive Theorem Proving - Third International Conference, {ITP}
                  2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7406},
  pages        = {183--200},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32347-8\_13},
  doi          = {10.1007/978-3-642-32347-8\_13},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/itp/MiculanP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1211-4094,
  author       = {Marino Miculan and
                  Ilaria Sambarino},
  editor       = {Gabriel Ciobanu},
  title        = {Implementing the Stochastics Brane Calculus in a Generic Stochastic
                  Abstract Machine},
  booktitle    = {Proceedings 6th Workshop on Membrane Computing and Biologically Inspired
                  Process Calculi, MeCBIC 2012, Newcastle, UK, 8th September 2012},
  series       = {{EPTCS}},
  volume       = {100},
  pages        = {82--100},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.100.6},
  doi          = {10.4204/EPTCS.100.6},
  timestamp    = {Tue, 29 Dec 2020 18:21:24 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1211-4094.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secrypt/MaieroM11,
  author       = {Carlo Maiero and
                  Marino Miculan},
  editor       = {Javier L{\'{o}}pez and
                  Pierangela Samarati},
  title        = {Unobservable Intrusion Detection based on Call Traces in Paravirtualized
                  Systems},
  booktitle    = {{SECRYPT} 2011 - Proceedings of the International Conference on Security
                  and Cryptography, Seville, Spain, 18 - 21 July, 2011, {SECRYPT} is
                  part of {ICETE} - The International Joint Conference on e-Business
                  and Telecommunications},
  pages        = {300--306},
  publisher    = {SciTePress},
  year         = {2011},
  timestamp    = {Thu, 29 Aug 2019 08:10:02 +0200},
  biburl       = {https://dblp.org/rec/conf/secrypt/MaieroM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/GrohmannM10,
  author       = {Davide Grohmann and
                  Marino Miculan},
  title        = {Graph Algebras for Bigraphs},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {29},
  year         = {2010},
  url          = {https://doi.org/10.14279/tuj.eceasst.29.414},
  doi          = {10.14279/TUJ.ECEASST.29.414},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/GrohmannM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1011-0488,
  author       = {Giorgio Bacci and
                  Marino Miculan},
  editor       = {Gabriel Ciobanu and
                  Maciej Koutny},
  title        = {Measurable Stochastics for Brane Calculus},
  booktitle    = {Proceedings Fourth Workshop on Membrane Computing and Biologically
                  Inspired Process Calculi, MeCBIC 2010, Jena, Germany, 23 August 2010},
  series       = {{EPTCS}},
  volume       = {40},
  pages        = {6--22},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.40.2},
  doi          = {10.4204/EPTCS.40.2},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1011-0488.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1009-2189,
  editor       = {Karl Crary and
                  Marino Miculan},
  title        = {Proceedings 5th International Workshop on Logical Frameworks and Meta-languages:
                  Theory and Practice, {LFMTP} 2010, Edinburgh, UK, 14th July 2010},
  series       = {{EPTCS}},
  volume       = {34},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.34},
  doi          = {10.4204/EPTCS.34},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1009-2189.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/BacciGM09,
  author       = {Giorgio Bacci and
                  Davide Grohmann and
                  Marino Miculan},
  editor       = {Alexander Kurz and
                  Marina Lenisa and
                  Andrzej Tarlecki},
  title        = {DBtk: {A} Toolkit for Directed Bigraphs},
  booktitle    = {Algebra and Coalgebra in Computer Science, Third International Conference,
                  {CALCO} 2009, Udine, Italy, September 7-10, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5728},
  pages        = {413--422},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-03741-2\_28},
  doi          = {10.1007/978-3-642-03741-2\_28},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/BacciGM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-0911-4510,
  author       = {Giorgio Bacci and
                  Davide Grohmann and
                  Marino Miculan},
  editor       = {Gabriel Ciobanu},
  title        = {Bigraphical models for protein and membrane interactions},
  booktitle    = {Proceedings Third Workshop on Membrane Computing and Biologically
                  Inspired Process Calculi, MeCBIC 2009, Bologna, Italy, 5th September
                  2009},
  series       = {{EPTCS}},
  volume       = {11},
  pages        = {3--18},
  year         = {2009},
  url          = {https://doi.org/10.4204/EPTCS.11.1},
  doi          = {10.4204/EPTCS.11.1},
  timestamp    = {Tue, 29 Dec 2020 18:21:21 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0911-4510.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-0911-4513,
  author       = {Giorgio Bacci and
                  Davide Grohmann and
                  Marino Miculan},
  editor       = {Gabriel Ciobanu},
  title        = {A framework for protein and membrane interactions},
  booktitle    = {Proceedings Third Workshop on Membrane Computing and Biologically
                  Inspired Process Calculi, MeCBIC 2009, Bologna, Italy, 5th September
                  2009},
  series       = {{EPTCS}},
  volume       = {11},
  pages        = {19--33},
  year         = {2009},
  url          = {https://doi.org/10.4204/EPTCS.11.2},
  doi          = {10.4204/EPTCS.11.2},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0911-4513.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/GrohmannM08,
  author       = {Davide Grohmann and
                  Marino Miculan},
  title        = {Controlling resource access in Directed Bigraphs},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {10},
  year         = {2008},
  url          = {https://doi.org/10.14279/tuj.eceasst.10.142},
  doi          = {10.14279/TUJ.ECEASST.10.142},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/GrohmannM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/GrohmannM08a,
  author       = {Davide Grohmann and
                  Marino Miculan},
  title        = {Deriving Barbed Bisimulations for Bigraphical Reactive Systems},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {16},
  year         = {2008},
  url          = {https://doi.org/10.14279/tuj.eceasst.16.254},
  doi          = {10.14279/TUJ.ECEASST.16.254},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eceasst/GrohmannM08a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/CrafaMMPR08,
  author       = {Silvia Crafa and
                  Matteo Mio and
                  Marino Miculan and
                  Carla Piazza and
                  Sabina Rossi},
  editor       = {Jonathan Billington and
                  Zhenhua Duan and
                  Maciej Koutny},
  title        = {PicNIc - Pi-calculus non-interference checker},
  booktitle    = {8th International Conference on Application of Concurrency to System
                  Design {(ACSD} 2008), Xi'an, China, June 23-27, 2008},
  pages        = {33--38},
  publisher    = {{IEEE}},
  year         = {2008},
  url          = {https://doi.org/10.1109/ACSD.2008.4574592},
  doi          = {10.1109/ACSD.2008.4574592},
  timestamp    = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl       = {https://dblp.org/rec/conf/acsd/CrafaMMPR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/KahsaiM08,
  author       = {Temesghen Kahsai and
                  Marino Miculan},
  editor       = {Arnold Beckmann and
                  Costas Dimitracopoulos and
                  Benedikt L{\"{o}}we},
  title        = {Implementing Spi Calculus Using Nominal Techniques},
  booktitle    = {Logic and Theory of Algorithms, 4th Conference on Computability in
                  Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5028},
  pages        = {294--305},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69407-6\_33},
  doi          = {10.1007/978-3-540-69407-6\_33},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/KahsaiM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Miculan08,
  author       = {Marino Miculan},
  editor       = {Andrej Bauer and
                  Michael W. Mislove},
  title        = {A Categorical Model of the Fusion Calculus},
  booktitle    = {Proceedings of the 24th Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2008, Philadelphia, PA, USA, May
                  22-25, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {218},
  pages        = {275--293},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2008.10.017},
  doi          = {10.1016/J.ENTCS.2008.10.017},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Miculan08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/types/2007,
  editor       = {Marino Miculan and
                  Ivan Scagnetto and
                  Furio Honsell},
  title        = {Types for Proofs and Programs, International Conference, {TYPES} 2007,
                  Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4941},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68103-8},
  doi          = {10.1007/978-3-540-68103-8},
  isbn         = {978-3-540-68084-0},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/types/2007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/CiaffaglioneLM07,
  author       = {Alberto Ciaffaglione and
                  Luigi Liquori and
                  Marino Miculan},
  title        = {Reasoning about Object-based Calculi in (Co)Inductive Type Theory
                  and the Theory of Contexts},
  journal      = {J. Autom. Reason.},
  volume       = {39},
  number       = {1},
  pages        = {1--47},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10817-006-9061-y},
  doi          = {10.1007/S10817-006-9061-Y},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/CiaffaglioneLM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GrohmannM07,
  author       = {Davide Grohmann and
                  Marino Miculan},
  editor       = {Lu{\'{\i}}s Caires and
                  Vasco Thudichum Vasconcelos},
  title        = {Reactive Systems over Directed Bigraphs},
  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        = {380--394},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74407-8\_26},
  doi          = {10.1007/978-3-540-74407-8\_26},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/concur/GrohmannM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BacciM08,
  author       = {Giorgio Bacci and
                  Marino Miculan},
  editor       = {Vincent Danos and
                  Mariangiola Dezani},
  title        = {Undecidability of Model Checking in Brane Logic},
  booktitle    = {Proceedings of the Third International Workshop on Developments in
                  Computational Models, DCM@ICALP 2007, Wroclaw, Poland, July 15, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {192},
  number       = {3},
  pages        = {23--37},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2008.10.025},
  doi          = {10.1016/J.ENTCS.2008.10.025},
  timestamp    = {Thu, 09 Feb 2023 11:01:17 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BacciM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GrohmannM08,
  author       = {Davide Grohmann and
                  Marino Miculan},
  editor       = {Ian Mackie and
                  Detlef Plump},
  title        = {An Algebra for Directed Bigraphs},
  booktitle    = {Proceedings of the Fourth International Workshop on Computing with
                  Terms and Graphs, TERMGRAPH@ETAPS 2007, Braga, Portugal, March 31,
                  2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {203},
  number       = {1},
  pages        = {49--63},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2008.03.033},
  doi          = {10.1016/J.ENTCS.2008.03.033},
  timestamp    = {Mon, 13 Feb 2023 11:34:10 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GrohmannM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GrohmannM07,
  author       = {Davide Grohmann and
                  Marino Miculan},
  editor       = {Marcelo Fiore},
  title        = {Directed Bigraphs},
  booktitle    = {Proceedings of the 23rd Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2007, New Orleans, LA, USA, April
                  11-14, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {173},
  pages        = {121--137},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.02.031},
  doi          = {10.1016/J.ENTCS.2007.02.031},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GrohmannM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BucaloHMSH06,
  author       = {Anna Bucalo and
                  Furio Honsell and
                  Marino Miculan and
                  Ivan Scagnetto and
                  Martin Hofmann},
  title        = {Consistency of the theory of contexts},
  journal      = {J. Funct. Program.},
  volume       = {16},
  number       = {3},
  pages        = {327--372},
  year         = {2006},
  url          = {https://doi.org/10.1017/S0956796806005892},
  doi          = {10.1017/S0956796806005892},
  timestamp    = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/BucaloHMSH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/GadducciMM06,
  author       = {Fabio Gadducci and
                  Marino Miculan and
                  Ugo Montanari},
  title        = {About permutation algebras, (pre)sheaves and named sets},
  journal      = {High. Order Symb. Comput.},
  volume       = {19},
  number       = {2-3},
  pages        = {283--304},
  year         = {2006},
  url          = {https://doi.org/10.1007/s10990-006-8749-3},
  doi          = {10.1007/S10990-006-8749-3},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lisp/GadducciMM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/MiculanB06,
  author       = {Marino Miculan and
                  Giorgio Bacci},
  editor       = {Corrado Priami},
  title        = {Modal Logics for Brane Calculus},
  booktitle    = {Computational Methods in Systems Biology, International Conference,
                  {CMSB} 2006, Trento, Italy, October 18-19, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4210},
  pages        = {1--16},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11885191\_1},
  doi          = {10.1007/11885191\_1},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cmsb/MiculanB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/MiculanY05,
  author       = {Marino Miculan and
                  Kidane Yemane},
  editor       = {Vladimiro Sassone},
  title        = {A Unifying Model of Variables and Names},
  booktitle    = {Foundations of Software Science and Computational Structures, 8th
                  International Conference, {FOSSACS} 2005, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2005,
                  Edinburgh, UK, April 4-8, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3441},
  pages        = {170--186},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-31982-5\_11},
  doi          = {10.1007/978-3-540-31982-5\_11},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fossacs/MiculanY05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/MiculanSH05,
  author       = {Marino Miculan and
                  Ivan Scagnetto and
                  Furio Honsell},
  editor       = {Randy Pollack},
  title        = {Translating specifications from nominal logic to {CIC} with the theory
                  of contexts},
  booktitle    = {{ACM} {SIGPLAN} International Conference on Functional Programming,
                  Workshop on Mechanized reasoning about languages with variable binding,
                  {MERLIN} 2005, Tallinn, Estonia, September 30, 2005},
  pages        = {41--49},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1088454.1088460},
  doi          = {10.1145/1088454.1088460},
  timestamp    = {Mon, 12 Jul 2021 15:34:15 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/MiculanSH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/GianantonioM04,
  author       = {Pietro Di Gianantonio and
                  Marino Miculan},
  editor       = {Igor Walukiewicz},
  title        = {Unifying Recursive and Co-recursive Definitions in Sheaf Categories},
  booktitle    = {Foundations of Software Science and Computation Structures, 7th International
                  Conference, {FOSSACS} 2004, Held as Part of the Joint European Conferences
                  on Theory and Practice of Software, {ETAPS} 2004, Barcelona, Spain,
                  March 29 - April 2, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2987},
  pages        = {136--150},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24727-2\_11},
  doi          = {10.1007/978-3-540-24727-2\_11},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/GianantonioM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BruniHLM04,
  author       = {Roberto Bruni and
                  Furio Honsell and
                  Marina Lenisa and
                  Marino Miculan},
  editor       = {Jir{\'{\i}} Ad{\'{a}}mek and
                  Stefan Milius},
  title        = {Modeling Fresh Names in the ?-calculus Using Abstractions},
  booktitle    = {Proceedings of the Workshop on Coalgebraic Methods in Computer Science,
                  {CMCS} 2004, Barcelona, Spain, March 27-29, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {106},
  pages        = {25--41},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.02.039},
  doi          = {10.1016/J.ENTCS.2004.02.039},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BruniHLM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cometa/2003,
  editor       = {Furio Honsell and
                  Marina Lenisa and
                  Marino Miculan},
  title        = {Proceedings of the Workshop of the {COMETA} Project on Computational
                  Metamodels, {COMETA} 2003, Udine, Italy, December 15-17, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {104},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/104/suppl/C},
  timestamp    = {Fri, 09 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cometa/2003.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/CiaffaglioneLM03,
  author       = {Alberto Ciaffaglione and
                  Luigi Liquori and
                  Marino Miculan},
  title        = {Reasoning on an imperative object-based calculus in Higher Order Abstract
                  Syntax},
  booktitle    = {Eighth {ACM} {SIGPLAN} International Conference on Functional Programming,
                  Workshop on Mechanized reasoning about languages with variable binding,
                  {MERLIN} 2003, Uppsala, Sweden, August 2003},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/976571.976574},
  doi          = {10.1145/976571.976574},
  timestamp    = {Mon, 12 Jul 2021 15:34:15 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/CiaffaglioneLM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/CiaffaglioneLM03,
  author       = {Alberto Ciaffaglione and
                  Luigi Liquori and
                  Marino Miculan},
  editor       = {Moshe Y. Vardi and
                  Andrei Voronkov},
  title        = {Imperative Object-Based Calculi in Co-inductive Type Theories},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th
                  International Conference, {LPAR} 2003, Almaty, Kazakhstan, September
                  22-26, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2850},
  pages        = {59--77},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-39813-4\_4},
  doi          = {10.1007/978-3-540-39813-4\_4},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpar/CiaffaglioneLM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/MiculanS03,
  author       = {Marino Miculan and
                  Ivan Scagnetto},
  title        = {A framework for typed {HOAS} and semantics},
  booktitle    = {Proceedings of the 5th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, 27-29 August 2003,
                  Uppsala, Sweden},
  pages        = {184--194},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/888251.888269},
  doi          = {10.1145/888251.888269},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/MiculanS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HonsellLM04,
  author       = {Furio Honsell and
                  Marina Lenisa and
                  Marino Miculan},
  editor       = {Furio Honsell and
                  Marina Lenisa and
                  Marino Miculan},
  title        = {Preface},
  booktitle    = {Proceedings of the Workshop of the {COMETA} Project on Computational
                  Metamodels, {COMETA} 2003, Udine, Italy, December 15-17, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {104},
  pages        = {1--3},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/j.entcs.2004.04.041},
  doi          = {10.1016/J.ENTCS.2004.04.041},
  timestamp    = {Fri, 09 Dec 2022 11:43:33 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HonsellLM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GadducciMM04,
  author       = {Fabio Gadducci and
                  Marino Miculan and
                  Ugo Montanari},
  editor       = {Furio Honsell and
                  Marina Lenisa and
                  Marino Miculan},
  title        = {Some Characterization Results for Permutation Algebras},
  booktitle    = {Proceedings of the Workshop of the {COMETA} Project on Computational
                  Metamodels, {COMETA} 2003, Udine, Italy, December 15-17, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {104},
  pages        = {129--147},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/j.entcs.2004.08.022},
  doi          = {10.1016/J.ENTCS.2004.08.022},
  timestamp    = {Fri, 09 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GadducciMM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/GianantonioM02,
  author       = {Pietro Di Gianantonio and
                  Marino Miculan},
  editor       = {Herman Geuvers and
                  Freek Wiedijk},
  title        = {A Unifying Approach to Recursive and Co-recursive Definitions},
  booktitle    = {Types for Proofs and Programs, Second International Workshop, {TYPES}
                  2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2646},
  pages        = {148--161},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-39185-1\_9},
  doi          = {10.1007/3-540-39185-1\_9},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/types/GianantonioM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ScagnettoM02,
  author       = {Ivan Scagnetto and
                  Marino Miculan},
  editor       = {Frank Pfenning},
  title        = {Ambient Calculus and its Logic in the Calculus of Inductive Constructions},
  booktitle    = {International Workshop on Logical Frameworks and Meta-Languages, {LFM}
                  2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {70},
  number       = {2},
  pages        = {76--95},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80507-3},
  doi          = {10.1016/S1571-0661(04)80507-3},
  timestamp    = {Tue, 06 Dec 2022 14:32:51 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ScagnettoM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tosca2/2001,
  editor       = {Marina Lenisa and
                  Marino Miculan},
  title        = {Theory of Concurrency, Higher Order Languages and Types, {TOSCA} 2001,
                  Udine, Italy, November 19-21, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {62},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/62/suppl/C},
  timestamp    = {Wed, 30 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tosca2/2001.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Miculan01,
  author       = {Marino Miculan},
  title        = {On the Formalization of the Modal {\(\mathrm{\mu}\)}-Calculus in the
                  Calculus of Inductive Constructions},
  journal      = {Inf. Comput.},
  volume       = {164},
  number       = {1},
  pages        = {199--231},
  year         = {2001},
  url          = {https://doi.org/10.1006/inco.2000.2902},
  doi          = {10.1006/INCO.2000.2902},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Miculan01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HonsellMS01,
  author       = {Furio Honsell and
                  Marino Miculan and
                  Ivan Scagnetto},
  title        = {pi-calculus in (Co)inductive-type theory},
  journal      = {Theor. Comput. Sci.},
  volume       = {253},
  number       = {2},
  pages        = {239--285},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0304-3975(00)00095-5},
  doi          = {10.1016/S0304-3975(00)00095-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/HonsellMS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HonsellMS01,
  author       = {Furio Honsell and
                  Marino Miculan and
                  Ivan Scagnetto},
  editor       = {Fernando Orejas and
                  Paul G. Spirakis and
                  Jan van Leeuwen},
  title        = {An Axiomatic Approach to Metareasoning on Nominal Algebras in {HOAS}},
  booktitle    = {Automata, Languages and Programming, 28th International Colloquium,
                  {ICALP} 2001, Crete, Greece, July 8-12, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2076},
  pages        = {963--978},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-48224-5\_78},
  doi          = {10.1007/3-540-48224-5\_78},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icalp/HonsellMS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HonsellMS01,
  author       = {Furio Honsell and
                  Marino Miculan and
                  Ivan Scagnetto},
  editor       = {Marina Lenisa and
                  Marino Miculan},
  title        = {The Theory of Contexts for First Order and Higher Order Abstract Syntax},
  booktitle    = {Theory of Concurrency, Higher Order Languages and Types, {TOSCA} 2001,
                  Udine, Italy, November 19-21, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {62},
  pages        = {116--135},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)00323-8},
  doi          = {10.1016/S1571-0661(04)00323-8},
  timestamp    = {Wed, 30 Nov 2022 12:15:34 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HonsellMS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BruniHLM01,
  author       = {Roberto Bruni and
                  Furio Honsell and
                  Marina Lenisa and
                  Marino Miculan},
  editor       = {Marina Lenisa and
                  Marino Miculan},
  title        = {Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic},
  booktitle    = {Theory of Concurrency, Higher Order Languages and Types, {TOSCA} 2001,
                  Udine, Italy, November 19-21, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {62},
  pages        = {136--156},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)00324-X},
  doi          = {10.1016/S1571-0661(04)00324-X},
  timestamp    = {Wed, 30 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BruniHLM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LenisaM01,
  author       = {Marina Lenisa and
                  Marino Miculan},
  editor       = {Marina Lenisa and
                  Marino Miculan},
  title        = {Preface},
  booktitle    = {Theory of Concurrency, Higher Order Languages and Types, {TOSCA} 2001,
                  Udine, Italy, November 19-21, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {62},
  pages        = {257--258},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(05)80561-4},
  doi          = {10.1016/S1571-0661(05)80561-4},
  timestamp    = {Wed, 30 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/LenisaM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/Miculan01,
  author       = {Marino Miculan},
  editor       = {Simon Ambler and
                  Roy L. Crole and
                  Alberto Momigliano},
  title        = {Developing (Meta)Theory of Lambda-calculus in the Theory of Context},
  booktitle    = {Mechanized Reasoning about Languages with Variable Binding, {MERLIN}
                  2001, in connection with {IJCAR} 2001, Siena, Italy, June 18, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {58},
  number       = {1},
  pages        = {37--58},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)00278-6},
  doi          = {10.1016/S1571-0661(04)00278-6},
  timestamp    = {Thu, 01 Dec 2022 15:28:01 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Miculan01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fossacs/2001,
  editor       = {Furio Honsell and
                  Marino Miculan},
  title        = {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},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45315-6},
  doi          = {10.1007/3-540-45315-6},
  isbn         = {3-540-41864-4},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/2001.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Miculan99,
  author       = {Marino Miculan},
  editor       = {Jir{\'{\i}} Wiedermann and
                  Peter van Emde Boas and
                  Mogens Nielsen},
  title        = {Formalizing a Lazy Substitution Proof System for {\(\mathrm{\mu}\)}-calculus
                  in the Calculus of Inductive Constructions},
  booktitle    = {Automata, Languages and Programming, 26th International Colloquium,
                  ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1644},
  pages        = {554--564},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48523-6\_52},
  doi          = {10.1007/3-540-48523-6\_52},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icalp/Miculan99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webnet/CerratoADFFMNCM99,
  author       = {Simona Cerrato and
                  Fabio A. Asnicar and
                  Paolo Dall'Aglio and
                  Amanda de Felice and
                  Massimo Di Fant and
                  Marco Mizzaro and
                  Fabrizio Nesti and
                  Maria Candusso and
                  Marino Miculan},
  editor       = {Paul De Bra and
                  John J. Leggett},
  title        = {The Journal of High Energy Physics: Scientific Publishing on the Web},
  booktitle    = {Proceedings of WebNet 99 - World Conference on the {WWW} and Internet,
                  Honolulu, Hawaii, USA, October 24-30, 1999},
  pages        = {1482--1483},
  publisher    = {{AACE}},
  year         = {1999},
  timestamp    = {Sat, 07 Sep 2019 11:59:24 +0200},
  biburl       = {https://dblp.org/rec/conf/webnet/CerratoADFFMNCM99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/AvronHMP98,
  author       = {Arnon Avron and
                  Furio Honsell and
                  Marino Miculan and
                  Cristian Paravano},
  title        = {Encoding Modal Logics in Logical Frameworks},
  journal      = {Stud Logica},
  volume       = {60},
  number       = {1},
  pages        = {161--208},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1005060022386},
  doi          = {10.1023/A:1005060022386},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sLogica/AvronHMP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-9809120,
  author       = {Marino Miculan},
  title        = {A Natural Deduction style proof system for propositional {\(\mu\)}-calculus
                  and its formalization in inductive type theories},
  journal      = {CoRR},
  volume       = {cs.LO/9809120},
  year         = {1998},
  url          = {https://arxiv.org/abs/cs/9809120},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-LO-9809120.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/MiculanG95,
  author       = {Marino Miculan and
                  Fabio Gadducci},
  title        = {Modal mu-Types for Processes},
  booktitle    = {Proceedings, 10th Annual {IEEE} Symposium on Logic in Computer Science,
                  San Diego, California, USA, June 26-29, 1995},
  pages        = {221--231},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/LICS.1995.523701},
  doi          = {10.1109/LICS.1995.523701},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/MiculanG95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/HonsellM95,
  author       = {Furio Honsell and
                  Marino Miculan},
  editor       = {Stefano Berardi and
                  Mario Coppo},
  title        = {A Natural Deduction Approach to Dynamic Logic},
  booktitle    = {Types for Proofs and Programs, International Workshop TYPES'95, Torino,
                  Italy, June 5-8, 1995, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1158},
  pages        = {165--182},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-61780-9\_69},
  doi          = {10.1007/3-540-61780-9\_69},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/types/HonsellM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/Miculan93,
  author       = {Marino Miculan},
  editor       = {Henk Barendregt and
                  Tobias Nipkow},
  title        = {The Expressive Power of Structural Operational Semantics with Explicit
                  Assumptions},
  booktitle    = {Types for Proofs and Programs, International Workshop TYPES'93, Nijmegen,
                  The Netherlands, May 24-28, 1993, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {806},
  pages        = {263--290},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-58085-9\_80},
  doi          = {10.1007/3-540-58085-9\_80},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/types/Miculan93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics