var bibbase_data = {"data":"<img src=\"//bibbase.org/img/ajax-loader.gif\" id=\"spinner\"\n  style=\"display: none;\" alt=\"Loading..\" />\n\n<div id=\"bibbase\">\n\n  <script type=\"text/javascript\">\n    var bibbase = {\n      params: {\"bib\":\"http://www.sti.uniurb.it/nirvana/file/papers/biblio.bib\",\"groupby\":\"type\",\"authorFirst\":\"1\",\"fullnames\":\"1\",\"commas\":\"false\",\"jsonp\":\"1\",\"host\":\"bibbase.org\"},\n      data: [{\"bibtype\":\"article\",\"type\":\"article\",\"author\":[{\"firstnames\":[\"L.\"],\"propositions\":[],\"lastnames\":[\"Bocchi\"],\"suffixes\":[]},{\"firstnames\":[\"I.\"],\"propositions\":[],\"lastnames\":[\"Lanese\"],\"suffixes\":[]},{\"firstnames\":[\"C.\",\"A.\"],\"propositions\":[],\"lastnames\":[\"Mezzina\"],\"suffixes\":[]},{\"firstnames\":[\"S.\"],\"propositions\":[],\"lastnames\":[\"Yuen\"],\"suffixes\":[]}],\"title\":\"revTPL: The Reversible Temporal Process Language\",\"journal\":\"Logical Methods in Computer Science\",\"volume\":\"20(1:11)\",\"year\":\"2024\",\"month\":\"January\",\"url\":\"https://doi.org/10.46298/lmcs-20(1:11)2024\",\"doi\":\"10.46298/LMCS-20(1:11)2024\",\"pages\":\"1-35\",\"url_paper\":\"./BLMY24.pdf\",\"bibtex\":\"@article{BLMY24,\\n  author       = {L. Bocchi and\\n                  I. Lanese and\\n                  C. A. Mezzina and\\n                  S. Yuen},\\n  title        = {revTPL: The Reversible Temporal Process Language},\\n  journal      = {Logical Methods in Computer Science},\\n  volume       = {20(1:11)},\\n  year         = {2024},\\n  month        = {January},\\n  url          = {https://doi.org/10.46298/lmcs-20(1:11)2024},\\n  doi          = {10.46298/LMCS-20(1:11)2024},\\n  pages\\t       = {1-35},\\n  url_Paper    = {./BLMY24.pdf}\\n}\\n\\n\\n\\n\",\"author_short\":[\"Bocchi, L.\",\"Lanese, I.\",\"Mezzina, C. A.\",\"Yuen, S.\"],\"key\":\"BLMY24\",\"id\":\"BLMY24\",\"bibbaseid\":\"bocchi-lanese-mezzina-yuen-revtplthereversibletemporalprocesslanguage-2024\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://doi.org/10.46298/lmcs-20(1:11)2024\",\" paper\":\"http://www.sti.uniurb.it/nirvana/file/papers/BLMY24.pdf\"},\"metadata\":{\"authorlinks\":{}},\"downloads\":11,\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"author\":[{\"firstnames\":[\"A.\"],\"propositions\":[],\"lastnames\":[\"Marin\"],\"suffixes\":[]},{\"firstnames\":[\"S.\"],\"propositions\":[],\"lastnames\":[\"Rossi\"],\"suffixes\":[]},{\"firstnames\":[\"D.\"],\"propositions\":[],\"lastnames\":[\"Olliaro\"],\"suffixes\":[]}],\"title\":\"A Product-Form Network for Systems with Job Stealing Policies\",\"journal\":\"SIGMETRICS Performance Evaluation Review\",\"volume\":\"50\",\"number\":\"4\",\"pages\":\"2-4\",\"year\":\"2023\",\"month\":\"March\",\"url\":\"https://doi.org/10.1145/3595244.3595246\",\"doi\":\"10.1145/3595244.3595246\",\"url_paper\":\"./MRO23.pdf\",\"bibtex\":\"@article{MRO23,\\n  author       = {A. Marin and\\n                  S. Rossi and\\n                  D. Olliaro},\\n  title        = {A Product-Form Network for Systems with Job Stealing Policies},\\n  journal      = {{SIGMETRICS} Performance Evaluation Review},\\n  volume       = {50},\\n  number       = {4},\\n  pages        = {2-4},\\n  year         = {2023},\\n  month = {March},\\n  url          = {https://doi.org/10.1145/3595244.3595246},\\n  doi          = {10.1145/3595244.3595246},\\n  url_Paper    = {./MRO23.pdf},\\n}\\n\\n\\n\",\"author_short\":[\"Marin, A.\",\"Rossi, S.\",\"Olliaro, D.\"],\"key\":\"MRO23\",\"id\":\"MRO23\",\"bibbaseid\":\"marin-rossi-olliaro-aproductformnetworkforsystemswithjobstealingpolicies-2023\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://doi.org/10.1145/3595244.3595246\",\" paper\":\"http://www.sti.uniurb.it/nirvana/file/papers/MRO23.pdf\"},\"metadata\":{\"authorlinks\":{}},\"downloads\":3,\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"author\":[{\"firstnames\":[\"I.\"],\"propositions\":[],\"lastnames\":[\"Malakhov\"],\"suffixes\":[]},{\"firstnames\":[\"A.\"],\"propositions\":[],\"lastnames\":[\"Marin\"],\"suffixes\":[]},{\"firstnames\":[\"S.\"],\"propositions\":[],\"lastnames\":[\"Rossi\"],\"suffixes\":[]}],\"title\":\"Analysis of the Confirmation Time in Proof-of-Work Blockchains\",\"journal\":\"Future Generation Computer Systems\",\"volume\":\"147\",\"pages\":\"275-291\",\"year\":\"2023\",\"month\":\"October\",\"url\":\"https://doi.org/10.1016/j.future.2023.04.016\",\"doi\":\"10.1016/J.FUTURE.2023.04.016\",\"url_paper\":\"./MMR23.pdf\",\"bibtex\":\"@article{MMR23,\\n  author       = {I. Malakhov and\\n                  A. Marin and\\n                  S. Rossi},\\n  title        = {Analysis of the Confirmation Time in Proof-of-Work Blockchains},\\n  journal      = {Future Generation Computer Systems},\\n  volume       = {147},\\n  pages        = {275-291},\\n  year         = {2023},\\n  month = {October},\\n\\n  url          = {https://doi.org/10.1016/j.future.2023.04.016},\\n  doi          = {10.1016/J.FUTURE.2023.04.016},\\n  url_Paper    = {./MMR23.pdf}\\n}\\n\\n\",\"author_short\":[\"Malakhov, I.\",\"Marin, A.\",\"Rossi, S.\"],\"key\":\"MMR23\",\"id\":\"MMR23\",\"bibbaseid\":\"malakhov-marin-rossi-analysisoftheconfirmationtimeinproofofworkblockchains-2023\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://doi.org/10.1016/j.future.2023.04.016\",\" paper\":\"http://www.sti.uniurb.it/nirvana/file/papers/MMR23.pdf\"},\"metadata\":{\"authorlinks\":{}},\"downloads\":4,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"D.\"],\"propositions\":[],\"lastnames\":[\"Smuseva\"],\"suffixes\":[]},{\"firstnames\":[\"I.\"],\"propositions\":[],\"lastnames\":[\"Malakhov\"],\"suffixes\":[]},{\"firstnames\":[\"A.\"],\"propositions\":[],\"lastnames\":[\"Marin\"],\"suffixes\":[]},{\"firstnames\":[\"S.\"],\"propositions\":[],\"lastnames\":[\"Rossi\"],\"suffixes\":[]}],\"title\":\"Crisis of Trust: Analyzing the Verifier's Dilemma in Ethereum's Proof-of-Stake Blockchain\",\"booktitle\":\"Proc. of the 6th IEEE Int. Conf. on Blockchain (Blockchain 2023)\",\"pages\":\"332-339\",\"month\":\"December\",\"year\":\"2023\",\"url_paper\":\"./SMMR23.pdf\",\"address\":\"Heinan (China)\",\"publisher\":\"IEEE-CS Press\",\"bibtex\":\"@inproceedings{SMMR23,\\n  author       = {D. Smuseva and I. Malakhov and A. Marin and S. Rossi\\n                },\\n  title        = {Crisis of Trust: Analyzing the Verifier's Dilemma in Ethereum's\\nProof-of-Stake Blockchain},\\n  booktitle    = {Proc. of the 6th IEEE Int. Conf. on Blockchain (Blockchain 2023)},\\n  pages        = {332-339},\\n  month        = {December},\\n  year        = {2023},\\n   url_Paper    = {./SMMR23.pdf},\\naddress = {Heinan (China)},\\n  publisher    = {IEEE-CS Press},\\n}\\n\\n\\n\",\"author_short\":[\"Smuseva, D.\",\"Malakhov, I.\",\"Marin, A.\",\"Rossi, S.\"],\"key\":\"SMMR23\",\"id\":\"SMMR23\",\"bibbaseid\":\"smuseva-malakhov-marin-rossi-crisisoftrustanalyzingtheverifiersdilemmainethereumsproofofstakeblockchain-2023\",\"role\":\"author\",\"urls\":{\" paper\":\"http://www.sti.uniurb.it/nirvana/file/papers/SMMR23.pdf\"},\"metadata\":{\"authorlinks\":{}},\"downloads\":1,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"L.\"],\"propositions\":[],\"lastnames\":[\"Benetollo\"],\"suffixes\":[]},{\"firstnames\":[\"M.\"],\"propositions\":[],\"lastnames\":[\"Bugliesi\"],\"suffixes\":[]},{\"firstnames\":[\"S.\"],\"propositions\":[],\"lastnames\":[\"Crafa\"],\"suffixes\":[]},{\"firstnames\":[\"S.\"],\"propositions\":[],\"lastnames\":[\"Rossi\"],\"suffixes\":[]},{\"firstnames\":[\"A.\"],\"propositions\":[],\"lastnames\":[\"Spanò\"],\"suffixes\":[]}],\"title\":\"ALGOMOVE - A Move Embedding for Algorand\",\"booktitle\":\"Proc. of the 6th IEEE Int. Conf. on Blockchain (Blockchain 2023)\",\"pages\":\"62-67\",\"month\":\"December\",\"year\":\"2023\",\"url_paper\":\"./BBCR23.pdf\",\"address\":\"Heinan (China)\",\"publisher\":\"IEEE-CS Press\",\"bibtex\":\"@inproceedings{BBCR23,\\n  author       = {L. Benetollo and M. Bugliesi and S. Crafa and S. Rossi and A. Span\\\\`{o}},\\n  title        = {ALGOMOVE - A Move Embedding for Algorand},\\n  booktitle    = {Proc. of the 6th IEEE Int. Conf. on Blockchain (Blockchain 2023)},\\n  pages        = {62-67},\\n  month        = {December},\\n  year        = {2023},\\n   url_Paper    = {./BBCR23.pdf},\\naddress = {Heinan (China)},\\n  publisher    = {IEEE-CS Press},\\n}\\n\\n\",\"author_short\":[\"Benetollo, L.\",\"Bugliesi, M.\",\"Crafa, S.\",\"Rossi, S.\",\"Spanò, A.\"],\"key\":\"BBCR23\",\"id\":\"BBCR23\",\"bibbaseid\":\"benetollo-bugliesi-crafa-rossi-span-algomoveamoveembeddingforalgorand-2023\",\"role\":\"author\",\"urls\":{\" paper\":\"http://www.sti.uniurb.it/nirvana/file/papers/BBCR23.pdf\"},\"metadata\":{\"authorlinks\":{}},\"downloads\":2,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"M.\"],\"propositions\":[],\"lastnames\":[\"Bernardo\"],\"suffixes\":[]},{\"firstnames\":[\"A.\"],\"propositions\":[],\"lastnames\":[\"Esposito\"],\"suffixes\":[]}],\"title\":\"On the Weak Continuation of Reverse Bisimilarity vs. Forward Bisimilarity\",\"booktitle\":\"Proc. of the 24th Italian Conf. on Theoretical Computer Science (ICTCS 2023)\",\"pages\":\"44-58\",\"year\":\"2023\",\"month\":\"September\",\"url_paper\":\"./BE23a.pdf\",\"address\":\"Palermo (Italy)\",\"publisher\":\"CEUR-WS.org\",\"volume\":\"3587\",\"bibtex\":\"@inproceedings{BE23,\\n  author       = {M. Bernardo and\\n\\t\\tA. Esposito\\n                },\\n  title        = {On the Weak Continuation of Reverse Bisimilarity vs. Forward Bisimilarity},\\n  booktitle    = {Proc. of the 24th Italian Conf. on Theoretical Computer Science (ICTCS 2023)},\\n  pages        = {44-58},\\n  year         = {2023},\\n  month        = {September},\\n   url_Paper    = {./BE23a.pdf},\\naddress = {Palermo (Italy)},\\n  publisher    = {CEUR-WS.org},\\n  volume       = {3587},\\n}\\n\\n\\n\\n\",\"author_short\":[\"Bernardo, M.\",\"Esposito, A.\"],\"key\":\"BE23\",\"id\":\"BE23\",\"bibbaseid\":\"bernardo-esposito-ontheweakcontinuationofreversebisimilarityvsforwardbisimilarity-2023\",\"role\":\"author\",\"urls\":{\" paper\":\"http://www.sti.uniurb.it/nirvana/file/papers/BE23a.pdf\"},\"metadata\":{\"authorlinks\":{}},\"downloads\":4,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"M.\"],\"propositions\":[],\"lastnames\":[\"Bernardo\"],\"suffixes\":[]},{\"firstnames\":[\"A.\"],\"propositions\":[],\"lastnames\":[\"Esposito\"],\"suffixes\":[]}],\"title\":\"Modal Logic Characterizations of Forward, Reverse, and Forward-Reverse Bisimilarities\",\"booktitle\":\"Proc. of the 14th Int. Symp. on Games, Automata, Logics, and Formal Verification (GandALF 2023)\",\"pages\":\"67-81\",\"year\":\"2023\",\"month\":\"September\",\"doi\":\"10.4204/EPTCS.390.5\",\"url_paper\":\"./BE23.pdf\",\"address\":\"Udine (Italy)\",\"publisher\":\"Open Publishing Association\",\"volume\":\"EPTCS 390\",\"bibtex\":\"@inproceedings{BE23,\\n  author       = {M. Bernardo and\\n\\t\\tA. Esposito\\n                },\\n  title        = {Modal Logic Characterizations of Forward, Reverse, and Forward-Reverse\\n                  Bisimilarities},\\n  booktitle    = {Proc. of the 14th Int. Symp. on Games, Automata,\\n                  Logics, and Formal Verification (GandALF 2023)},\\n  pages        = {67-81},\\n  year         = {2023},\\n  month        = {September},\\ndoi = {10.4204/EPTCS.390.5},\\n   url_Paper    = {./BE23.pdf},\\naddress = {Udine (Italy)},\\n  publisher    = {Open Publishing Association},\\n  volume        = {EPTCS 390}\\n}\\n\\n\\n\",\"author_short\":[\"Bernardo, M.\",\"Esposito, A.\"],\"key\":\"BE23-1\",\"id\":\"BE23-1\",\"bibbaseid\":\"bernardo-esposito-modallogiccharacterizationsofforwardreverseandforwardreversebisimilarities-2023\",\"role\":\"author\",\"urls\":{\" paper\":\"http://www.sti.uniurb.it/nirvana/file/papers/BE23.pdf\"},\"metadata\":{\"authorlinks\":{}},\"downloads\":4,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"M.\"],\"propositions\":[],\"lastnames\":[\"Bernardo\"],\"suffixes\":[]},{\"firstnames\":[\"I.\"],\"propositions\":[],\"lastnames\":[\"Lanese\"],\"suffixes\":[]},{\"firstnames\":[\"A.\"],\"propositions\":[],\"lastnames\":[\"Marin\"],\"suffixes\":[]},{\"firstnames\":[\"C.\",\"A.\"],\"propositions\":[],\"lastnames\":[\"Mezzina\"],\"suffixes\":[]},{\"firstnames\":[\"S.\"],\"propositions\":[],\"lastnames\":[\"Rossi\"],\"suffixes\":[]},{\"firstnames\":[\"C.\",\"Sacerdoti\"],\"propositions\":[],\"lastnames\":[\"Coen\"],\"suffixes\":[]}],\"title\":\"Causal Reversibility Implies Time Reversibility\",\"booktitle\":\"Proc. of the 20th Int. Conf. on Quantitative Evaluation of Systems (QEST 2023)\",\"pages\":\"270–287\",\"year\":\"2023\",\"month\":\"September\",\"doi\":\"10.1007/978-3-031-43835-6_19\",\"url_paper\":\"./qest2023.pdf\",\"address\":\"Antwerp (Belgium)\",\"publisher\":\"Springer\",\"volume\":\"LNCS 14287\",\"bibtex\":\"@inproceedings{qest23,\\n  author       = {M. Bernardo and\\n\\t\\tI. Lanese and A. Marin and  \\n\\t\\tC. A. Mezzina and S. Rossi and C. Sacerdoti Coen\\n                },\\n  title        = {Causal Reversibility Implies Time Reversibility},\\n  booktitle    = {Proc. of the 20th Int. Conf. on  Quantitative Evaluation of Systems (QEST 2023)},\\n  pages        = {270--287},\\n  year         = {2023},\\n  month        = {September},\\ndoi = {10.1007/978-3-031-43835-6\\\\_19},\\n   url_Paper    = {./qest2023.pdf},\\naddress = {Antwerp (Belgium)},\\n  publisher    = {Springer},\\n  volume        = {LNCS 14287}\\n}\\n\\n\\n\",\"author_short\":[\"Bernardo, M.\",\"Lanese, I.\",\"Marin, A.\",\"Mezzina, C. A.\",\"Rossi, S.\",\"Coen, C. S.\"],\"key\":\"qest23\",\"id\":\"qest23\",\"bibbaseid\":\"bernardo-lanese-marin-mezzina-rossi-coen-causalreversibilityimpliestimereversibility-2023\",\"role\":\"author\",\"urls\":{\" paper\":\"http://www.sti.uniurb.it/nirvana/file/papers/qest2023.pdf\"},\"metadata\":{\"authorlinks\":{}},\"downloads\":8,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"M.\"],\"propositions\":[],\"lastnames\":[\"Bernardo\"],\"suffixes\":[]},{\"firstnames\":[\"C.\",\"A.\"],\"propositions\":[],\"lastnames\":[\"Mezzina\"],\"suffixes\":[]}],\"title\":\"Causal Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time Additivity\",\"booktitle\":\"Proc. of the 21th Int. Conf. on Formal Modeling and Analysis of Timed Systems (FORMATS 2023)\",\"pages\":\"15–32\",\"year\":\"2023\",\"doi\":\"10.1007/978-3-031-42626-1_2\",\"month\":\"September\",\"url_paper\":\"./BM23a.pdf\",\"address\":\"Antwerp (Belgium)\",\"publisher\":\"Springer\",\"volume\":\"LNCS 14138\",\"bibtex\":\"@inproceedings{MB23a,\\n  author       = {M. Bernardo and \\n\\t\\tC. A. Mezzina \\n                },\\n  title        = {Causal Reversibility for Timed Process Calculi\\nwith Lazy/Eager Durationless Actions\\nand Time Additivity},\\n  booktitle    = {Proc. of the 21th Int. Conf. on  Formal Modeling and Analysis of Timed Systems (FORMATS 2023)},\\n  pages        = {15--32},\\n  year         = {2023},\\n  doi          = {10.1007/978-3-031-42626-1\\\\_2},\\n  month        = {September},\\n   url_Paper    = {./BM23a.pdf},\\naddress = {Antwerp (Belgium)},\\n  publisher    = {Springer},\\n  volume        = {LNCS 14138},\\n}\\n\\n\",\"author_short\":[\"Bernardo, M.\",\"Mezzina, C. A.\"],\"key\":\"MB23a\",\"id\":\"MB23a\",\"bibbaseid\":\"bernardo-mezzina-causalreversibilityfortimedprocesscalculiwithlazyeagerdurationlessactionsandtimeadditivity-2023\",\"role\":\"author\",\"urls\":{\" paper\":\"http://www.sti.uniurb.it/nirvana/file/papers/BM23a.pdf\"},\"metadata\":{\"authorlinks\":{}},\"downloads\":5,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"C.\",\"A.\"],\"propositions\":[],\"lastnames\":[\"Mezzina\"],\"suffixes\":[]},{\"firstnames\":[\"F.\"],\"propositions\":[],\"lastnames\":[\"Tiezzi\"],\"suffixes\":[]},{\"firstnames\":[\"N.\"],\"propositions\":[],\"lastnames\":[\"Yoshida\"],\"suffixes\":[]}],\"title\":\"Rollback Recovery in Session-Based Programming\",\"booktitle\":\"Proc. of the 25th Int. Conf. on Coordination Models and Languages (COORDINATION 2023)\",\"pages\":\"195–213\",\"year\":\"2023\",\"doi\":\"10.1007/978-3-031-35361-1_11\",\"month\":\"June\",\"url_paper\":\"./MTY23.pdf\",\"address\":\"Lisbon (Portugal)\",\"publisher\":\"Springer\",\"volume\":\"LNCS 13908\",\"bibtex\":\"@inproceedings{MTY23,\\n  author       = {C. A. Mezzina and\\n                  F. Tiezzi and\\n                  N. Yoshida},\\n  title        = {Rollback Recovery in Session-Based Programming},\\n  booktitle    = {Proc. of the 25th Int. Conf. on  Coordination Models and Languages (COORDINATION 2023)},\\n  pages        = {195--213},\\n  year         = {2023},\\n  doi          = {10.1007/978-3-031-35361-1\\\\_11},\\n  month        = {June},\\n   url_Paper    = {./MTY23.pdf},\\naddress = {Lisbon (Portugal)},\\n  publisher    = {Springer},\\n  volume        = {LNCS 13908},\\n\\n}\\n\\n\",\"author_short\":[\"Mezzina, C. A.\",\"Tiezzi, F.\",\"Yoshida, N.\"],\"key\":\"MTY23\",\"id\":\"MTY23\",\"bibbaseid\":\"mezzina-tiezzi-yoshida-rollbackrecoveryinsessionbasedprogramming-2023\",\"role\":\"author\",\"urls\":{\" paper\":\"http://www.sti.uniurb.it/nirvana/file/papers/MTY23.pdf\"},\"metadata\":{\"authorlinks\":{}},\"downloads\":7,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"H.\",\"C.\"],\"propositions\":[],\"lastnames\":[\"Melgratti\"],\"suffixes\":[]},{\"firstnames\":[\"C.\",\"A.\"],\"propositions\":[],\"lastnames\":[\"Mezzina\"],\"suffixes\":[]},{\"firstnames\":[\"G.\",\"M.\"],\"propositions\":[],\"lastnames\":[\"Pinna\"],\"suffixes\":[]}],\"title\":\"Relating Reversible Petri Nets and Reversible Event Structures, Categorically\",\"booktitle\":\"Proc. of the 43rd Int. Conf. on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2023)\",\"pages\":\"206–223\",\"year\":\"2023\",\"doi\":\"10.1007/978-3-031-35355-0_13\",\"month\":\"June\",\"url_paper\":\"./MMP23.pdf\",\"address\":\"Lisbon (Portugal)\",\"publisher\":\"Springer\",\"volume\":\"LNCS 13910\",\"bibtex\":\"@inproceedings{MMP23,\\n  author       = {H. C. Melgratti and\\n                  C. A. Mezzina and\\n                  G. M. Pinna},\\n  title        = {Relating Reversible Petri Nets and Reversible Event Structures, Categorically},\\n  booktitle    = {Proc. of the  43rd Int. Conf. on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2023)},\\n  pages        = {206--223},\\n  year         = {2023},\\n  doi          = {10.1007/978-3-031-35355-0\\\\_13},\\n\\tmonth        = {June},\\n   url_Paper    = {./MMP23.pdf},\\naddress = {Lisbon (Portugal)},\\n  publisher    = {Springer},\\n  volume        = {LNCS 13910},\\n\\n}\\n\\n\\n\",\"author_short\":[\"Melgratti, H. C.\",\"Mezzina, C. A.\",\"Pinna, G. M.\"],\"key\":\"MMP23\",\"id\":\"MMP23\",\"bibbaseid\":\"melgratti-mezzina-pinna-relatingreversiblepetrinetsandreversibleeventstructurescategorically-2023\",\"role\":\"author\",\"urls\":{\" paper\":\"http://www.sti.uniurb.it/nirvana/file/papers/MMP23.pdf\"},\"metadata\":{\"authorlinks\":{}},\"downloads\":6,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"A.\"],\"propositions\":[],\"lastnames\":[\"Esposito\"],\"suffixes\":[]},{\"firstnames\":[\"A.\"],\"propositions\":[],\"lastnames\":[\"Aldini\"],\"suffixes\":[]},{\"firstnames\":[\"M.\"],\"propositions\":[],\"lastnames\":[\"Bernardo\"],\"suffixes\":[]}],\"title\":\"Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems\",\"booktitle\":\"Proc. of the 43rd Int. Conf. on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2023)\",\"pages\":\"57–74\",\"year\":\"2023\",\"doi\":\"10.1007/978-3-031-35355-0_5\",\"month\":\"June\",\"url_paper\":\"./EAB23.pdf\",\"address\":\"Lisbon (Portugal)\",\"publisher\":\"Springer\",\"volume\":\"LNCS 13910\",\"bibtex\":\"@inproceedings{EAB23,\\n  author       = {A. Esposito and\\n                  A. Aldini and\\n                  M. Bernardo},\\n  title        = {Branching Bisimulation Semantics Enables Noninterference Analysis\\n                  of Reversible Systems},\\n    booktitle    = {Proc. of the  43rd Int. Conf. on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2023)},\\n  pages        = {57--74},\\n  year         = {2023},\\n  doi          = {10.1007/978-3-031-35355-0\\\\_5},\\n \\tmonth        = {June},\\n   url_Paper    = {./EAB23.pdf},\\naddress = {Lisbon (Portugal)},\\n  publisher    = {Springer},\\n  volume        = {LNCS 13910},\\n}\\n\\n\\n\",\"author_short\":[\"Esposito, A.\",\"Aldini, A.\",\"Bernardo, M.\"],\"key\":\"EAB23\",\"id\":\"EAB23\",\"bibbaseid\":\"esposito-aldini-bernardo-branchingbisimulationsemanticsenablesnoninterferenceanalysisofreversiblesystems-2023\",\"role\":\"author\",\"urls\":{\" paper\":\"http://www.sti.uniurb.it/nirvana/file/papers/EAB23.pdf\"},\"metadata\":{\"authorlinks\":{}},\"downloads\":7,\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"author\":[{\"firstnames\":[\"M.\"],\"propositions\":[],\"lastnames\":[\"Bernardo\"],\"suffixes\":[]},{\"firstnames\":[\"C.\",\"A.\"],\"propositions\":[],\"lastnames\":[\"Mezzina\"],\"suffixes\":[]}],\"title\":\"Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach\",\"journal\":\"Logical Methods in Computer Science\",\"volume\":\"19(2:6)\",\"month\":\"April\",\"year\":\"2023\",\"doi\":\"10.46298/lmcs-19(2:6)2023\",\"url_paper\":\"./BM23.pdf\",\"pages\":\"1-27\",\"bibtex\":\"@article{BM23,\\n  author       = {M. Bernardo and\\n                  C. A. Mezzina},\\n  title        = {Bridging Causal Reversibility and Time Reversibility: {A} Stochastic\\n                  Process Algebraic Approach},\\n  journal      = {Logical Methods in Computer Science},\\n  volume       = {19(2:6)},\\n  month        = {April},\\n  year         = {2023},\\n  doi          = {10.46298/lmcs-19(2:6)2023},\\n  url_Paper    = {./BM23.pdf},\\n  pages \\t   = {1-27},\\n}\\n\\n\",\"author_short\":[\"Bernardo, M.\",\"Mezzina, C. A.\"],\"key\":\"BM23\",\"id\":\"BM23\",\"bibbaseid\":\"bernardo-mezzina-bridgingcausalreversibilityandtimereversibilityastochasticprocessalgebraicapproach-2023\",\"role\":\"author\",\"urls\":{\" paper\":\"http://www.sti.uniurb.it/nirvana/file/papers/BM23.pdf\"},\"metadata\":{\"authorlinks\":{}},\"downloads\":7,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"M.\"],\"propositions\":[],\"lastnames\":[\"Bernardo\"],\"suffixes\":[]},{\"firstnames\":[\"S.\"],\"propositions\":[],\"lastnames\":[\"Rossi\"],\"suffixes\":[]}],\"title\":\"Reverse Bisimilarity vs. Forward Bisimilarity\",\"booktitle\":\"Proc. of the 26th Int. Conf. on Foundations of Software Science and Computation Structures (FOSSACS 2023)\",\"publisher\":\"Springer\",\"volume\":\"LNCS 13992\",\"url_paper\":\"./BR23.pdf\",\"pages\":\"265-284\",\"year\":\"2023\",\"month\":\"April\",\"address\":\"Paris (France)\",\"doi\":\"10.1007/978-3-031-30829-1_13\",\"bibtex\":\"@inproceedings{BR23,\\n  author       = {M. Bernardo and\\n                  S. Rossi},\\n  title        = {Reverse Bisimilarity vs. Forward Bisimilarity},\\n  booktitle    = {Proc. of the 26th Int. Conf. on Foundations of Software Science and Computation Structures (FOSSACS 2023)},\\n  publisher    = {Springer},\\n  volume        = {LNCS 13992},\\n  url_Paper    = {./BR23.pdf},\\n  pages        = {265-284},\\n  year\\t       = {2023},\\n  month        = {April},\\naddress = {Paris (France)},\\n  doi          = {10.1007/978-3-031-30829-1\\\\_13}\\n}\\n\\n \\n\",\"author_short\":[\"Bernardo, M.\",\"Rossi, S.\"],\"key\":\"BR23\",\"id\":\"BR23\",\"bibbaseid\":\"bernardo-rossi-reversebisimilarityvsforwardbisimilarity-2023\",\"role\":\"author\",\"urls\":{\" paper\":\"http://www.sti.uniurb.it/nirvana/file/papers/BR23.pdf\"},\"metadata\":{\"authorlinks\":{}},\"downloads\":12,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"L.\"],\"propositions\":[],\"lastnames\":[\"Bocchi\"],\"suffixes\":[]},{\"firstnames\":[\"I.\"],\"propositions\":[],\"lastnames\":[\"Lanese\"],\"suffixes\":[]},{\"firstnames\":[\"C.\",\"A.\"],\"propositions\":[],\"lastnames\":[\"Mezzina\"],\"suffixes\":[]},{\"firstnames\":[\"S.\"],\"propositions\":[],\"lastnames\":[\"Yuen\"],\"suffixes\":[]}],\"title\":\"The Reversible Temporal Process Language\",\"booktitle\":\"Proc. of the 42nd Int. Conf. on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2022)\",\"publisher\":\"Springer\",\"volume\":\"LNCS 13273\",\"url_paper\":\"./BLMY22.pdf\",\"pages\":\"31-49\",\"year\":\"2022\",\"month\":\"June\",\"address\":\"Lucca (Italy)\",\"doi\":\"10.1007/978-3-031-08679-3_3\",\"bibtex\":\"@inproceedings{BLMY22,\\n  author       = {L. Bocchi and\\n                  I. Lanese and C. A. Mezzina and S. Yuen},\\n  title        = {The Reversible Temporal Process Language},\\n  booktitle    = {Proc. of the 42nd Int. Conf. on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2022)},\\n  publisher    = {Springer},\\n  volume        = {LNCS 13273},\\n  url_Paper    = {./BM23.pdf},\\n  pages        = {31-49},\\n  year\\t       = {2022},\\n  month        = {June},\\n  url_Paper    = {./BLMY22.pdf},\\naddress = {Lucca (Italy)},\\n  doi          = {10.1007/978-3-031-08679-3\\\\_3}\\n}\\n\",\"author_short\":[\"Bocchi, L.\",\"Lanese, I.\",\"Mezzina, C. A.\",\"Yuen, S.\"],\"key\":\"BLMY22\",\"id\":\"BLMY22\",\"bibbaseid\":\"bocchi-lanese-mezzina-yuen-thereversibletemporalprocesslanguage-2022\",\"role\":\"author\",\"urls\":{\" paper\":\"http://www.sti.uniurb.it/nirvana/file/papers/BLMY22.pdf\"},\"metadata\":{\"authorlinks\":{}},\"downloads\":16,\"html\":\"\"}],\n      metadata: {\"authorlinks\":{}},\n      ownerID: undefined\n    };\n  </script>\n\n  <script type=\"text/javascript\">\n  var site$;\n  if (typeof $ != 'undefined') {\n    console.log('existing jquery: storing and then restoring');\n    site$ = $;\n    $ = null;\n  }\n  </script>\n\n  <script src=\"https://ajax.googleapis.com/ajax/libs/jquery/2.2.4/jquery.min.js\">\n  </script>\n  <script type=\"text/javascript\">\n  if (site$) {\n    console.log('existing jquery: avoiding conflict and restoring');\n    bb$ = $.noConflict(true);\n    $ = site$;\n  } else {\n    bb$ = $;\n  }\n  </script>\n\n  <script src=\"//bibbase.org/js/bibbase.min.js\"\n          type=\"text/javascript\">\n  </script>\n\n  <script type=\"text/javascript\"\n          src=\"https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.1/MathJax.js?config=TeX-AMS-MML_HTMLorMML\">\n  </script>\n  <script type=\"text/x-mathjax-config\">\n    MathJax.Hub.Config({tex2jax: {inlineMath: [['$','$'], ['\\\\(','\\\\)']]},\n                        skipTags: [\"body\"],\n                        processClass: \"bibbase_paper\"});\n  </script>\n\n  <style>\n  @media print {\n    .dontprint {\n        display: none !important;\n    }\n\n  .bibbase_group {\n    background-color: #E0E0E0;\n    font-style: italic;\n    font-size: larger;\n    text-shadow: 0px 0px 3px #FFFFFF;\n    border-radius: 4px 4px 4px 4px;\n    -moz-border-radius: 4px 4px 4px 4px;\n    -webkit-border-radius: 4px;\n    padding: 5px 40px 5px;\n    margin-top: 10px;\n    margin-bottom: 5px;\n    cursor: pointer;\n  }\n\n  .bibbase_paper {\n    margin-bottom: 5px;\n  }\n\n  }\n  </style>\n\n  \n  <div style=\"float: right; margin-right: 10px; margin-top: 10px; text-align: right; font-size: 12px\">\n    generated by\n    <a href=\"//bibbase.org\"\n       onclick=\"trackOutboundLink('bibbase', 'logo clicked', window.location.href, '//bibbase.org'); return false;\">\n      <img src=\"//bibbase.org/img/logo.svg\"\n           style=\"vertical-align: middle; margin-left: 3px; height: 16px;\"/\n           alt=\"bibbase.org\"\n           title=\"BibBase – The easiest way to maintain your publications page.\"\n        ></a>\n    \n  </div>\n  \n\n  <div id=\"bibbase_header\" class=\"dontprint\" style=\"\">\n\n    <ul class=\"nav nav-pills\" style=\"margin: 0px;\">\n\n      <li class=\"dropdown\" id=\"groupby_dropdown\">\n      <a class=\"dropdown-toggle\"\n         data-toggle=\"dropdown\"\n         href=\"#\">\n          Group by\n          <b class=\"caret\"></b>\n      </a>\n      <ul class=\"dropdown-menu\">\n        <li class=\"groupby year\"><a onclick=\"groupby('year')\">\n            Year</a>\n        </li>\n        <li class=\"groupby author\"><a onclick=\"groupby('author_short')\">\n            Author</a>\n        </li>\n        <li class=\"groupby type\"><a onclick=\"groupby('type')\">\n            Type</a>\n        </li>\n        <li class=\"groupby keyword\"><a onclick=\"groupby('keyword')\">\n            Keyword</a>\n        </li>\n        <li class=\"groupby downloads\"><a onclick=\"groupby('downloads')\">\n            Downloads</a>\n        </li>\n      </ul>\n      </li>\n\n\n      <li class=\"dropdown\" id=\"menu_dropdown\">\n      <a class=\"dropdown-toggle\"\n         data-toggle=\"dropdown\"\n         href=\"#\" alt=\"controls\">\n          <i class=\"fa fa-reorder\" alt=\"controls\"></i>\n          <b class=\"caret\"></b>\n      </a>\n      <ul class=\"dropdown-menu\">\n        <li>\n          <a onclick=\"toggleAll()\">\n            <i class=\"fa fa-chevron-down fa-fw\"></i> Expand/Collapse All\n          </a>\n        </li>\n        <li>\n          <a download=\"biblio.bib\" href=\"data:text/bibtex;base64,QGFydGljbGV7QkxNWTI0LAogIGF1dGhvciAgICAgICA9IHtMLiBCb2NjaGkgYW5kCiAgICAgICAgICAgICAgICAgIEkuIExhbmVzZSBhbmQKICAgICAgICAgICAgICAgICAgQy4gQS4gTWV6emluYSBhbmQKICAgICAgICAgICAgICAgICAgUy4gWXVlbn0sCiAgdGl0bGUgICAgICAgID0ge3JldlRQTDogVGhlIFJldmVyc2libGUgVGVtcG9yYWwgUHJvY2VzcyBMYW5ndWFnZX0sCiAgam91cm5hbCAgICAgID0ge0xvZ2ljYWwgTWV0aG9kcyBpbiBDb21wdXRlciBTY2llbmNlfSwKICB2b2x1bWUgICAgICAgPSB7MjAoMToxMSl9LAogIHllYXIgICAgICAgICA9IHsyMDI0fSwKICBtb250aCAgICAgICAgPSB7SmFudWFyeX0sCiAgdXJsICAgICAgICAgID0ge2h0dHBzOi8vZG9pLm9yZy8xMC40NjI5OC9sbWNzLTIwKDE6MTEpMjAyNH0sCiAgZG9pICAgICAgICAgID0gezEwLjQ2Mjk4L0xNQ1MtMjAoMToxMSkyMDI0fSwKICBwYWdlcwkgICAgICAgPSB7MS0zNX0sCiAgdXJsX1BhcGVyICAgID0gey4vQkxNWTI0LnBkZn0KfQoKCgoKCkBhcnRpY2xle01STzIzLAogIGF1dGhvciAgICAgICA9IHtBLiBNYXJpbiBhbmQKICAgICAgICAgICAgICAgICAgUy4gUm9zc2kgYW5kCiAgICAgICAgICAgICAgICAgIEQuIE9sbGlhcm99LAogIHRpdGxlICAgICAgICA9IHtBIFByb2R1Y3QtRm9ybSBOZXR3b3JrIGZvciBTeXN0ZW1zIHdpdGggSm9iIFN0ZWFsaW5nIFBvbGljaWVzfSwKICBqb3VybmFsICAgICAgPSB7e1NJR01FVFJJQ1N9IFBlcmZvcm1hbmNlIEV2YWx1YXRpb24gUmV2aWV3fSwKICB2b2x1bWUgICAgICAgPSB7NTB9LAogIG51bWJlciAgICAgICA9IHs0fSwKICBwYWdlcyAgICAgICAgPSB7Mi00fSwKICB5ZWFyICAgICAgICAgPSB7MjAyM30sCiAgbW9udGggPSB7TWFyY2h9LAogIHVybCAgICAgICAgICA9IHtodHRwczovL2RvaS5vcmcvMTAuMTE0NS8zNTk1MjQ0LjM1OTUyNDZ9LAogIGRvaSAgICAgICAgICA9IHsxMC4xMTQ1LzM1OTUyNDQuMzU5NTI0Nn0sCiAgdXJsX1BhcGVyICAgID0gey4vTVJPMjMucGRmfSwKfQoKCgoKQGFydGljbGV7TU1SMjMsCiAgYXV0aG9yICAgICAgID0ge0kuIE1hbGFraG92IGFuZAogICAgICAgICAgICAgICAgICBBLiBNYXJpbiBhbmQKICAgICAgICAgICAgICAgICAgUy4gUm9zc2l9LAogIHRpdGxlICAgICAgICA9IHtBbmFseXNpcyBvZiB0aGUgQ29uZmlybWF0aW9uIFRpbWUgaW4gUHJvb2Ytb2YtV29yayBCbG9ja2NoYWluc30sCiAgam91cm5hbCAgICAgID0ge0Z1dHVyZSBHZW5lcmF0aW9uIENvbXB1dGVyIFN5c3RlbXN9LAogIHZvbHVtZSAgICAgICA9IHsxNDd9LAogIHBhZ2VzICAgICAgICA9IHsyNzUtMjkxfSwKICB5ZWFyICAgICAgICAgPSB7MjAyM30sCiAgbW9udGggPSB7T2N0b2Jlcn0sCgogIHVybCAgICAgICAgICA9IHtodHRwczovL2RvaS5vcmcvMTAuMTAxNi9qLmZ1dHVyZS4yMDIzLjA0LjAxNn0sCiAgZG9pICAgICAgICAgID0gezEwLjEwMTYvSi5GVVRVUkUuMjAyMy4wNC4wMTZ9LAogIHVybF9QYXBlciAgICA9IHsuL01NUjIzLnBkZn0KfQoKCgpAaW5wcm9jZWVkaW5nc3tTTU1SMjMsCiAgYXV0aG9yICAgICAgID0ge0QuIFNtdXNldmEgYW5kIEkuIE1hbGFraG92IGFuZCBBLiBNYXJpbiBhbmQgUy4gUm9zc2kKICAgICAgICAgICAgICAgIH0sCiAgdGl0bGUgICAgICAgID0ge0NyaXNpcyBvZiBUcnVzdDogQW5hbHl6aW5nIHRoZSBWZXJpZmllcidzIERpbGVtbWEgaW4gRXRoZXJldW0ncwpQcm9vZi1vZi1TdGFrZSBCbG9ja2NoYWlufSwKICBib29rdGl0bGUgICAgPSB7UHJvYy4gb2YgdGhlIDZ0aCBJRUVFIEludC4gQ29uZi4gb24gQmxvY2tjaGFpbiAoQmxvY2tjaGFpbiAyMDIzKX0sCiAgcGFnZXMgICAgICAgID0gezMzMi0zMzl9LAogIG1vbnRoICAgICAgICA9IHtEZWNlbWJlcn0sCiAgeWVhciAgICAgICAgPSB7MjAyM30sCiAgIHVybF9QYXBlciAgICA9IHsuL1NNTVIyMy5wZGZ9LAphZGRyZXNzID0ge0hlaW5hbiAoQ2hpbmEpfSwKICBwdWJsaXNoZXIgICAgPSB7SUVFRS1DUyBQcmVzc30sCn0KCgoKCkBpbnByb2NlZWRpbmdze0JCQ1IyMywKICBhdXRob3IgICAgICAgPSB7TC4gQmVuZXRvbGxvIGFuZCBNLiBCdWdsaWVzaSBhbmQgUy4gQ3JhZmEgYW5kIFMuIFJvc3NpIGFuZCBBLiBTcGFuXGB7b319LAogIHRpdGxlICAgICAgICA9IHtBTEdPTU9WRSAtIEEgTW92ZSBFbWJlZGRpbmcgZm9yIEFsZ29yYW5kfSwKICBib29rdGl0bGUgICAgPSB7UHJvYy4gb2YgdGhlIDZ0aCBJRUVFIEludC4gQ29uZi4gb24gQmxvY2tjaGFpbiAoQmxvY2tjaGFpbiAyMDIzKX0sCiAgcGFnZXMgICAgICAgID0gezYyLTY3fSwKICBtb250aCAgICAgICAgPSB7RGVjZW1iZXJ9LAogIHllYXIgICAgICAgID0gezIwMjN9LAogICB1cmxfUGFwZXIgICAgPSB7Li9CQkNSMjMucGRmfSwKYWRkcmVzcyA9IHtIZWluYW4gKENoaW5hKX0sCiAgcHVibGlzaGVyICAgID0ge0lFRUUtQ1MgUHJlc3N9LAp9CgoKCkBpbnByb2NlZWRpbmdze0JFMjMsCiAgYXV0aG9yICAgICAgID0ge00uIEJlcm5hcmRvIGFuZAoJCUEuIEVzcG9zaXRvCiAgICAgICAgICAgICAgICB9LAogIHRpdGxlICAgICAgICA9IHtPbiB0aGUgV2VhayBDb250aW51YXRpb24gb2YgUmV2ZXJzZSBCaXNpbWlsYXJpdHkgdnMuIEZvcndhcmQgQmlzaW1pbGFyaXR5fSwKICBib29rdGl0bGUgICAgPSB7UHJvYy4gb2YgdGhlIDI0dGggSXRhbGlhbiBDb25mLiBvbiBUaGVvcmV0aWNhbCBDb21wdXRlciBTY2llbmNlIChJQ1RDUyAyMDIzKX0sCiAgcGFnZXMgICAgICAgID0gezQ0LTU4fSwKICB5ZWFyICAgICAgICAgPSB7MjAyM30sCiAgbW9udGggICAgICAgID0ge1NlcHRlbWJlcn0sCiAgIHVybF9QYXBlciAgICA9IHsuL0JFMjNhLnBkZn0sCmFkZHJlc3MgPSB7UGFsZXJtbyAoSXRhbHkpfSwKICBwdWJsaXNoZXIgICAgPSB7Q0VVUi1XUy5vcmd9LAogIHZvbHVtZSAgICAgICA9IHszNTg3fSwKfQoKCgoKCkBpbnByb2NlZWRpbmdze0JFMjMsCiAgYXV0aG9yICAgICAgID0ge00uIEJlcm5hcmRvIGFuZAoJCUEuIEVzcG9zaXRvCiAgICAgICAgICAgICAgICB9LAogIHRpdGxlICAgICAgICA9IHtNb2RhbCBMb2dpYyBDaGFyYWN0ZXJpemF0aW9ucyBvZiBGb3J3YXJkLCBSZXZlcnNlLCBhbmQgRm9yd2FyZC1SZXZlcnNlCiAgICAgICAgICAgICAgICAgIEJpc2ltaWxhcml0aWVzfSwKICBib29rdGl0bGUgICAgPSB7UHJvYy4gb2YgdGhlIDE0dGggSW50LiBTeW1wLiBvbiBHYW1lcywgQXV0b21hdGEsCiAgICAgICAgICAgICAgICAgIExvZ2ljcywgYW5kIEZvcm1hbCBWZXJpZmljYXRpb24gKEdhbmRBTEYgMjAyMyl9LAogIHBhZ2VzICAgICAgICA9IHs2Ny04MX0sCiAgeWVhciAgICAgICAgID0gezIwMjN9LAogIG1vbnRoICAgICAgICA9IHtTZXB0ZW1iZXJ9LApkb2kgPSB7MTAuNDIwNC9FUFRDUy4zOTAuNX0sCiAgIHVybF9QYXBlciAgICA9IHsuL0JFMjMucGRmfSwKYWRkcmVzcyA9IHtVZGluZSAoSXRhbHkpfSwKICBwdWJsaXNoZXIgICAgPSB7T3BlbiBQdWJsaXNoaW5nIEFzc29jaWF0aW9ufSwKICB2b2x1bWUgICAgICAgID0ge0VQVENTIDM5MH0KfQoKCgoKQGlucHJvY2VlZGluZ3N7cWVzdDIzLAogIGF1dGhvciAgICAgICA9IHtNLiBCZXJuYXJkbyBhbmQKCQlJLiBMYW5lc2UgYW5kIEEuIE1hcmluIGFuZCAgCgkJQy4gQS4gTWV6emluYSBhbmQgUy4gUm9zc2kgYW5kIEMuIFNhY2VyZG90aSBDb2VuCiAgICAgICAgICAgICAgICB9LAogIHRpdGxlICAgICAgICA9IHtDYXVzYWwgUmV2ZXJzaWJpbGl0eSBJbXBsaWVzIFRpbWUgUmV2ZXJzaWJpbGl0eX0sCiAgYm9va3RpdGxlICAgID0ge1Byb2MuIG9mIHRoZSAyMHRoIEludC4gQ29uZi4gb24gIFF1YW50aXRhdGl2ZSBFdmFsdWF0aW9uIG9mIFN5c3RlbXMgKFFFU1QgMjAyMyl9LAogIHBhZ2VzICAgICAgICA9IHsyNzAtLTI4N30sCiAgeWVhciAgICAgICAgID0gezIwMjN9LAogIG1vbnRoICAgICAgICA9IHtTZXB0ZW1iZXJ9LApkb2kgPSB7MTAuMTAwNy85NzgtMy0wMzEtNDM4MzUtNlxfMTl9LAogICB1cmxfUGFwZXIgICAgPSB7Li9xZXN0MjAyMy5wZGZ9LAphZGRyZXNzID0ge0FudHdlcnAgKEJlbGdpdW0pfSwKICBwdWJsaXNoZXIgICAgPSB7U3ByaW5nZXJ9LAogIHZvbHVtZSAgICAgICAgPSB7TE5DUyAxNDI4N30KfQoKCgoKQGlucHJvY2VlZGluZ3N7TUIyM2EsCiAgYXV0aG9yICAgICAgID0ge00uIEJlcm5hcmRvIGFuZCAKCQlDLiBBLiBNZXp6aW5hIAogICAgICAgICAgICAgICAgfSwKICB0aXRsZSAgICAgICAgPSB7Q2F1c2FsIFJldmVyc2liaWxpdHkgZm9yIFRpbWVkIFByb2Nlc3MgQ2FsY3VsaQp3aXRoIExhenkvRWFnZXIgRHVyYXRpb25sZXNzIEFjdGlvbnMKYW5kIFRpbWUgQWRkaXRpdml0eX0sCiAgYm9va3RpdGxlICAgID0ge1Byb2MuIG9mIHRoZSAyMXRoIEludC4gQ29uZi4gb24gIEZvcm1hbCBNb2RlbGluZyBhbmQgQW5hbHlzaXMgb2YgVGltZWQgU3lzdGVtcyAoRk9STUFUUyAyMDIzKX0sCiAgcGFnZXMgICAgICAgID0gezE1LS0zMn0sCiAgeWVhciAgICAgICAgID0gezIwMjN9LAogIGRvaSAgICAgICAgICA9IHsxMC4xMDA3Lzk3OC0zLTAzMS00MjYyNi0xXF8yfSwKICBtb250aCAgICAgICAgPSB7U2VwdGVtYmVyfSwKICAgdXJsX1BhcGVyICAgID0gey4vQk0yM2EucGRmfSwKYWRkcmVzcyA9IHtBbnR3ZXJwIChCZWxnaXVtKX0sCiAgcHVibGlzaGVyICAgID0ge1NwcmluZ2VyfSwKICB2b2x1bWUgICAgICAgID0ge0xOQ1MgMTQxMzh9LAp9CgoKCkBpbnByb2NlZWRpbmdze01UWTIzLAogIGF1dGhvciAgICAgICA9IHtDLiBBLiBNZXp6aW5hIGFuZAogICAgICAgICAgICAgICAgICBGLiBUaWV6emkgYW5kCiAgICAgICAgICAgICAgICAgIE4uIFlvc2hpZGF9LAogIHRpdGxlICAgICAgICA9IHtSb2xsYmFjayBSZWNvdmVyeSBpbiBTZXNzaW9uLUJhc2VkIFByb2dyYW1taW5nfSwKICBib29rdGl0bGUgICAgPSB7UHJvYy4gb2YgdGhlIDI1dGggSW50LiBDb25mLiBvbiAgQ29vcmRpbmF0aW9uIE1vZGVscyBhbmQgTGFuZ3VhZ2VzIChDT09SRElOQVRJT04gMjAyMyl9LAogIHBhZ2VzICAgICAgICA9IHsxOTUtLTIxM30sCiAgeWVhciAgICAgICAgID0gezIwMjN9LAogIGRvaSAgICAgICAgICA9IHsxMC4xMDA3Lzk3OC0zLTAzMS0zNTM2MS0xXF8xMX0sCiAgbW9udGggICAgICAgID0ge0p1bmV9LAogICB1cmxfUGFwZXIgICAgPSB7Li9NVFkyMy5wZGZ9LAphZGRyZXNzID0ge0xpc2JvbiAoUG9ydHVnYWwpfSwKICBwdWJsaXNoZXIgICAgPSB7U3ByaW5nZXJ9LAogIHZvbHVtZSAgICAgICAgPSB7TE5DUyAxMzkwOH0sCgp9CgoKCkBpbnByb2NlZWRpbmdze01NUDIzLAogIGF1dGhvciAgICAgICA9IHtILiBDLiBNZWxncmF0dGkgYW5kCiAgICAgICAgICAgICAgICAgIEMuIEEuIE1lenppbmEgYW5kCiAgICAgICAgICAgICAgICAgIEcuIE0uIFBpbm5hfSwKICB0aXRsZSAgICAgICAgPSB7UmVsYXRpbmcgUmV2ZXJzaWJsZSBQZXRyaSBOZXRzIGFuZCBSZXZlcnNpYmxlIEV2ZW50IFN0cnVjdHVyZXMsIENhdGVnb3JpY2FsbHl9LAogIGJvb2t0aXRsZSAgICA9IHtQcm9jLiBvZiB0aGUgIDQzcmQgSW50LiBDb25mLiBvbiBGb3JtYWwgVGVjaG5pcXVlcyBmb3IgRGlzdHJpYnV0ZWQgT2JqZWN0cywgQ29tcG9uZW50cywgYW5kIFN5c3RlbXMgKEZPUlRFIDIwMjMpfSwKICBwYWdlcyAgICAgICAgPSB7MjA2LS0yMjN9LAogIHllYXIgICAgICAgICA9IHsyMDIzfSwKICBkb2kgICAgICAgICAgPSB7MTAuMTAwNy85NzgtMy0wMzEtMzUzNTUtMFxfMTN9LAoJbW9udGggICAgICAgID0ge0p1bmV9LAogICB1cmxfUGFwZXIgICAgPSB7Li9NTVAyMy5wZGZ9LAphZGRyZXNzID0ge0xpc2JvbiAoUG9ydHVnYWwpfSwKICBwdWJsaXNoZXIgICAgPSB7U3ByaW5nZXJ9LAogIHZvbHVtZSAgICAgICAgPSB7TE5DUyAxMzkxMH0sCgp9CgoKCgpAaW5wcm9jZWVkaW5nc3tFQUIyMywKICBhdXRob3IgICAgICAgPSB7QS4gRXNwb3NpdG8gYW5kCiAgICAgICAgICAgICAgICAgIEEuIEFsZGluaSBhbmQKICAgICAgICAgICAgICAgICAgTS4gQmVybmFyZG99LAogIHRpdGxlICAgICAgICA9IHtCcmFuY2hpbmcgQmlzaW11bGF0aW9uIFNlbWFudGljcyBFbmFibGVzIE5vbmludGVyZmVyZW5jZSBBbmFseXNpcwogICAgICAgICAgICAgICAgICBvZiBSZXZlcnNpYmxlIFN5c3RlbXN9LAogICAgYm9va3RpdGxlICAgID0ge1Byb2MuIG9mIHRoZSAgNDNyZCBJbnQuIENvbmYuIG9uIEZvcm1hbCBUZWNobmlxdWVzIGZvciBEaXN0cmlidXRlZCBPYmplY3RzLCBDb21wb25lbnRzLCBhbmQgU3lzdGVtcyAoRk9SVEUgMjAyMyl9LAogIHBhZ2VzICAgICAgICA9IHs1Ny0tNzR9LAogIHllYXIgICAgICAgICA9IHsyMDIzfSwKICBkb2kgICAgICAgICAgPSB7MTAuMTAwNy85NzgtMy0wMzEtMzUzNTUtMFxfNX0sCiAJbW9udGggICAgICAgID0ge0p1bmV9LAogICB1cmxfUGFwZXIgICAgPSB7Li9FQUIyMy5wZGZ9LAphZGRyZXNzID0ge0xpc2JvbiAoUG9ydHVnYWwpfSwKICBwdWJsaXNoZXIgICAgPSB7U3ByaW5nZXJ9LAogIHZvbHVtZSAgICAgICAgPSB7TE5DUyAxMzkxMH0sCn0KCgoKCkBhcnRpY2xle0JNMjMsCiAgYXV0aG9yICAgICAgID0ge00uIEJlcm5hcmRvIGFuZAogICAgICAgICAgICAgICAgICBDLiBBLiBNZXp6aW5hfSwKICB0aXRsZSAgICAgICAgPSB7QnJpZGdpbmcgQ2F1c2FsIFJldmVyc2liaWxpdHkgYW5kIFRpbWUgUmV2ZXJzaWJpbGl0eToge0F9IFN0b2NoYXN0aWMKICAgICAgICAgICAgICAgICAgUHJvY2VzcyBBbGdlYnJhaWMgQXBwcm9hY2h9LAogIGpvdXJuYWwgICAgICA9IHtMb2dpY2FsIE1ldGhvZHMgaW4gQ29tcHV0ZXIgU2NpZW5jZX0sCiAgdm9sdW1lICAgICAgID0gezE5KDI6Nil9LAogIG1vbnRoICAgICAgICA9IHtBcHJpbH0sCiAgeWVhciAgICAgICAgID0gezIwMjN9LAogIGRvaSAgICAgICAgICA9IHsxMC40NjI5OC9sbWNzLTE5KDI6NikyMDIzfSwKICB1cmxfUGFwZXIgICAgPSB7Li9CTTIzLnBkZn0sCiAgcGFnZXMgCSAgID0gezEtMjd9LAp9CgoKCkBpbnByb2NlZWRpbmdze0JSMjMsCiAgYXV0aG9yICAgICAgID0ge00uIEJlcm5hcmRvIGFuZAogICAgICAgICAgICAgICAgICBTLiBSb3NzaX0sCiAgdGl0bGUgICAgICAgID0ge1JldmVyc2UgQmlzaW1pbGFyaXR5IHZzLiBGb3J3YXJkIEJpc2ltaWxhcml0eX0sCiAgYm9va3RpdGxlICAgID0ge1Byb2MuIG9mIHRoZSAyNnRoIEludC4gQ29uZi4gb24gRm91bmRhdGlvbnMgb2YgU29mdHdhcmUgU2NpZW5jZSBhbmQgQ29tcHV0YXRpb24gU3RydWN0dXJlcyAoRk9TU0FDUyAyMDIzKX0sCiAgcHVibGlzaGVyICAgID0ge1NwcmluZ2VyfSwKICB2b2x1bWUgICAgICAgID0ge0xOQ1MgMTM5OTJ9LAogIHVybF9QYXBlciAgICA9IHsuL0JSMjMucGRmfSwKICBwYWdlcyAgICAgICAgPSB7MjY1LTI4NH0sCiAgeWVhcgkgICAgICAgPSB7MjAyM30sCiAgbW9udGggICAgICAgID0ge0FwcmlsfSwKYWRkcmVzcyA9IHtQYXJpcyAoRnJhbmNlKX0sCiAgZG9pICAgICAgICAgID0gezEwLjEwMDcvOTc4LTMtMDMxLTMwODI5LTFcXzEzfQp9CgogCgoKQGlucHJvY2VlZGluZ3N7QkxNWTIyLAogIGF1dGhvciAgICAgICA9IHtMLiBCb2NjaGkgYW5kCiAgICAgICAgICAgICAgICAgIEkuIExhbmVzZSBhbmQgQy4gQS4gTWV6emluYSBhbmQgUy4gWXVlbn0sCiAgdGl0bGUgICAgICAgID0ge1RoZSBSZXZlcnNpYmxlIFRlbXBvcmFsIFByb2Nlc3MgTGFuZ3VhZ2V9LAogIGJvb2t0aXRsZSAgICA9IHtQcm9jLiBvZiB0aGUgNDJuZCBJbnQuIENvbmYuIG9uIEZvcm1hbCBUZWNobmlxdWVzIGZvciBEaXN0cmlidXRlZCBPYmplY3RzLCBDb21wb25lbnRzLCBhbmQgU3lzdGVtcyAoRk9SVEUgMjAyMil9LAogIHB1Ymxpc2hlciAgICA9IHtTcHJpbmdlcn0sCiAgdm9sdW1lICAgICAgICA9IHtMTkNTIDEzMjczfSwKICB1cmxfUGFwZXIgICAgPSB7Li9CTTIzLnBkZn0sCiAgcGFnZXMgICAgICAgID0gezMxLTQ5fSwKICB5ZWFyCSAgICAgICA9IHsyMDIyfSwKICBtb250aCAgICAgICAgPSB7SnVuZX0sCiAgdXJsX1BhcGVyICAgID0gey4vQkxNWTIyLnBkZn0sCmFkZHJlc3MgPSB7THVjY2EgKEl0YWx5KX0sCiAgZG9pICAgICAgICAgID0gezEwLjEwMDcvOTc4LTMtMDMxLTA4Njc5LTNcXzN9Cn0K\">\n            <i class=\"fa fa-download fa-fw\"></i> Download BibTeX\n          </a>\n        </li>\n        <li>\n          <a href=\"//bibbase.org/rss?bib=http://www.sti.uniurb.it/nirvana/file/papers/biblio.bib\">\n            <i class=\"fa fa-rss fa-fw\"></i> RSS Feed\n          </a>\n          </li>\n      </ul>\n      </li>\n\n      \n\n\n      \n    </ul>\n\n\n    <div class=\"alert alert-success bibbase_msg\" id=\"bibbase_msg_embed\"\n         style=\"display: none;\">\n\n      Excellent! Next you can\n      <a href=\"/network/register?next=/network/newSiteFromTemplate%3Fbiburl=http://www.sti.uniurb.it/nirvana/file/papers/biblio.bib\"\n      >create a new website with this list</a>, or\n      embed it in an existing web page by copying &amp; pasting\n      any of the following snippets.\n\n      <div style=\"text-align: left; margin-top: 1em;\">\n        <strong>JavaScript</strong>\n        <span class=\"comment recommended\">(easiest)</span>\n        <div class=\"well well-small\">\n          <code>\n            &lt;script src=\"https://bibbase.org/show?bib=http%3A%2F%2Fwww.sti.uniurb.it%2Fnirvana%2Ffile%2Fpapers%2Fbiblio.bib&amp;groupby=type&amp;authorFirst=1&amp;fullnames=1&amp;commas=false&amp;jsonp=1&amp;jsonp=1\"&gt;&lt;/script&gt;\n          </code>\n        </div>\n\n        <strong>PHP</strong>\n        <div class=\"well well-small\">\n          <code>\n            &lt;?php\n            $contents = file_get_contents(\"https://bibbase.org/show?bib=http%3A%2F%2Fwww.sti.uniurb.it%2Fnirvana%2Ffile%2Fpapers%2Fbiblio.bib&amp;groupby=type&amp;authorFirst=1&amp;fullnames=1&amp;commas=false&amp;jsonp=1\");\n            print_r($contents);\n            ?&gt;\n          </code>\n        </div>\n\n        <strong>iFrame</strong>\n        <span class=\"comment\">(not recommended)</span>\n        <div class=\"well well-small\">\n          <code>\n            &lt;iframe src=\"https://bibbase.org/show?bib=http%3A%2F%2Fwww.sti.uniurb.it%2Fnirvana%2Ffile%2Fpapers%2Fbiblio.bib&amp;groupby=type&amp;authorFirst=1&amp;fullnames=1&amp;commas=false&amp;jsonp=1\"&gt;&lt;/iframe&gt;\n          </code>\n        </div>\n\n        <p>\n          For more details see the <a href=\"//bibbase.org/help\">documention</a>.\n        </p>\n      </div>\n    </div>\n\n    <div class=\"alert alert-success bibbase_msg\" id=\"bibbase_msg_preview\"\n         style=\"display: none;\">\n\n      This is a preview! To use this list on your own web site\n      or create a new web site from it,\n      <a href=\"/network/register?next=/network/newAccountWithFile%3FfileId=\"\n      >create a free account</a>. The file will be added\n      and you will be able to edit it in the File Manager.\n      We will show you instructions once you've created your account.\n    </div>\n\n    <div class=\"alert alert-warning bibbase_msg\" id=\"bibbase_msg_mendeley1\"\n         style=\"display: none;\">\n\n      <p>To the site owner:</p>\n\n      <p><strong>Action required!</strong> Mendeley is changing its\n        API. In order to keep using Mendeley with BibBase past April\n        14th, you need to:\n        <ol>\n          <li>renew the authorization for BibBase on Mendeley, and</li>\n          <li>update the BibBase URL\n            in your page the same way you did when you initially set up\n            this page.\n          </li>\n        </ol>\n      </p>\n\n      <p>\n        <a href=\"http://bibbase.org/cgi-bin/mendeley2/get.py\">\n          <i class=\"fa fa-angle-double-right\"></i>\n          Fix it now</a>\n      </p>\n    </div>\n\n  </div>\n\n\n  <div id=\"bibbase_body\">\n    \n  \n  <div class=\"bibbase_group_whole\" id=\"group_article\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_article')\"\n      onkeypress=\"toggleGroup('group_article')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>article</span>\n      <span class=\"bibbase_group_count\">\n        \n        (4)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"bocchi-lanese-mezzina-yuen-revtplthereversibletemporalprocesslanguage-2024\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_author\">\n   L. Bocchi,  I. Lanese,  C. A. Mezzina,  &amp;  S. Yuen.\n</span>\n\n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"http://www.sti.uniurb.it/nirvana/file/papers/BLMY24.pdf\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'bocchi-lanese-mezzina-yuen-revtplthereversibletemporalprocesslanguage-2024', 'http://www.sti.uniurb.it/nirvana/file/papers/BLMY24.pdf', event);\">\n    revTPL: The Reversible Temporal Process Language.\n  </a>\n  \n  \n  \n</span>\n\n  \n\n</span>\n\n  <i>Logical Methods in Computer Science</i>, 20(1:11): 1-35. January 2024.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://doi.org/10.46298/lmcs-20(1:11)2024\"\n     onclick=\"log_download('bocchi-lanese-mezzina-yuen-revtplthereversibletemporalprocesslanguage-2024', 'https://doi.org/10.46298/lmcs-20(1:11)2024', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"revTPL: The Reversible Temporal Process Language [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n  <a href=\"http://www.sti.uniurb.it/nirvana/file/papers/BLMY24.pdf\"\n     onclick=\"log_download('bocchi-lanese-mezzina-yuen-revtplthereversibletemporalprocesslanguage-2024', 'http://www.sti.uniurb.it/nirvana/file/papers/BLMY24.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"revTPL: The Reversible Temporal Process Language [pdf]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.46298/LMCS-20(1:11)2024\"\n     onclick=\"log_download('bocchi-lanese-mezzina-yuen-revtplthereversibletemporalprocesslanguage-2024', 'http://doi.org/10.46298/LMCS-20(1:11)2024', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/bocchi-lanese-mezzina-yuen-revtplthereversibletemporalprocesslanguage-2024\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>11 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('bocchi-lanese-mezzina-yuen-revtplthereversibletemporalprocesslanguage-2024')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{BLMY24,\n  author       = {L. Bocchi and\n                  I. Lanese and\n                  C. A. Mezzina and\n                  S. Yuen},\n  title        = {revTPL: The Reversible Temporal Process Language},\n  journal      = {Logical Methods in Computer Science},\n  volume       = {20(1:11)},\n  year         = {2024},\n  month        = {January},\n  url          = {https://doi.org/10.46298/lmcs-20(1:11)2024},\n  doi          = {10.46298/LMCS-20(1:11)2024},\n  pages\t       = {1-35},\n  url_Paper    = {./BLMY24.pdf}\n}\n\n\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"marin-rossi-olliaro-aproductformnetworkforsystemswithjobstealingpolicies-2023\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_author\">\n   A. Marin,  S. Rossi,  &amp;  D. Olliaro.\n</span>\n\n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"http://www.sti.uniurb.it/nirvana/file/papers/MRO23.pdf\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'marin-rossi-olliaro-aproductformnetworkforsystemswithjobstealingpolicies-2023', 'http://www.sti.uniurb.it/nirvana/file/papers/MRO23.pdf', event);\">\n    A Product-Form Network for Systems with Job Stealing Policies.\n  </a>\n  \n  \n  \n</span>\n\n  \n\n</span>\n\n  <i>SIGMETRICS Performance Evaluation Review</i>, 50(4): 2-4. March 2023.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://doi.org/10.1145/3595244.3595246\"\n     onclick=\"log_download('marin-rossi-olliaro-aproductformnetworkforsystemswithjobstealingpolicies-2023', 'https://doi.org/10.1145/3595244.3595246', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"A Product-Form Network for Systems with Job Stealing Policies [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n  <a href=\"http://www.sti.uniurb.it/nirvana/file/papers/MRO23.pdf\"\n     onclick=\"log_download('marin-rossi-olliaro-aproductformnetworkforsystemswithjobstealingpolicies-2023', 'http://www.sti.uniurb.it/nirvana/file/papers/MRO23.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"A Product-Form Network for Systems with Job Stealing Policies [pdf]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1145/3595244.3595246\"\n     onclick=\"log_download('marin-rossi-olliaro-aproductformnetworkforsystemswithjobstealingpolicies-2023', 'http://doi.org/10.1145/3595244.3595246', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/marin-rossi-olliaro-aproductformnetworkforsystemswithjobstealingpolicies-2023\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>3 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('marin-rossi-olliaro-aproductformnetworkforsystemswithjobstealingpolicies-2023')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{MRO23,\n  author       = {A. Marin and\n                  S. Rossi and\n                  D. Olliaro},\n  title        = {A Product-Form Network for Systems with Job Stealing Policies},\n  journal      = {{SIGMETRICS} Performance Evaluation Review},\n  volume       = {50},\n  number       = {4},\n  pages        = {2-4},\n  year         = {2023},\n  month = {March},\n  url          = {https://doi.org/10.1145/3595244.3595246},\n  doi          = {10.1145/3595244.3595246},\n  url_Paper    = {./MRO23.pdf},\n}\n\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"malakhov-marin-rossi-analysisoftheconfirmationtimeinproofofworkblockchains-2023\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_author\">\n   I. Malakhov,  A. Marin,  &amp;  S. Rossi.\n</span>\n\n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"http://www.sti.uniurb.it/nirvana/file/papers/MMR23.pdf\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'malakhov-marin-rossi-analysisoftheconfirmationtimeinproofofworkblockchains-2023', 'http://www.sti.uniurb.it/nirvana/file/papers/MMR23.pdf', event);\">\n    Analysis of the Confirmation Time in Proof-of-Work Blockchains.\n  </a>\n  \n  \n  \n</span>\n\n  \n\n</span>\n\n  <i>Future Generation Computer Systems</i>, 147: 275-291. October 2023.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://doi.org/10.1016/j.future.2023.04.016\"\n     onclick=\"log_download('malakhov-marin-rossi-analysisoftheconfirmationtimeinproofofworkblockchains-2023', 'https://doi.org/10.1016/j.future.2023.04.016', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Analysis of the Confirmation Time in Proof-of-Work Blockchains [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n  <a href=\"http://www.sti.uniurb.it/nirvana/file/papers/MMR23.pdf\"\n     onclick=\"log_download('malakhov-marin-rossi-analysisoftheconfirmationtimeinproofofworkblockchains-2023', 'http://www.sti.uniurb.it/nirvana/file/papers/MMR23.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Analysis of the Confirmation Time in Proof-of-Work Blockchains [pdf]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1016/J.FUTURE.2023.04.016\"\n     onclick=\"log_download('malakhov-marin-rossi-analysisoftheconfirmationtimeinproofofworkblockchains-2023', 'http://doi.org/10.1016/J.FUTURE.2023.04.016', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/malakhov-marin-rossi-analysisoftheconfirmationtimeinproofofworkblockchains-2023\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>4 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('malakhov-marin-rossi-analysisoftheconfirmationtimeinproofofworkblockchains-2023')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{MMR23,\n  author       = {I. Malakhov and\n                  A. Marin and\n                  S. Rossi},\n  title        = {Analysis of the Confirmation Time in Proof-of-Work Blockchains},\n  journal      = {Future Generation Computer Systems},\n  volume       = {147},\n  pages        = {275-291},\n  year         = {2023},\n  month = {October},\n\n  url          = {https://doi.org/10.1016/j.future.2023.04.016},\n  doi          = {10.1016/J.FUTURE.2023.04.016},\n  url_Paper    = {./MMR23.pdf}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"bernardo-mezzina-bridgingcausalreversibilityandtimereversibilityastochasticprocessalgebraicapproach-2023\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_author\">\n   M. Bernardo,  &amp;  C. A. Mezzina.\n</span>\n\n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"http://www.sti.uniurb.it/nirvana/file/papers/BM23.pdf\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'bernardo-mezzina-bridgingcausalreversibilityandtimereversibilityastochasticprocessalgebraicapproach-2023', 'http://www.sti.uniurb.it/nirvana/file/papers/BM23.pdf', event);\">\n    Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach.\n  </a>\n  \n  \n  \n</span>\n\n  \n\n</span>\n\n  <i>Logical Methods in Computer Science</i>, 19(2:6): 1-27. April 2023.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"http://www.sti.uniurb.it/nirvana/file/papers/BM23.pdf\"\n     onclick=\"log_download('bernardo-mezzina-bridgingcausalreversibilityandtimereversibilityastochasticprocessalgebraicapproach-2023', 'http://www.sti.uniurb.it/nirvana/file/papers/BM23.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach [pdf]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.46298/lmcs-19(2:6)2023\"\n     onclick=\"log_download('bernardo-mezzina-bridgingcausalreversibilityandtimereversibilityastochasticprocessalgebraicapproach-2023', 'http://doi.org/10.46298/lmcs-19(2:6)2023', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/bernardo-mezzina-bridgingcausalreversibilityandtimereversibilityastochasticprocessalgebraicapproach-2023\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>7 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('bernardo-mezzina-bridgingcausalreversibilityandtimereversibilityastochasticprocessalgebraicapproach-2023')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{BM23,\n  author       = {M. Bernardo and\n                  C. A. Mezzina},\n  title        = {Bridging Causal Reversibility and Time Reversibility: {A} Stochastic\n                  Process Algebraic Approach},\n  journal      = {Logical Methods in Computer Science},\n  volume       = {19(2:6)},\n  month        = {April},\n  year         = {2023},\n  doi          = {10.46298/lmcs-19(2:6)2023},\n  url_Paper    = {./BM23.pdf},\n  pages \t   = {1-27},\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_inproceedings\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_inproceedings')\"\n      onkeypress=\"toggleGroup('group_inproceedings')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>inproceedings</span>\n      <span class=\"bibbase_group_count\">\n        \n        (11)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"smuseva-malakhov-marin-rossi-crisisoftrustanalyzingtheverifiersdilemmainethereumsproofofstakeblockchain-2023\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_author\">\n   D. Smuseva,  I. Malakhov,  A. Marin,  &amp;  S. Rossi.\n</span>\n\n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"http://www.sti.uniurb.it/nirvana/file/papers/SMMR23.pdf\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'smuseva-malakhov-marin-rossi-crisisoftrustanalyzingtheverifiersdilemmainethereumsproofofstakeblockchain-2023', 'http://www.sti.uniurb.it/nirvana/file/papers/SMMR23.pdf', event);\">\n    Crisis of Trust: Analyzing the Verifier's Dilemma in Ethereum's Proof-of-Stake Blockchain.\n  </a>\n  \n  \n  \n</span>\n\n  \n\n</span>\n\n  In <i>Proc. of the 6th IEEE Int. Conf. on Blockchain (Blockchain 2023)</i>, pages 332-339, Heinan (China), December 2023. IEEE-CS Press\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"http://www.sti.uniurb.it/nirvana/file/papers/SMMR23.pdf\"\n     onclick=\"log_download('smuseva-malakhov-marin-rossi-crisisoftrustanalyzingtheverifiersdilemmainethereumsproofofstakeblockchain-2023', 'http://www.sti.uniurb.it/nirvana/file/papers/SMMR23.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Crisis of Trust: Analyzing the Verifier&#x27;s Dilemma in Ethereum&#x27;s Proof-of-Stake Blockchain [pdf]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/smuseva-malakhov-marin-rossi-crisisoftrustanalyzingtheverifiersdilemmainethereumsproofofstakeblockchain-2023\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>1 download</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('smuseva-malakhov-marin-rossi-crisisoftrustanalyzingtheverifiersdilemmainethereumsproofofstakeblockchain-2023')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{SMMR23,\n  author       = {D. Smuseva and I. Malakhov and A. Marin and S. Rossi\n                },\n  title        = {Crisis of Trust: Analyzing the Verifier&#x27;s Dilemma in Ethereum&#x27;s\nProof-of-Stake Blockchain},\n  booktitle    = {Proc. of the 6th IEEE Int. Conf. on Blockchain (Blockchain 2023)},\n  pages        = {332-339},\n  month        = {December},\n  year        = {2023},\n   url_Paper    = {./SMMR23.pdf},\naddress = {Heinan (China)},\n  publisher    = {IEEE-CS Press},\n}\n\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"benetollo-bugliesi-crafa-rossi-span-algomoveamoveembeddingforalgorand-2023\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_author\">\n   L. Benetollo,  M. Bugliesi,  S. Crafa,  S. Rossi,  &amp;  A. Spanò.\n</span>\n\n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"http://www.sti.uniurb.it/nirvana/file/papers/BBCR23.pdf\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'benetollo-bugliesi-crafa-rossi-span-algomoveamoveembeddingforalgorand-2023', 'http://www.sti.uniurb.it/nirvana/file/papers/BBCR23.pdf', event);\">\n    ALGOMOVE - A Move Embedding for Algorand.\n  </a>\n  \n  \n  \n</span>\n\n  \n\n</span>\n\n  In <i>Proc. of the 6th IEEE Int. Conf. on Blockchain (Blockchain 2023)</i>, pages 62-67, Heinan (China), December 2023. IEEE-CS Press\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"http://www.sti.uniurb.it/nirvana/file/papers/BBCR23.pdf\"\n     onclick=\"log_download('benetollo-bugliesi-crafa-rossi-span-algomoveamoveembeddingforalgorand-2023', 'http://www.sti.uniurb.it/nirvana/file/papers/BBCR23.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"ALGOMOVE - A Move Embedding for Algorand [pdf]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/benetollo-bugliesi-crafa-rossi-span-algomoveamoveembeddingforalgorand-2023\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>2 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('benetollo-bugliesi-crafa-rossi-span-algomoveamoveembeddingforalgorand-2023')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{BBCR23,\n  author       = {L. Benetollo and M. Bugliesi and S. Crafa and S. Rossi and A. Span\\&#x60;{o}},\n  title        = {ALGOMOVE - A Move Embedding for Algorand},\n  booktitle    = {Proc. of the 6th IEEE Int. Conf. on Blockchain (Blockchain 2023)},\n  pages        = {62-67},\n  month        = {December},\n  year        = {2023},\n   url_Paper    = {./BBCR23.pdf},\naddress = {Heinan (China)},\n  publisher    = {IEEE-CS Press},\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"bernardo-esposito-ontheweakcontinuationofreversebisimilarityvsforwardbisimilarity-2023\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_author\">\n   M. Bernardo,  &amp;  A. Esposito.\n</span>\n\n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"http://www.sti.uniurb.it/nirvana/file/papers/BE23a.pdf\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'bernardo-esposito-ontheweakcontinuationofreversebisimilarityvsforwardbisimilarity-2023', 'http://www.sti.uniurb.it/nirvana/file/papers/BE23a.pdf', event);\">\n    On the Weak Continuation of Reverse Bisimilarity vs. Forward Bisimilarity.\n  </a>\n  \n  \n  \n</span>\n\n  \n\n</span>\n\n  In <i>Proc. of the 24th Italian Conf. on Theoretical Computer Science (ICTCS 2023)</i>, volume 3587, pages 44-58, Palermo (Italy), September 2023. CEUR-WS.org\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"http://www.sti.uniurb.it/nirvana/file/papers/BE23a.pdf\"\n     onclick=\"log_download('bernardo-esposito-ontheweakcontinuationofreversebisimilarityvsforwardbisimilarity-2023', 'http://www.sti.uniurb.it/nirvana/file/papers/BE23a.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"On the Weak Continuation of Reverse Bisimilarity vs. Forward Bisimilarity [pdf]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/bernardo-esposito-ontheweakcontinuationofreversebisimilarityvsforwardbisimilarity-2023\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>4 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('bernardo-esposito-ontheweakcontinuationofreversebisimilarityvsforwardbisimilarity-2023')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{BE23,\n  author       = {M. Bernardo and\n\t\tA. Esposito\n                },\n  title        = {On the Weak Continuation of Reverse Bisimilarity vs. Forward Bisimilarity},\n  booktitle    = {Proc. of the 24th Italian Conf. on Theoretical Computer Science (ICTCS 2023)},\n  pages        = {44-58},\n  year         = {2023},\n  month        = {September},\n   url_Paper    = {./BE23a.pdf},\naddress = {Palermo (Italy)},\n  publisher    = {CEUR-WS.org},\n  volume       = {3587},\n}\n\n\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"bernardo-esposito-modallogiccharacterizationsofforwardreverseandforwardreversebisimilarities-2023\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_author\">\n   M. Bernardo,  &amp;  A. Esposito.\n</span>\n\n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"http://www.sti.uniurb.it/nirvana/file/papers/BE23.pdf\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'bernardo-esposito-modallogiccharacterizationsofforwardreverseandforwardreversebisimilarities-2023', 'http://www.sti.uniurb.it/nirvana/file/papers/BE23.pdf', event);\">\n    Modal Logic Characterizations of Forward, Reverse, and Forward-Reverse Bisimilarities.\n  </a>\n  \n  \n  \n</span>\n\n  \n\n</span>\n\n  In <i>Proc. of the 14th Int. Symp. on Games, Automata, Logics, and Formal Verification (GandALF 2023)</i>, volume EPTCS 390, pages 67-81, Udine (Italy), September 2023. Open Publishing Association\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"http://www.sti.uniurb.it/nirvana/file/papers/BE23.pdf\"\n     onclick=\"log_download('bernardo-esposito-modallogiccharacterizationsofforwardreverseandforwardreversebisimilarities-2023', 'http://www.sti.uniurb.it/nirvana/file/papers/BE23.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Modal Logic Characterizations of Forward, Reverse, and Forward-Reverse Bisimilarities [pdf]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.4204/EPTCS.390.5\"\n     onclick=\"log_download('bernardo-esposito-modallogiccharacterizationsofforwardreverseandforwardreversebisimilarities-2023', 'http://doi.org/10.4204/EPTCS.390.5', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/bernardo-esposito-modallogiccharacterizationsofforwardreverseandforwardreversebisimilarities-2023\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>4 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('bernardo-esposito-modallogiccharacterizationsofforwardreverseandforwardreversebisimilarities-2023')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{BE23,\n  author       = {M. Bernardo and\n\t\tA. Esposito\n                },\n  title        = {Modal Logic Characterizations of Forward, Reverse, and Forward-Reverse\n                  Bisimilarities},\n  booktitle    = {Proc. of the 14th Int. Symp. on Games, Automata,\n                  Logics, and Formal Verification (GandALF 2023)},\n  pages        = {67-81},\n  year         = {2023},\n  month        = {September},\ndoi = {10.4204/EPTCS.390.5},\n   url_Paper    = {./BE23.pdf},\naddress = {Udine (Italy)},\n  publisher    = {Open Publishing Association},\n  volume        = {EPTCS 390}\n}\n\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"bernardo-lanese-marin-mezzina-rossi-coen-causalreversibilityimpliestimereversibility-2023\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_author\">\n   M. Bernardo,  I. Lanese,  A. Marin,  C. A. Mezzina,  S. Rossi,  &amp;  C. Sacerdoti Coen.\n</span>\n\n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"http://www.sti.uniurb.it/nirvana/file/papers/qest2023.pdf\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'bernardo-lanese-marin-mezzina-rossi-coen-causalreversibilityimpliestimereversibility-2023', 'http://www.sti.uniurb.it/nirvana/file/papers/qest2023.pdf', event);\">\n    Causal Reversibility Implies Time Reversibility.\n  </a>\n  \n  \n  \n</span>\n\n  \n\n</span>\n\n  In <i>Proc. of the 20th Int. Conf. on Quantitative Evaluation of Systems (QEST 2023)</i>, volume LNCS 14287, pages 270–287, Antwerp (Belgium), September 2023. Springer\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"http://www.sti.uniurb.it/nirvana/file/papers/qest2023.pdf\"\n     onclick=\"log_download('bernardo-lanese-marin-mezzina-rossi-coen-causalreversibilityimpliestimereversibility-2023', 'http://www.sti.uniurb.it/nirvana/file/papers/qest2023.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Causal Reversibility Implies Time Reversibility [pdf]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1007/978-3-031-43835-6_19\"\n     onclick=\"log_download('bernardo-lanese-marin-mezzina-rossi-coen-causalreversibilityimpliestimereversibility-2023', 'http://doi.org/10.1007/978-3-031-43835-6_19', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/bernardo-lanese-marin-mezzina-rossi-coen-causalreversibilityimpliestimereversibility-2023\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>8 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('bernardo-lanese-marin-mezzina-rossi-coen-causalreversibilityimpliestimereversibility-2023')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{qest23,\n  author       = {M. Bernardo and\n\t\tI. Lanese and A. Marin and  \n\t\tC. A. Mezzina and S. Rossi and C. Sacerdoti Coen\n                },\n  title        = {Causal Reversibility Implies Time Reversibility},\n  booktitle    = {Proc. of the 20th Int. Conf. on  Quantitative Evaluation of Systems (QEST 2023)},\n  pages        = {270--287},\n  year         = {2023},\n  month        = {September},\ndoi = {10.1007/978-3-031-43835-6\\_19},\n   url_Paper    = {./qest2023.pdf},\naddress = {Antwerp (Belgium)},\n  publisher    = {Springer},\n  volume        = {LNCS 14287}\n}\n\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"bernardo-mezzina-causalreversibilityfortimedprocesscalculiwithlazyeagerdurationlessactionsandtimeadditivity-2023\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_author\">\n   M. Bernardo,  &amp;  C. A. Mezzina.\n</span>\n\n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"http://www.sti.uniurb.it/nirvana/file/papers/BM23a.pdf\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'bernardo-mezzina-causalreversibilityfortimedprocesscalculiwithlazyeagerdurationlessactionsandtimeadditivity-2023', 'http://www.sti.uniurb.it/nirvana/file/papers/BM23a.pdf', event);\">\n    Causal Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time Additivity.\n  </a>\n  \n  \n  \n</span>\n\n  \n\n</span>\n\n  In <i>Proc. of the 21th Int. Conf. on Formal Modeling and Analysis of Timed Systems (FORMATS 2023)</i>, volume LNCS 14138, pages 15–32, Antwerp (Belgium), September 2023. Springer\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"http://www.sti.uniurb.it/nirvana/file/papers/BM23a.pdf\"\n     onclick=\"log_download('bernardo-mezzina-causalreversibilityfortimedprocesscalculiwithlazyeagerdurationlessactionsandtimeadditivity-2023', 'http://www.sti.uniurb.it/nirvana/file/papers/BM23a.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Causal Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time Additivity [pdf]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1007/978-3-031-42626-1_2\"\n     onclick=\"log_download('bernardo-mezzina-causalreversibilityfortimedprocesscalculiwithlazyeagerdurationlessactionsandtimeadditivity-2023', 'http://doi.org/10.1007/978-3-031-42626-1_2', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/bernardo-mezzina-causalreversibilityfortimedprocesscalculiwithlazyeagerdurationlessactionsandtimeadditivity-2023\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>5 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('bernardo-mezzina-causalreversibilityfortimedprocesscalculiwithlazyeagerdurationlessactionsandtimeadditivity-2023')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{MB23a,\n  author       = {M. Bernardo and \n\t\tC. A. Mezzina \n                },\n  title        = {Causal Reversibility for Timed Process Calculi\nwith Lazy/Eager Durationless Actions\nand Time Additivity},\n  booktitle    = {Proc. of the 21th Int. Conf. on  Formal Modeling and Analysis of Timed Systems (FORMATS 2023)},\n  pages        = {15--32},\n  year         = {2023},\n  doi          = {10.1007/978-3-031-42626-1\\_2},\n  month        = {September},\n   url_Paper    = {./BM23a.pdf},\naddress = {Antwerp (Belgium)},\n  publisher    = {Springer},\n  volume        = {LNCS 14138},\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"mezzina-tiezzi-yoshida-rollbackrecoveryinsessionbasedprogramming-2023\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_author\">\n   C. A. Mezzina,  F. Tiezzi,  &amp;  N. Yoshida.\n</span>\n\n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"http://www.sti.uniurb.it/nirvana/file/papers/MTY23.pdf\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'mezzina-tiezzi-yoshida-rollbackrecoveryinsessionbasedprogramming-2023', 'http://www.sti.uniurb.it/nirvana/file/papers/MTY23.pdf', event);\">\n    Rollback Recovery in Session-Based Programming.\n  </a>\n  \n  \n  \n</span>\n\n  \n\n</span>\n\n  In <i>Proc. of the 25th Int. Conf. on Coordination Models and Languages (COORDINATION 2023)</i>, volume LNCS 13908, pages 195–213, Lisbon (Portugal), June 2023. Springer\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"http://www.sti.uniurb.it/nirvana/file/papers/MTY23.pdf\"\n     onclick=\"log_download('mezzina-tiezzi-yoshida-rollbackrecoveryinsessionbasedprogramming-2023', 'http://www.sti.uniurb.it/nirvana/file/papers/MTY23.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Rollback Recovery in Session-Based Programming [pdf]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1007/978-3-031-35361-1_11\"\n     onclick=\"log_download('mezzina-tiezzi-yoshida-rollbackrecoveryinsessionbasedprogramming-2023', 'http://doi.org/10.1007/978-3-031-35361-1_11', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/mezzina-tiezzi-yoshida-rollbackrecoveryinsessionbasedprogramming-2023\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>7 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('mezzina-tiezzi-yoshida-rollbackrecoveryinsessionbasedprogramming-2023')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{MTY23,\n  author       = {C. A. Mezzina and\n                  F. Tiezzi and\n                  N. Yoshida},\n  title        = {Rollback Recovery in Session-Based Programming},\n  booktitle    = {Proc. of the 25th Int. Conf. on  Coordination Models and Languages (COORDINATION 2023)},\n  pages        = {195--213},\n  year         = {2023},\n  doi          = {10.1007/978-3-031-35361-1\\_11},\n  month        = {June},\n   url_Paper    = {./MTY23.pdf},\naddress = {Lisbon (Portugal)},\n  publisher    = {Springer},\n  volume        = {LNCS 13908},\n\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"melgratti-mezzina-pinna-relatingreversiblepetrinetsandreversibleeventstructurescategorically-2023\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_author\">\n   H. C. Melgratti,  C. A. Mezzina,  &amp;  G. M. Pinna.\n</span>\n\n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"http://www.sti.uniurb.it/nirvana/file/papers/MMP23.pdf\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'melgratti-mezzina-pinna-relatingreversiblepetrinetsandreversibleeventstructurescategorically-2023', 'http://www.sti.uniurb.it/nirvana/file/papers/MMP23.pdf', event);\">\n    Relating Reversible Petri Nets and Reversible Event Structures, Categorically.\n  </a>\n  \n  \n  \n</span>\n\n  \n\n</span>\n\n  In <i>Proc. of the 43rd Int. Conf. on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2023)</i>, volume LNCS 13910, pages 206–223, Lisbon (Portugal), June 2023. Springer\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"http://www.sti.uniurb.it/nirvana/file/papers/MMP23.pdf\"\n     onclick=\"log_download('melgratti-mezzina-pinna-relatingreversiblepetrinetsandreversibleeventstructurescategorically-2023', 'http://www.sti.uniurb.it/nirvana/file/papers/MMP23.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Relating Reversible Petri Nets and Reversible Event Structures, Categorically [pdf]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1007/978-3-031-35355-0_13\"\n     onclick=\"log_download('melgratti-mezzina-pinna-relatingreversiblepetrinetsandreversibleeventstructurescategorically-2023', 'http://doi.org/10.1007/978-3-031-35355-0_13', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/melgratti-mezzina-pinna-relatingreversiblepetrinetsandreversibleeventstructurescategorically-2023\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>6 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('melgratti-mezzina-pinna-relatingreversiblepetrinetsandreversibleeventstructurescategorically-2023')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{MMP23,\n  author       = {H. C. Melgratti and\n                  C. A. Mezzina and\n                  G. M. Pinna},\n  title        = {Relating Reversible Petri Nets and Reversible Event Structures, Categorically},\n  booktitle    = {Proc. of the  43rd Int. Conf. on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2023)},\n  pages        = {206--223},\n  year         = {2023},\n  doi          = {10.1007/978-3-031-35355-0\\_13},\n\tmonth        = {June},\n   url_Paper    = {./MMP23.pdf},\naddress = {Lisbon (Portugal)},\n  publisher    = {Springer},\n  volume        = {LNCS 13910},\n\n}\n\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"esposito-aldini-bernardo-branchingbisimulationsemanticsenablesnoninterferenceanalysisofreversiblesystems-2023\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_author\">\n   A. Esposito,  A. Aldini,  &amp;  M. Bernardo.\n</span>\n\n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"http://www.sti.uniurb.it/nirvana/file/papers/EAB23.pdf\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'esposito-aldini-bernardo-branchingbisimulationsemanticsenablesnoninterferenceanalysisofreversiblesystems-2023', 'http://www.sti.uniurb.it/nirvana/file/papers/EAB23.pdf', event);\">\n    Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems.\n  </a>\n  \n  \n  \n</span>\n\n  \n\n</span>\n\n  In <i>Proc. of the 43rd Int. Conf. on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2023)</i>, volume LNCS 13910, pages 57–74, Lisbon (Portugal), June 2023. Springer\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"http://www.sti.uniurb.it/nirvana/file/papers/EAB23.pdf\"\n     onclick=\"log_download('esposito-aldini-bernardo-branchingbisimulationsemanticsenablesnoninterferenceanalysisofreversiblesystems-2023', 'http://www.sti.uniurb.it/nirvana/file/papers/EAB23.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems [pdf]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1007/978-3-031-35355-0_5\"\n     onclick=\"log_download('esposito-aldini-bernardo-branchingbisimulationsemanticsenablesnoninterferenceanalysisofreversiblesystems-2023', 'http://doi.org/10.1007/978-3-031-35355-0_5', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/esposito-aldini-bernardo-branchingbisimulationsemanticsenablesnoninterferenceanalysisofreversiblesystems-2023\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>7 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('esposito-aldini-bernardo-branchingbisimulationsemanticsenablesnoninterferenceanalysisofreversiblesystems-2023')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{EAB23,\n  author       = {A. Esposito and\n                  A. Aldini and\n                  M. Bernardo},\n  title        = {Branching Bisimulation Semantics Enables Noninterference Analysis\n                  of Reversible Systems},\n    booktitle    = {Proc. of the  43rd Int. Conf. on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2023)},\n  pages        = {57--74},\n  year         = {2023},\n  doi          = {10.1007/978-3-031-35355-0\\_5},\n \tmonth        = {June},\n   url_Paper    = {./EAB23.pdf},\naddress = {Lisbon (Portugal)},\n  publisher    = {Springer},\n  volume        = {LNCS 13910},\n}\n\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"bernardo-rossi-reversebisimilarityvsforwardbisimilarity-2023\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_author\">\n   M. Bernardo,  &amp;  S. Rossi.\n</span>\n\n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"http://www.sti.uniurb.it/nirvana/file/papers/BR23.pdf\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'bernardo-rossi-reversebisimilarityvsforwardbisimilarity-2023', 'http://www.sti.uniurb.it/nirvana/file/papers/BR23.pdf', event);\">\n    Reverse Bisimilarity vs. Forward Bisimilarity.\n  </a>\n  \n  \n  \n</span>\n\n  \n\n</span>\n\n  In <i>Proc. of the 26th Int. Conf. on Foundations of Software Science and Computation Structures (FOSSACS 2023)</i>, volume LNCS 13992, pages 265-284, Paris (France), April 2023. Springer\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"http://www.sti.uniurb.it/nirvana/file/papers/BR23.pdf\"\n     onclick=\"log_download('bernardo-rossi-reversebisimilarityvsforwardbisimilarity-2023', 'http://www.sti.uniurb.it/nirvana/file/papers/BR23.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Reverse Bisimilarity vs. Forward Bisimilarity [pdf]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1007/978-3-031-30829-1_13\"\n     onclick=\"log_download('bernardo-rossi-reversebisimilarityvsforwardbisimilarity-2023', 'http://doi.org/10.1007/978-3-031-30829-1_13', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/bernardo-rossi-reversebisimilarityvsforwardbisimilarity-2023\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>12 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('bernardo-rossi-reversebisimilarityvsforwardbisimilarity-2023')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{BR23,\n  author       = {M. Bernardo and\n                  S. Rossi},\n  title        = {Reverse Bisimilarity vs. Forward Bisimilarity},\n  booktitle    = {Proc. of the 26th Int. Conf. on Foundations of Software Science and Computation Structures (FOSSACS 2023)},\n  publisher    = {Springer},\n  volume        = {LNCS 13992},\n  url_Paper    = {./BR23.pdf},\n  pages        = {265-284},\n  year\t       = {2023},\n  month        = {April},\naddress = {Paris (France)},\n  doi          = {10.1007/978-3-031-30829-1\\_13}\n}\n\n \n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"bocchi-lanese-mezzina-yuen-thereversibletemporalprocesslanguage-2022\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_author\">\n   L. Bocchi,  I. Lanese,  C. A. Mezzina,  &amp;  S. Yuen.\n</span>\n\n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"http://www.sti.uniurb.it/nirvana/file/papers/BLMY22.pdf\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'bocchi-lanese-mezzina-yuen-thereversibletemporalprocesslanguage-2022', 'http://www.sti.uniurb.it/nirvana/file/papers/BLMY22.pdf', event);\">\n    The Reversible Temporal Process Language.\n  </a>\n  \n  \n  \n</span>\n\n  \n\n</span>\n\n  In <i>Proc. of the 42nd Int. Conf. on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2022)</i>, volume LNCS 13273, pages 31-49, Lucca (Italy), June 2022. Springer\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"http://www.sti.uniurb.it/nirvana/file/papers/BLMY22.pdf\"\n     onclick=\"log_download('bocchi-lanese-mezzina-yuen-thereversibletemporalprocesslanguage-2022', 'http://www.sti.uniurb.it/nirvana/file/papers/BLMY22.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"The Reversible Temporal Process Language [pdf]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1007/978-3-031-08679-3_3\"\n     onclick=\"log_download('bocchi-lanese-mezzina-yuen-thereversibletemporalprocesslanguage-2022', 'http://doi.org/10.1007/978-3-031-08679-3_3', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/bocchi-lanese-mezzina-yuen-thereversibletemporalprocesslanguage-2022\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>16 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('bocchi-lanese-mezzina-yuen-thereversibletemporalprocesslanguage-2022')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{BLMY22,\n  author       = {L. Bocchi and\n                  I. Lanese and C. A. Mezzina and S. Yuen},\n  title        = {The Reversible Temporal Process Language},\n  booktitle    = {Proc. of the 42nd Int. Conf. on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2022)},\n  publisher    = {Springer},\n  volume        = {LNCS 13273},\n  url_Paper    = {./BM23.pdf},\n  pages        = {31-49},\n  year\t       = {2022},\n  month        = {June},\n  url_Paper    = {./BLMY22.pdf},\naddress = {Lucca (Italy)},\n  doi          = {10.1007/978-3-031-08679-3\\_3}\n}\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n\n\n\n  </div>\n\n\n  <!-- Modal -->\n\n  <!-- <iframe id=\"bibbase_network_frame\" -->\n  <!--         src=\"//bibbase.org/network/control\" -->\n  <!--         style=\"display: none;\"> -->\n  <!-- </iframe> -->\n\n</div>\n"}; document.write(bibbase_data.data);