default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: G. Michele Pinna
@inproceedings{DBLP:conf/rc/LuogoMP24,
author = {Federico Dal Pio Luogo and
Claudio Antares Mezzina and
G. Michele Pinna},
editor = {Torben {\AE}gidius Mogensen and
Lukasz Mikulski},
title = {Model Checking Reversible Systems: Forwardly},
booktitle = {Reversible Computation - 16th International Conference, {RC} 2024,
Toru{\'{n}}, Poland, July 4-5, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14680},
pages = {218--237},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-62076-8\_14},
doi = {10.1007/978-3-031-62076-8\_14},
timestamp = {Tue, 18 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rc/LuogoMP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/MelgrattiMP23,
author = {Hern{\'{a}}n C. Melgratti and
Claudio Antares Mezzina and
G. Michele Pinna},
editor = {Marieke Huisman and
Ant{\'{o}}nio Ravara},
title = {Relating Reversible Petri Nets and Reversible Event Structures, Categorically},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 43rd {IFIP} {WG} 6.1 International Conference, {FORTE} 2023, Held
as Part of the 18th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23,
2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13910},
pages = {206--223},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35355-0\_13},
doi = {10.1007/978-3-031-35355-0\_13},
timestamp = {Tue, 20 Jun 2023 14:29:33 +0200},
biburl = {https://dblp.org/rec/conf/forte/MelgrattiMP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-14195,
author = {Hern{\'{a}}n C. Melgratti and
Claudio Antares Mezzina and
G. Michele Pinna},
title = {Relating Reversible Petri Nets and Reversible Event Structures, categorically},
journal = {CoRR},
volume = {abs/2302.14195},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.14195},
doi = {10.48550/ARXIV.2302.14195},
eprinttype = {arXiv},
eprint = {2302.14195},
timestamp = {Thu, 02 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-14195.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-14011,
author = {Hern{\'{a}}n C. Melgratti and
Claudio Antares Mezzina and
G. Michele Pinna},
title = {A Truly Concurrent Semantics for Reversible {CCS}},
journal = {CoRR},
volume = {abs/2309.14011},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.14011},
doi = {10.48550/ARXIV.2309.14011},
eprinttype = {arXiv},
eprint = {2309.14011},
timestamp = {Wed, 27 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-14011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-16714,
author = {Hern{\'{a}}n C. Melgratti and
Claudio Antares Mezzina and
G. Michele Pinna},
title = {A Reversible Perspective on Petri Nets and Event Structures},
journal = {CoRR},
volume = {abs/2312.16714},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.16714},
doi = {10.48550/ARXIV.2312.16714},
eprinttype = {arXiv},
eprint = {2312.16714},
timestamp = {Thu, 18 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-16714.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MelgrattiMP22,
author = {Hern{\'{a}}n C. Melgratti and
Claudio Antares Mezzina and
G. Michele Pinna},
title = {A Petri net view of covalent bonds},
journal = {Theor. Comput. Sci.},
volume = {908},
pages = {89--119},
year = {2022},
url = {https://doi.org/10.1016/j.tcs.2022.01.013},
doi = {10.1016/J.TCS.2022.01.013},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/MelgrattiMP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jmemcom/CiobanuP21,
author = {Gabriel Ciobanu and
G. Michele Pinna},
title = {Memory associated with membranes systems},
journal = {J. Membr. Comput.},
volume = {3},
number = {2},
pages = {116--132},
year = {2021},
url = {https://doi.org/10.1007/s41965-020-00066-8},
doi = {10.1007/S41965-020-00066-8},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jmemcom/CiobanuP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Pinna21,
author = {G. Michele Pinna},
title = {A new operational representation of dependencies in Event Structures},
journal = {Log. Methods Comput. Sci.},
volume = {17},
number = {4},
year = {2021},
url = {https://doi.org/10.46298/lmcs-17(4:16)2021},
doi = {10.46298/LMCS-17(4:16)2021},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/Pinna21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/MelgrattiMP21,
author = {Hern{\'{a}}n C. Melgratti and
Claudio Antares Mezzina and
G. Michele Pinna},
title = {A distributed operational view of Reversible Prime Event Structures},
booktitle = {36th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2021, Rome, Italy, June 29 - July 2, 2021},
pages = {1--13},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LICS52264.2021.9470623},
doi = {10.1109/LICS52264.2021.9470623},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/MelgrattiMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rc/MelgrattiMP21,
author = {Hern{\'{a}}n C. Melgratti and
Claudio Antares Mezzina and
G. Michele Pinna},
editor = {Shigeru Yamashita and
Tetsuo Yokoyama},
title = {Towards a Truly Concurrent Semantics for Reversible {CCS}},
booktitle = {Reversible Computation - 13th International Conference, {RC} 2021,
Virtual Event, July 7-8, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12805},
pages = {109--125},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-79837-6\_7},
doi = {10.1007/978-3-030-79837-6\_7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rc/MelgrattiMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/PinnaF20,
author = {G. Michele Pinna and
Eric Fabre},
title = {\emph{Spreading} nets: {A} uniform approach to unfoldings},
journal = {J. Log. Algebraic Methods Program.},
volume = {112},
pages = {100526},
year = {2020},
url = {https://doi.org/10.1016/j.jlamp.2020.100526},
doi = {10.1016/J.JLAMP.2020.100526},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/PinnaF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Pinna20,
author = {G. Michele Pinna},
title = {Representing Dependencies in Event Structures},
journal = {Log. Methods Comput. Sci.},
volume = {16},
number = {2},
year = {2020},
url = {https://doi.org/10.23638/LMCS-16(2:3)2020},
doi = {10.23638/LMCS-16(2:3)2020},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/Pinna20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/Pinna20,
author = {G. Michele Pinna},
editor = {Simon Bliudze and
Laura Bocchi},
title = {Operational Representation of Dependencies in Context-Dependent Event
Structures},
booktitle = {Coordination Models and Languages - 22nd {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2020, Held as Part of the 15th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2020, Valletta, Malta, June 15-19, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12134},
pages = {320--338},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-50029-0\_20},
doi = {10.1007/978-3-030-50029-0\_20},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/Pinna20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rc/MelgrattiM0PU20,
author = {Hern{\'{a}}n C. Melgratti and
Claudio Antares Mezzina and
Iain Phillips and
G. Michele Pinna and
Irek Ulidowski},
editor = {Ivan Lanese and
Mariusz Rawski},
title = {Reversible Occurrence Nets and Causal Reversible Prime Event Structures},
booktitle = {Reversible Computation - 12th International Conference, {RC} 2020,
Oslo, Norway, July 9-10, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12227},
pages = {35--53},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-52482-1\_2},
doi = {10.1007/978-3-030-52482-1\_2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rc/MelgrattiM0PU20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/AmanCGKKKLMMNPPPUV20,
author = {Bogdan Aman and
Gabriel Ciobanu and
Robert Gl{\"{u}}ck and
Robin Kaarsgaard and
Jarkko Kari and
Martin Kutrib and
Ivan Lanese and
Claudio Antares Mezzina and
Lukasz Mikulski and
Rajagopal Nagarajan and
Iain C. C. Phillips and
G. Michele Pinna and
Luca Prigioniero and
Irek Ulidowski and
Germ{\'{a}}n Vidal},
editor = {Irek Ulidowski and
Ivan Lanese and
Ulrik Pagh Schultz and
Carla Ferreira},
title = {Foundations of Reversible Computation},
booktitle = {Reversible Computation: Extending Horizons of Computing - Selected
Results of the {COST} Action {IC1405}},
series = {Lecture Notes in Computer Science},
volume = {12070},
pages = {1--40},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-47361-7\_1},
doi = {10.1007/978-3-030-47361-7\_1},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/AmanCGKKKLMMNPPPUV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-00118,
author = {G. Michele Pinna},
title = {A new operational representation of dependencies in Event Structures},
journal = {CoRR},
volume = {abs/2012.00118},
year = {2020},
url = {https://arxiv.org/abs/2012.00118},
eprinttype = {arXiv},
eprint = {2012.00118},
timestamp = {Fri, 04 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-00118.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/Pinna19,
author = {G. Michele Pinna},
editor = {Hanne Riis Nielson and
Emilio Tuosto},
title = {Representing Dependencies in Event Structures},
booktitle = {Coordination Models and Languages - 21st {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2019, Held as Part of the 14th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11533},
pages = {3--18},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-22397-7\_1},
doi = {10.1007/978-3-030-22397-7\_1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/Pinna19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-02521,
author = {G. Michele Pinna},
title = {Representing Dependencies in Event Structures},
journal = {CoRR},
volume = {abs/1910.02521},
year = {2019},
url = {http://arxiv.org/abs/1910.02521},
eprinttype = {arXiv},
eprint = {1910.02521},
timestamp = {Wed, 09 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-02521.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-10987,
author = {Hern{\'{a}}n C. Melgratti and
Claudio Antares Mezzina and
Iain C. C. Phillips and
G. Michele Pinna and
Irek Ulidowski},
title = {Reversible Causal Nets and Reversible Event Structures},
journal = {CoRR},
volume = {abs/1910.10987},
year = {2019},
url = {http://arxiv.org/abs/1910.10987},
eprinttype = {arXiv},
eprint = {1910.10987},
timestamp = {Fri, 25 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-10987.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1810-08038,
author = {Eric Fabre and
G. Michele Pinna},
editor = {Massimo Bartoletti and
Sophia Knight},
title = {Toward a Uniform Approach to the Unfolding of Nets},
booktitle = {Proceedings 11th Interaction and Concurrency Experience, {ICE} 2018,
Madrid, Spain, June 20-21, 2018},
series = {{EPTCS}},
volume = {279},
pages = {21--36},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.279.5},
doi = {10.4204/EPTCS.279.5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-08038.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/CasuP17,
author = {Giovanni Casu and
G. Michele Pinna},
editor = {Frank Drewes and
Carlos Mart{\'{\i}}n{-}Vide and
Bianca Truthe},
title = {Merging Relations: {A} Way to Compact Petri Nets' Behaviors Uniformly},
booktitle = {Language and Automata Theory and Applications - 11th International
Conference, {LATA} 2017, Ume{\aa}, Sweden, March 6-9, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10168},
pages = {325--337},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-53733-7\_24},
doi = {10.1007/978-3-319-53733-7\_24},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/CasuP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/Pinna17,
author = {G. Michele Pinna},
editor = {Marian Gheorghe and
Grzegorz Rozenberg and
Arto Salomaa and
Claudio Zandron},
title = {Reversing Steps in Membrane Systems Computations},
booktitle = {Membrane Computing - 18th International Conference, {CMC} 2017, Bradford,
UK, July 25-28, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10725},
pages = {245--261},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-73359-3\_16},
doi = {10.1007/978-3-319-73359-3\_16},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/membrane/Pinna17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/CasuP17,
author = {Giovanni Casu and
G. Michele Pinna},
editor = {Ahmed Seffah and
Birgit Penzenstadler and
Carina Alves and
Xin Peng},
title = {Petri nets and dynamic causality for service-oriented computations},
booktitle = {Proceedings of the Symposium on Applied Computing, {SAC} 2017, Marrakech,
Morocco, April 3-7, 2017},
pages = {1326--1333},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3019612.3019806},
doi = {10.1145/3019612.3019806},
timestamp = {Wed, 01 Feb 2023 17:58:48 +0100},
biburl = {https://dblp.org/rec/conf/sac/CasuP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BartolettiCPZ16,
author = {Massimo Bartoletti and
Tiziana Cimoli and
G. Michele Pinna and
Roberto Zunino},
title = {Contracts as games on event structures},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {3},
pages = {399--424},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.05.001},
doi = {10.1016/J.JLAMP.2015.05.001},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/BartolettiCPZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/CasuP16,
author = {Giovanni Casu and
G. Michele Pinna},
editor = {Vittorio Bil{\`{o}} and
Antonio Caruso},
title = {An Unifying Framework for Compacting Petri Nets Behaviors},
booktitle = {Proceedings of the 17th Italian Conference on Theoretical Computer
Science, Lecce, Italy, September 7-9, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1720},
pages = {245--250},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1720/short5.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/CasuP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BartolettiCP15,
author = {Massimo Bartoletti and
Tiziana Cimoli and
G. Michele Pinna},
title = {Lending Petri nets},
journal = {Sci. Comput. Program.},
volume = {112},
pages = {75--101},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2015.05.006},
doi = {10.1016/J.SCICO.2015.05.006},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BartolettiCP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcit/BartolettiCPZ15,
author = {Massimo Bartoletti and
Tiziana Cimoli and
G. Michele Pinna and
Roberto Zunino},
editor = {Raja Natarajan and
Gautam Barua and
Manas Ranjan Patra},
title = {Models of Circular Causality},
booktitle = {Distributed Computing and Internet Technology - 11th International
Conference, {ICDCIT} 2015, Bhubaneswar, India, February 5-8, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8956},
pages = {1--20},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-14977-6\_1},
doi = {10.1007/978-3-319-14977-6\_1},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/icdcit/BartolettiCPZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BartolettiCPZ14,
author = {Massimo Bartoletti and
Tiziana Cimoli and
G. Michele Pinna and
Roberto Zunino},
title = {Circular Causality in Event Structures},
journal = {Fundam. Informaticae},
volume = {134},
number = {3-4},
pages = {219--259},
year = {2014},
url = {https://doi.org/10.3233/FI-2014-1101},
doi = {10.3233/FI-2014-1101},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BartolettiCPZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CiobanuP14,
author = {Gabriel Ciobanu and
G. Michele Pinna},
title = {Catalytic and communicating Petri nets are Turing complete},
journal = {Inf. Comput.},
volume = {239},
pages = {55--70},
year = {2014},
url = {https://doi.org/10.1016/j.ic.2014.08.008},
doi = {10.1016/J.IC.2014.08.008},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/CiobanuP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/CiobanuPS14,
author = {Gabriel Ciobanu and
G. Michele Pinna and
Dragos Sburlan},
title = {Power of Causal Dependencies in Rule-Based Systems},
journal = {J. Autom. Lang. Comb.},
volume = {19},
number = {1-4},
pages = {45--56},
year = {2014},
url = {https://doi.org/10.25596/jalc-2014-045},
doi = {10.25596/JALC-2014-045},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/CiobanuPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/CasuP14,
author = {Giovanni Casu and
G. Michele Pinna},
editor = {Gianfranco Ciardo and
Ekkart Kindler},
title = {Flow Unfolding of Multi-clock Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 35th International
Conference, {PETRI} {NETS} 2014, Tunis, Tunisia, June 23-27, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8489},
pages = {170--189},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07734-5\_10},
doi = {10.1007/978-3-319-07734-5\_10},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/CasuP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BartolettiCP14,
author = {Massimo Bartoletti and
Tiziana Cimoli and
G. Michele Pinna},
editor = {Ivan Lanese and
Alberto Lluch{-}Lafuente and
Ana Sokolova and
Hugo Torres Vieira},
title = {A note on two notions of compliance},
booktitle = {Proceedings 7th Interaction and Concurrency Experience, {ICE} 2014,
Berlin, Germany, 6th June 2014},
series = {{EPTCS}},
volume = {166},
pages = {86--93},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.166.9},
doi = {10.4204/EPTCS.166.9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BartolettiCP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/BartolettiCP13,
author = {Massimo Bartoletti and
Tiziana Cimoli and
G. Michele Pinna},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Lending Petri Nets and Contracts},
booktitle = {Fundamentals of Software Engineering - 5th International Conference,
{FSEN} 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8161},
pages = {66--82},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40213-5\_5},
doi = {10.1007/978-3-642-40213-5\_5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsen/BartolettiCP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/PinnaS12,
author = {G. Michele Pinna and
Andrea Saba},
title = {Modeling dependencies and simultaneity in membrane system computations},
journal = {Theor. Comput. Sci.},
volume = {431},
pages = {13--39},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2011.12.060},
doi = {10.1016/J.TCS.2011.12.060},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/PinnaS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/CiobanuP12,
author = {Gabriel Ciobanu and
G. Michele Pinna},
editor = {Adrian{-}Horia Dediu and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Catalytic Petri Nets Are Turing Complete},
booktitle = {Language and Automata Theory and Applications - 6th International
Conference, {LATA} 2012, {A} Coru{\~{n}}a, Spain, March 5-9, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7183},
pages = {192--203},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28332-1\_17},
doi = {10.1007/978-3-642-28332-1\_17},
timestamp = {Sun, 02 Oct 2022 16:11:11 +0200},
biburl = {https://dblp.org/rec/conf/lata/CiobanuP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/AmanCP12,
author = {Bogdan Aman and
Gabriel Ciobanu and
G. Michele Pinna},
editor = {Andrei Voronkov and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {Timed Catalytic Petri Nets},
booktitle = {14th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2012, Timisoara, Romania, September
26-29, 2012},
pages = {319--326},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SYNASC.2012.22},
doi = {10.1109/SYNASC.2012.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/AmanCP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1302-6330,
author = {Massimo Bartoletti and
Tiziana Cimoli and
G. Michele Pinna and
Roberto Zunino},
editor = {Simon J. Gay and
Paul Kelly},
title = {An event-based model for contracts},
booktitle = {Proceedings Fifth Workshop on Programming Language Approaches to Concurrency-
and Communication-cEntric Software, {PLACES} 2012, Tallinn, Estonia,
31 March 2012},
series = {{EPTCS}},
volume = {109},
pages = {13--20},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.109.3},
doi = {10.4204/EPTCS.109.3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-6330.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1211-3624,
author = {Massimo Bartoletti and
Tiziana Cimoli and
G. Michele Pinna},
title = {Lending Petri nets and contracts},
journal = {CoRR},
volume = {abs/1211.3624},
year = {2012},
url = {http://arxiv.org/abs/1211.3624},
eprinttype = {arXiv},
eprint = {1211.3624},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1211-3624.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Pinna11,
author = {G. Michele Pinna},
editor = {Lars Michael Kristensen and
Laure Petrucci},
title = {How Much Is Worth to Remember? {A} Taxonomy Based on Petri Nets Unfoldings},
booktitle = {Applications and Theory of Petri Nets - 32nd International Conference,
{PETRI} {NETS} 2011, Newcastle, UK, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6709},
pages = {109--128},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21834-7\_7},
doi = {10.1007/978-3-642-21834-7\_7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Pinna11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/PinnaS10,
author = {G. Michele Pinna and
Andrea Saba},
editor = {Jan Kratochv{\'{\i}}l and
Angsheng Li and
Jir{\'{\i}} Fiala and
Petr Kolman},
title = {Simultaneity in Event Structures},
booktitle = {Theory and Applications of Models of Computation, 7th Annual Conference,
{TAMC} 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6108},
pages = {385--396},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13562-0\_35},
doi = {10.1007/978-3-642-13562-0\_35},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tamc/PinnaS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BusiP09,
author = {Nadia Busi and
G. Michele Pinna},
title = {Process discovery and Petri nets},
journal = {Math. Struct. Comput. Sci.},
volume = {19},
number = {6},
pages = {1091--1124},
year = {2009},
url = {https://doi.org/10.1017/S0960129509990132},
doi = {10.1017/S0960129509990132},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BusiP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-0911-4989,
author = {G. Michele Pinna and
Andrea Saba},
editor = {Gabriel Ciobanu},
title = {Dependencies and Simultaneity in Membrane Systems},
booktitle = {Proceedings Third Workshop on Membrane Computing and Biologically
Inspired Process Calculi, MeCBIC 2009, Bologna, Italy, 5th September
2009},
series = {{EPTCS}},
volume = {11},
pages = {155--169},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.11.10},
doi = {10.4204/EPTCS.11.10},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0911-4989.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/PinnaS08,
author = {G. Michele Pinna and
Andrea Saba},
title = {An Event Based Semantics of {P} Systems},
journal = {Sci. Ann. Comput. Sci.},
volume = {18},
pages = {99--127},
year = {2008},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XVIII\&\#38;a=4},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/PinnaS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/FlaminioPT08,
author = {Tommaso Flaminio and
G. Michele Pinna and
Elisa B. P. Tiezzi},
title = {A complete fuzzy logical system to deal with trust management systems},
journal = {Fuzzy Sets Syst.},
volume = {159},
number = {10},
pages = {1191--1207},
year = {2008},
url = {https://doi.org/10.1016/j.fss.2007.12.007},
doi = {10.1016/J.FSS.2007.12.007},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fss/FlaminioPT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/CoppoLP08,
author = {Mario Coppo and
Elena Lodi and
G. Michele Pinna},
title = {Foreword},
journal = {Theory Comput. Syst.},
volume = {42},
number = {3},
pages = {287--288},
year = {2008},
url = {https://doi.org/10.1007/s00224-007-9033-6},
doi = {10.1007/S00224-007-9033-6},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/CoppoLP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Pinna06,
author = {G. Michele Pinna},
title = {Event Structures with Disabling/Enabling Relation and Event Automata},
journal = {Fundam. Informaticae},
volume = {73},
number = {3},
pages = {409--430},
year = {2006},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi73-3-05},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Pinna06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/BusiP06,
author = {Nadia Busi and
G. Michele Pinna},
editor = {Viorel Negru and
Dana Petcu and
Daniela Zaharie and
Ajith Abraham and
Bruno Buchberger and
Alexandru Cicortas and
Dorian Gorgan and
Jo{\"{e}}l Quinqueton},
title = {Characterizing Workflow Nets Using Regions},
booktitle = {8th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing {(SYNASC} 2006), 26-29 September 2006, Timisoara,
Romania},
pages = {399--406},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/SYNASC.2006.21},
doi = {10.1109/SYNASC.2006.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/BusiP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Pinna05,
author = {G. Michele Pinna},
editor = {Joanna Jedrzejowicz and
Andrzej Szepietowski},
title = {Event Structures for the Collective Tokens Philosophy of Inhibitor
Nets},
booktitle = {Mathematical Foundations of Computer Science 2005, 30th International
Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3618},
pages = {720--732},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11549345\_62},
doi = {10.1007/11549345\_62},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Pinna05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictcs/2005,
editor = {Mario Coppo and
Elena Lodi and
G. Michele Pinna},
title = {Theoretical Computer Science, 9th Italian Conference, {ICTCS} 2005,
Siena, Italy, October 12-14, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3701},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560586},
doi = {10.1007/11560586},
isbn = {3-540-29106-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BaldanBCP04,
author = {Paolo Baldan and
Nadia Busi and
Andrea Corradini and
G. Michele Pinna},
title = {Domain and event structure semantics for Petri nets with read and
inhibitor arcs},
journal = {Theor. Comput. Sci.},
volume = {323},
number = {1-3},
pages = {129--189},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2004.04.001},
doi = {10.1016/J.TCS.2004.04.001},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BaldanBCP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/MontagnaPT03,
author = {Franco Montagna and
G. Michele Pinna and
Elisa B. P. Tiezzi},
title = {A Tableau Calculus for H{\'{a}}jek's Logic {BL}},
journal = {J. Log. Comput.},
volume = {13},
number = {2},
pages = {241--259},
year = {2003},
url = {https://doi.org/10.1093/logcom/13.2.241},
doi = {10.1093/LOGCOM/13.2.241},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/MontagnaPT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/MontagnaPT02,
author = {Franco Montagna and
G. Michele Pinna and
Elisa B. P. Tiezzi},
title = {Investigations on Fragments of First Order Branching Temporal Logic},
journal = {Math. Log. Q.},
volume = {48},
number = {1},
pages = {51--62},
year = {2002},
url = {https://doi.org/10.1002/1521-3870(200201)48:1\&\#60;51::AID-MALQ51\&\#62;3.0.CO;2-S},
doi = {10.1002/1521-3870(200201)48:1\&\#60;51::AID-MALQ51\&\#62;3.0.CO;2-S},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/MontagnaPT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/MerceronP01,
author = {Agathe Merceron and
G. Michele Pinna},
title = {Component-based Verification in a Synchronous Setting},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {11},
number = {2},
pages = {181--203},
year = {2001},
url = {https://doi.org/10.1142/S0218194001000463},
doi = {10.1142/S0218194001000463},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijseke/MerceronP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MerceronMP01,
author = {Agathe Merceron and
Monika M{\"{u}}llerburg and
G. Michele Pinna},
editor = {Marina Lenisa and
Marino Miculan},
title = {Specifying and verifying reactive systems in a multi-language environment},
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 = {244--256},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00330-5},
doi = {10.1016/S1571-0661(04)00330-5},
timestamp = {Wed, 30 Nov 2022 12:15:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MerceronMP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BusiP00,
author = {Nadia Busi and
G. Michele Pinna},
title = {Comparing Truly Concurrent Semantics for Contextual Place/Transition
Nets with Inhibitor and Read Arcs},
journal = {Fundam. Informaticae},
volume = {44},
number = {3},
pages = {209--244},
year = {2000},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi44-3-01},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BusiP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/MontagnaPT00,
author = {Franco Montagna and
G. Michele Pinna and
Elisa B. P. Tiezzi},
title = {A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense
Time Domain},
journal = {Math. Log. Q.},
volume = {46},
number = {2},
pages = {171--182},
year = {2000},
url = {https://doi.org/10.1002/(SICI)1521-3870(200005)46:2\&\#60;171::AID-MALQ171\&\#62;3.0.CO;2-E},
doi = {10.1002/(SICI)1521-3870(200005)46:2\&\#60;171::AID-MALQ171\&\#62;3.0.CO;2-E},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/MontagnaPT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apaqs/MerceronP00,
author = {Agathe Merceron and
G. Michele Pinna},
title = {Refinement and Modular Verification with Observers},
booktitle = {1st Asia-Pacific Conference on Quality Software {(APAQS} 2000), 30-31
October 2000, Hong Kong, China, Proceedings},
pages = {216--225},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/APAQ.2000.883795},
doi = {10.1109/APAQ.2000.883795},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apaqs/MerceronP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BaldanBCP00,
author = {Paolo Baldan and
Nadia Busi and
Andrea Corradini and
G. Michele Pinna},
editor = {Catuscia Palamidessi},
title = {Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor
Arcs},
booktitle = {{CONCUR} 2000 - Concurrency Theory, 11th International Conference,
University Park, PA, USA, August 22-25, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1877},
pages = {442--457},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44618-4\_32},
doi = {10.1007/3-540-44618-4\_32},
timestamp = {Sat, 04 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BaldanBCP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BusiP99,
author = {Nadia Busi and
G. Michele Pinna},
title = {Process Semantics for Place/Transition Nets with Inhibitor and Read
Arcs},
journal = {Fundam. Informaticae},
volume = {40},
number = {2-3},
pages = {165--197},
year = {1999},
url = {https://doi.org/10.3233/FI-1999-402304},
doi = {10.3233/FI-1999-402304},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BusiP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BuddePP99,
author = {Reinhard Budde and
G. Michele Pinna and
Axel Poign{\'{e}}},
editor = {Paolo Ciancarini and
Alexander L. Wolf},
title = {Coordination of Synchronous Programs},
booktitle = {Coordination Languages and Models, Third International Conference,
{COORDINATION} '99, Amsterdam, The Netherlands, April 26-28, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1594},
pages = {103--117},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48919-3\_9},
doi = {10.1007/3-540-48919-3\_9},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BuddePP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/MerceronMP98,
author = {Agathe Merceron and
Monika M{\"{u}}llerburg and
G. Michele Pinna},
editor = {Wolfgang D. Ehrenberger},
title = {Verifying a Time-Triggered Protocol in a Multi-language Environment},
booktitle = {Computer Safety, Reliability and Security, 17th International Conference,
SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1516},
pages = {185--195},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49646-7\_14},
doi = {10.1007/3-540-49646-7\_14},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/MerceronMP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BusiP97,
author = {Nadia Busi and
G. Michele Pinna},
editor = {Antoni W. Mazurkiewicz and
J{\'{o}}zef Winkowski},
title = {Synthesis of Nets with Inhibitor Arcs},
booktitle = {{CONCUR} '97: Concurrency Theory, 8th International Conference, Warsaw,
Poland, July 1-4, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1243},
pages = {151--165},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63141-0\_11},
doi = {10.1007/3-540-63141-0\_11},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/BusiP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BusiP96,
author = {Nadia Busi and
G. Michele Pinna},
editor = {Jonathan Billington and
Wolfgang Reisig},
title = {Non Sequential Semantics for Contextual {P/T} Nets},
booktitle = {Application and Theory of Petri Nets 1996, 17th International Conference,
Osaka, Japan, June 24-28, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1091},
pages = {113--132},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61363-3\_7},
doi = {10.1007/3-540-61363-3\_7},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/BusiP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/PinnaP95,
author = {G. Michele Pinna and
Axel Poign{\'{e}}},
title = {On the Nature of Events: Another Perspective in Concurrency},
journal = {Theor. Comput. Sci.},
volume = {138},
number = {2},
pages = {425--454},
year = {1995},
url = {https://doi.org/10.1016/0304-3975(94)00174-H},
doi = {10.1016/0304-3975(94)00174-H},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/PinnaP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/korso/PinnaP95,
author = {G. Michele Pinna and
Axel Poign{\'{e}}},
editor = {Manfred Broy and
Stefan J{\"{a}}hnichen},
title = {Event Automata as a Generic Model of Reactive Systems},
booktitle = {{KORSO} - Methods, Languages, and Tools for the Construction of Correct
Software},
series = {Lecture Notes in Computer Science},
volume = {1009},
pages = {74--91},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0015456},
doi = {10.1007/BFB0015456},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/korso/PinnaP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/PinnaP93,
author = {G. Michele Pinna and
Axel Poign{\'{e}}},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {On the Specification of Elementary Reactive Behaviour},
booktitle = {Mathematical Foundations of Programming Semantics, 9th International
Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {802},
pages = {271--292},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58027-1\_13},
doi = {10.1007/3-540-58027-1\_13},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/mfps/PinnaP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/PinnaP92,
author = {G. Michele Pinna and
Axel Poign{\'{e}}},
editor = {Ivan M. Havel and
V{\'{a}}clav Koubek},
title = {On the Nature of Events},
booktitle = {Mathematical Foundations of Computer Science 1992, 17th International
Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {629},
pages = {430--441},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55808-X\_42},
doi = {10.1007/3-540-55808-X\_42},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/PinnaP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Maggiolo-SchettiniPW91,
author = {Andrea Maggiolo{-}Schettini and
G. Michele Pinna and
J{\'{o}}zef Winkowski},
title = {A compositional semantics for unmarked predicate/transition nets},
journal = {Fundam. Informaticae},
volume = {14},
number = {1},
pages = {109--128},
year = {1991},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Maggiolo-SchettiniPW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-06-19 21:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
