BibTeX records: Vladimiro Sassone

download as .bib file

@article{DBLP:journals/compsec/HartHS22,
  author       = {Stephen Hart and
                  Basel Halak and
                  Vladimiro Sassone},
  title        = {{CIST:} {A} Serious Game for Hardware Supply Chain},
  journal      = {Comput. Secur.},
  volume       = {122},
  pages        = {102912},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.cose.2022.102912},
  doi          = {10.1016/J.COSE.2022.102912},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/compsec/HartHS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itasec/AngelisZALS22,
  author       = {Stefano De Angelis and
                  Gilberto Zanfino and
                  Leonardo Aniello and
                  Federico Lombardi and
                  Vladimiro Sassone},
  editor       = {Maurizio Pizzonia and
                  Andrea Vitaletti},
  title        = {Evaluating Blockchain Systems: {A} Comprehensive Study of Security
                  and Dependability Attributes},
  booktitle    = {Proceedings of the 4th Workshop on Distributed Ledger Technology co-located
                  with the Italian Conference on Cybersecurity 2022 {(ITASEC} 2022),
                  Rome, Italy, June 20, 2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3166},
  pages        = {18--32},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3166/paper02.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:11 +0100},
  biburl       = {https://dblp.org/rec/conf/itasec/AngelisZALS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/ThorburnSFABDH22,
  author       = {Robert Thorburn and
                  Vladimiro Sassone and
                  Asieh Salehi Fathabadi and
                  Leonardo Aniello and
                  Michael J. Butler and
                  Dana Dghaym and
                  Thai Son Hoang},
  editor       = {Thomas K{\"{u}}hn and
                  Vasco Sousa},
  title        = {A lightweight approach to the concurrent use and integration of SysML
                  and formal methods in systems design},
  booktitle    = {Proceedings of the 25th International Conference on Model Driven Engineering
                  Languages and Systems: Companion Proceedings, {MODELS} 2022, Montreal,
                  Quebec, Canada, October 23-28, 2022},
  pages        = {83--84},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3550356.3559577},
  doi          = {10.1145/3550356.3559577},
  timestamp    = {Thu, 10 Nov 2022 12:50:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/ThorburnSFABDH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/DghaymHBHAS21,
  author       = {Dana Dghaym and
                  Thai Son Hoang and
                  Michael J. Butler and
                  Runshan Hu and
                  Leonardo Aniello and
                  Vladimiro Sassone},
  editor       = {Alexander Raschke and
                  Dominique M{\'{e}}ry},
  title        = {Verifying System-Level Security of a Smart Ballot Box},
  booktitle    = {Rigorous State-Based Methods - 8th International Conference, {ABZ}
                  2021, Ulm, Germany, June 9-11, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12709},
  pages        = {34--49},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-77543-8\_3},
  doi          = {10.1007/978-3-030-77543-8\_3},
  timestamp    = {Wed, 09 Jun 2021 12:10:48 +0200},
  biburl       = {https://dblp.org/rec/conf/asm/DghaymHBHAS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/ThorburnPSS21,
  author       = {Robert Thorburn and
                  Federica Paci and
                  Vladimiro Sassone and
                  Sophie Stalla{-}Bourdillon},
  title        = {Connecting Regulatory Requirements to Audit Outcomes: {A} Model-driven
                  Approach to Auditable Compliance},
  booktitle    = {{ACM/IEEE} International Conference on Model Driven Engineering Languages
                  and Systems Companion, {MODELS} 2021 Companion, Fukuoka, Japan, October
                  10-15, 2021},
  pages        = {641--642},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/MODELS-C53483.2021.00100},
  doi          = {10.1109/MODELS-C53483.2021.00100},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/models/ThorburnPSS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-11765,
  author       = {Stephen Hart and
                  Basel Halak and
                  Vladimiro Sassone},
  title        = {{MOTENS:} {A} Pedagogical Design Model for Serious Cyber Games},
  journal      = {CoRR},
  volume       = {abs/2110.11765},
  year         = {2021},
  url          = {https://arxiv.org/abs/2110.11765},
  eprinttype    = {arXiv},
  eprint       = {2110.11765},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2110-11765.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/compsec/HartMPS20,
  author       = {Stephen Hart and
                  Andrea Margheri and
                  Federica Paci and
                  Vladimiro Sassone},
  title        = {Riskio: {A} Serious Game for Cyber Security Awareness and Education},
  journal      = {Comput. Secur.},
  volume       = {95},
  pages        = {101827},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.cose.2020.101827},
  doi          = {10.1016/J.COSE.2020.101827},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/compsec/HartMPS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/AlbersBMMNNPSS20,
  author       = {Susanne Albers and
                  Nikhil Bansal and
                  Elvira Mayordomo and
                  Dale Miller and
                  Jaroslav Nesetril and
                  Damian Niwinski and
                  David Peleg and
                  Vladimiro Sassone and
                  Alexandra Silva},
  title        = {{EATCS} Distinguished Dissertation Award 2020 - Call for Nominations},
  journal      = {Bull. {EATCS}},
  volume       = {132},
  year         = {2020},
  url          = {http://eatcs.org/beatcs/index.php/beatcs/article/view/636},
  timestamp    = {Tue, 15 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eatcs/AlbersBMMNNPSS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmi/MargheriMMSR20,
  author       = {Andrea Margheri and
                  Massimiliano Masi and
                  Abdallah Miladi and
                  Vladimiro Sassone and
                  Jason Rosenzweig},
  title        = {Decentralised provenance for healthcare data},
  journal      = {Int. J. Medical Informatics},
  volume       = {141},
  pages        = {104197},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.ijmedinf.2020.104197},
  doi          = {10.1016/J.IJMEDINF.2020.104197},
  timestamp    = {Fri, 25 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijmi/MargheriMMSR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcm/OSullivanAS20,
  author       = {Michael O'Sullivan and
                  Leonardo Aniello and
                  Vladimiro Sassone},
  title        = {A Methodology to Select Topology Generators for Ad Hoc Mesh Network
                  Simulations},
  journal      = {J. Commun.},
  volume       = {15},
  number       = {10},
  pages        = {741--746},
  year         = {2020},
  url          = {https://doi.org/10.12720/jcm.15.10.741-746},
  doi          = {10.12720/JCM.15.10.741-746},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcm/OSullivanAS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/PelegAM0NNS19,
  author       = {David Peleg and
                  Susanne Albers and
                  Elvira Mayordomo and
                  Dale Miller and
                  Jaroslav Nesetril and
                  Damian Niwinski and
                  Vladimiro Sassone},
  title        = {{EATCS} Distinguished Dissertation Award 2019 - Call for Nominations},
  journal      = {Bull. {EATCS}},
  volume       = {129},
  year         = {2019},
  url          = {http://bulletin.eatcs.org/index.php/beatcs/article/view/601/610},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eatcs/PelegAM0NNS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccbs/HowardBCS19,
  author       = {Giles Howard and
                  Michael J. Butler and
                  John Colley and
                  Vladimiro Sassone},
  title        = {A methodology for assuring the safety and security of critical infrastructure
                  based on {STPA} and Event-B},
  journal      = {Int. J. Crit. Comput. Based Syst.},
  volume       = {9},
  number       = {1/2},
  pages        = {56--75},
  year         = {2019},
  url          = {https://doi.org/10.1504/IJCCBS.2019.098815},
  doi          = {10.1504/IJCCBS.2019.098815},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijccbs/HowardBCS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-09577,
  author       = {Michael O'Sullivan and
                  Leonardo Aniello and
                  Vladimiro Sassone},
  title        = {A Methodology to Select Topology Generators for {WANET} Simulations
                  (Extended Version)},
  journal      = {CoRR},
  volume       = {abs/1908.09577},
  year         = {2019},
  url          = {http://arxiv.org/abs/1908.09577},
  eprinttype    = {arXiv},
  eprint       = {1908.09577},
  timestamp    = {Thu, 29 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1908-09577.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cloudcomp/YangMHS18,
  author       = {Mu Yang and
                  Andrea Margheri and
                  Runshan Hu and
                  Vladimiro Sassone},
  title        = {Differentially Private Data Sharing in a Cloud Federation with Blockchain},
  journal      = {{IEEE} Cloud Comput.},
  volume       = {5},
  number       = {6},
  pages        = {69--79},
  year         = {2018},
  url          = {https://doi.org/10.1109/MCC.2018.064181122},
  doi          = {10.1109/MCC.2018.064181122},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cloudcomp/YangMHS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbsec/ArgentoMPSZ18,
  author       = {Luciano Argento and
                  Andrea Margheri and
                  Federica Paci and
                  Vladimiro Sassone and
                  Nicola Zannone},
  editor       = {Florian Kerschbaum and
                  Stefano Paraboschi},
  title        = {Towards Adaptive Access Control},
  booktitle    = {Data and Applications Security and Privacy {XXXII} - 32nd Annual {IFIP}
                  {WG} 11.3 Conference, DBSec 2018, Bergamo, Italy, July 16-18, 2018,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10980},
  pages        = {99--109},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-95729-6\_7},
  doi          = {10.1007/978-3-319-95729-6\_7},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/dbsec/ArgentoMPSZ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itasec/AngelisABLMS18,
  author       = {Stefano De Angelis and
                  Leonardo Aniello and
                  Roberto Baldoni and
                  Federico Lombardi and
                  Andrea Margheri and
                  Vladimiro Sassone},
  editor       = {Elena Ferrari and
                  Marco Baldi and
                  Roberto Baldoni},
  title        = {{PBFT} vs Proof-of-Authority: Applying the {CAP} Theorem to Permissioned
                  Blockchain},
  booktitle    = {Proceedings of the Second Italian Conference on Cyber Security, Milan,
                  Italy, February 6th - to - 9th, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2058},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {https://ceur-ws.org/Vol-2058/paper-06.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:11 +0100},
  biburl       = {https://dblp.org/rec/conf/itasec/AngelisABLMS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itasec/NicolettiMLSS18,
  author       = {Luca Nicoletti and
                  Andrea Margheri and
                  Federico Lombardi and
                  Vladimiro Sassone and
                  Francesco Paolo Schiavo},
  editor       = {Elena Ferrari and
                  Marco Baldi and
                  Roberto Baldoni},
  title        = {Cross-Cloud Management of Sensitive Data via Blockchain: a Payslip
                  Calculation Use Case},
  booktitle    = {Proceedings of the Second Italian Conference on Cyber Security, Milan,
                  Italy, February 6th - to - 9th, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2058},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {https://ceur-ws.org/Vol-2058/paper-12.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/itasec/NicolettiMLSS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/HamadouPS17,
  author       = {Sardaouna Hamadou and
                  Catuscia Palamidessi and
                  Vladimiro Sassone},
  title        = {Quantifying leakage in the presence of unreliable sources of information},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {88},
  pages        = {27--52},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.jcss.2017.03.013},
  doi          = {10.1016/J.JCSS.2017.03.013},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcss/HamadouPS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcloud/MargheriFYS17,
  author       = {Andrea Margheri and
                  Md. Sadek Ferdous and
                  Mu Yang and
                  Vladimiro Sassone},
  editor       = {Geoffrey C. Fox},
  title        = {A Distributed Infrastructure for Democratic Cloud Federations},
  booktitle    = {2017 {IEEE} 10th International Conference on Cloud Computing (CLOUD),
                  Honolulu, HI, USA, June 25-30, 2017},
  pages        = {688--691},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/CLOUD.2017.93},
  doi          = {10.1109/CLOUD.2017.93},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEcloud/MargheriFYS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcloud/AlansariPMS17,
  author       = {Shorouq Alansari and
                  Federica Paci and
                  Andrea Margheri and
                  Vladimiro Sassone},
  editor       = {Geoffrey C. Fox},
  title        = {Privacy-Preserving Access Control in Cloud Federations},
  booktitle    = {2017 {IEEE} 10th International Conference on Cloud Computing (CLOUD),
                  Honolulu, HI, USA, June 25-30, 2017},
  pages        = {757--760},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/CLOUD.2017.108},
  doi          = {10.1109/CLOUD.2017.108},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEcloud/AlansariPMS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/AnielloBGLMS17,
  author       = {Leonardo Aniello and
                  Roberto Baldoni and
                  Edoardo Gaetani and
                  Federico Lombardi and
                  Andrea Margheri and
                  Vladimiro Sassone},
  title        = {A Prototype Evaluation of a Tamper-Resistant High Performance Blockchain-Based
                  Transaction Log for a Distributed Database},
  booktitle    = {13th European Dependable Computing Conference, {EDCC} 2017, Geneva,
                  Switzerland, September 4-8, 2017},
  pages        = {151--154},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/EDCC.2017.31},
  doi          = {10.1109/EDCC.2017.31},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edcc/AnielloBGLMS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosp/HowardBCS17,
  author       = {Giles Howard and
                  Michael J. Butler and
                  John Colley and
                  Vladimiro Sassone},
  title        = {Formal Analysis of Safety and Security Requirements of Critical Systems
                  Supported by an Extended {STPA} Methodology},
  booktitle    = {2017 {IEEE} European Symposium on Security and Privacy Workshops,
                  EuroS{\&}P Workshops 2017, Paris, France, April 26-28, 2017},
  pages        = {174--180},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/EuroSPW.2017.68},
  doi          = {10.1109/EUROSPW.2017.68},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/eurosp/HowardBCS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/AlansariPS17,
  author       = {Shorouq Alansari and
                  Federica Paci and
                  Vladimiro Sassone},
  editor       = {Kisung Lee and
                  Ling Liu},
  title        = {A Distributed Access Control System for Cloud Federations},
  booktitle    = {37th {IEEE} International Conference on Distributed Computing Systems,
                  {ICDCS} 2017, Atlanta, GA, USA, June 5-8, 2017},
  pages        = {2131--2136},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ICDCS.2017.241},
  doi          = {10.1109/ICDCS.2017.241},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcs/AlansariPS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/FerdousMPYS17,
  author       = {Md. Sadek Ferdous and
                  Andrea Margheri and
                  Federica Paci and
                  Mu Yang and
                  Vladimiro Sassone},
  editor       = {Kisung Lee and
                  Ling Liu},
  title        = {Decentralised Runtime Monitoring for Access Control Systems in Cloud
                  Federations},
  booktitle    = {37th {IEEE} International Conference on Distributed Computing Systems,
                  {ICDCS} 2017, Atlanta, GA, USA, June 5-8, 2017},
  pages        = {2632--2633},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ICDCS.2017.178},
  doi          = {10.1109/ICDCS.2017.178},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcs/FerdousMPYS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itasec/GaetaniABLMS17,
  author       = {Edoardo Gaetani and
                  Leonardo Aniello and
                  Roberto Baldoni and
                  Federico Lombardi and
                  Andrea Margheri and
                  Vladimiro Sassone},
  editor       = {Alessandro Armando and
                  Roberto Baldoni and
                  Riccardo Focardi},
  title        = {Blockchain-Based Database to Ensure Data Integrity in Cloud Computing
                  Environments},
  booktitle    = {Proceedings of the First Italian Conference on Cybersecurity (ITASEC17),
                  Venice, Italy, January 17-20, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1816},
  pages        = {146--155},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1816/paper-15.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:11 +0100},
  biburl       = {https://dblp.org/rec/conf/itasec/GaetaniABLMS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/CiobanuHS16,
  author       = {Gabriel Ciobanu and
                  Ross Horne and
                  Vladimiro Sassone},
  title        = {A descriptive type foundation for {RDF} Schema},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {85},
  number       = {5},
  pages        = {681--706},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.jlamp.2016.02.006},
  doi          = {10.1016/J.JLAMP.2016.02.006},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/CiobanuHS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SchiavoSNM16,
  author       = {Francesco Paolo Schiavo and
                  Vladimiro Sassone and
                  Luca Nicoletti and
                  Andrea Margheri},
  title        = {FaaS: Federation-as-a-Service},
  journal      = {CoRR},
  volume       = {abs/1612.03937},
  year         = {2016},
  url          = {http://arxiv.org/abs/1612.03937},
  eprinttype    = {arXiv},
  eprint       = {1612.03937},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/SchiavoSNM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/FominLS15,
  author       = {Fedor V. Fomin and
                  Kim Larsen and
                  Vladimiro Sassone},
  title        = {{EATCS} Award 2015},
  journal      = {Bull. {EATCS}},
  volume       = {115},
  year         = {2015},
  url          = {http://eatcs.org/beatcs/index.php/beatcs/article/view/324},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eatcs/FominLS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/CiobanuHS15,
  author       = {Gabriel Ciobanu and
                  Ross Horne and
                  Vladimiro Sassone},
  title        = {Minimal type inference for Linked Data consumers},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {84},
  number       = {4},
  pages        = {485--504},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jlamp.2014.12.005},
  doi          = {10.1016/J.JLAMP.2014.12.005},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/CiobanuHS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/HamadouSY15,
  author       = {Sardaouna Hamadou and
                  Vladimiro Sassone and
                  Mu Yang},
  title        = {An analysis of trust in anonymity networks in the presence of adaptive
                  attackers},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {25},
  number       = {2},
  pages        = {429--456},
  year         = {2015},
  url          = {https://doi.org/10.1017/S0960129513000650},
  doi          = {10.1017/S0960129513000650},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/HamadouSY15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifiptm/HusseinMS15,
  author       = {Jamal Ali Hussein and
                  Luc Moreau and
                  Vladimiro Sassone},
  editor       = {Christian Damsgaard Jensen and
                  Stephen Marsh and
                  Theo Dimitrakos and
                  Yuko Murayama},
  title        = {Obscuring Provenance Confidential Information via Graph Transformation},
  booktitle    = {Trust Management {IX} - 9th {IFIP} {WG} 11.11 International Conference,
                  {IFIPTM} 2015, Hamburg, Germany, May 26-28, 2015, Proceedings},
  series       = {{IFIP} Advances in Information and Communication Technology},
  volume       = {454},
  pages        = {109--125},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-18491-3\_8},
  doi          = {10.1007/978-3-319-18491-3\_8},
  timestamp    = {Sun, 02 Oct 2022 16:07:38 +0200},
  biburl       = {https://dblp.org/rec/conf/ifiptm/HusseinMS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Sassone14,
  author       = {Vladimiro Sassone},
  title        = {{ETAPS} Award Laudatio for Kohei Honda},
  journal      = {Bull. {EATCS}},
  volume       = {112},
  year         = {2014},
  url          = {http://eatcs.org/beatcs/index.php/beatcs/article/view/231},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eatcs/Sassone14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Sassone14a,
  author       = {Vladimiro Sassone},
  title        = {The {EATCS} Award 2015 - Call for Nominations},
  journal      = {Bull. {EATCS}},
  volume       = {114},
  year         = {2014},
  url          = {http://eatcs.org/beatcs/index.php/beatcs/article/view/296},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eatcs/Sassone14a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HorneS14,
  author       = {Ross Horne and
                  Vladimiro Sassone},
  title        = {A verified algebra for read-write Linked Data},
  journal      = {Sci. Comput. Program.},
  volume       = {89},
  pages        = {2--22},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.07.005},
  doi          = {10.1016/J.SCICO.2013.07.005},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/HorneS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/CiobanuHS14,
  author       = {Gabriel Ciobanu and
                  Ross Horne and
                  Vladimiro Sassone},
  editor       = {Andrei Voronkov and
                  Irina B. Virbitskaite},
  title        = {Descriptive Types for Linked Data Resources},
  booktitle    = {Perspectives of System Informatics - 9th International Ershov Informatics
                  Conference, {PSI} 2014, St. Petersburg, Russia, June 24-27, 2014.
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8974},
  pages        = {1--25},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-46823-4\_1},
  doi          = {10.1007/978-3-662-46823-4\_1},
  timestamp    = {Mon, 16 Dec 2019 13:26:25 +0100},
  biburl       = {https://dblp.org/rec/conf/ershov/CiobanuHS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KlinS13,
  author       = {Bartek Klin and
                  Vladimiro Sassone},
  title        = {Structural operational semantics for stochastic and weighted transition
                  systems},
  journal      = {Inf. Comput.},
  volume       = {227},
  pages        = {58--83},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.ic.2013.04.001},
  doi          = {10.1016/J.IC.2013.04.001},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/KlinS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secnet/ElSalamounyS13,
  author       = {Ehab ElSalamouny and
                  Vladimiro Sassone},
  editor       = {Ali Ismail Awad and
                  Aboul Ella Hassanien and
                  Kensuke Baba},
  title        = {An HMM-Based Reputation Model},
  booktitle    = {Advances in Security of Information and Communication Networks - First
                  International Conference, SecNet 2013, Cairo, Egypt, September 3-5,
                  2013. Proceedings},
  series       = {Communications in Computer and Information Science},
  volume       = {381},
  pages        = {111--121},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40597-6\_9},
  doi          = {10.1007/978-3-642-40597-6\_9},
  timestamp    = {Wed, 19 May 2021 08:32:23 +0200},
  biburl       = {https://dblp.org/rec/conf/secnet/ElSalamounyS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/CiobanuHS13,
  author       = {Gabriel Ciobanu and
                  Ross Horne and
                  Vladimiro Sassone},
  editor       = {Ant{\'{o}}nio Ravara and
                  Josep Silva},
  title        = {Local Type Checking for Linked Data Consumers},
  booktitle    = {Proceedings 9th International Workshop on Automated Specification
                  and Verification of Web Systems, {WWV} 2013, Florence, Italy, 6th
                  June 2013},
  series       = {{EPTCS}},
  volume       = {123},
  pages        = {19--33},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.123.4},
  doi          = {10.4204/EPTCS.123.4},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/CiobanuHS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Dezani-CiancagliniHS12,
  author       = {Mariangiola Dezani{-}Ciancaglini and
                  Ross Horne and
                  Vladimiro Sassone},
  title        = {Tracing where and who provenance in Linked Data: {A} calculus},
  journal      = {Theor. Comput. Sci.},
  volume       = {464},
  pages        = {113--129},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2012.06.020},
  doi          = {10.1016/J.TCS.2012.06.020},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/Dezani-CiancagliniHS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/post/YangSH12,
  author       = {Mu Yang and
                  Vladimiro Sassone and
                  Sardaouna Hamadou},
  editor       = {Pierpaolo Degano and
                  Joshua D. Guttman},
  title        = {A Game-Theoretic Analysis of Cooperation in Anonymity Networks},
  booktitle    = {Principles of Security and Trust - First International Conference,
                  {POST} 2012, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
                  - April 1, 2012, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7215},
  pages        = {269--289},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28641-4\_15},
  doi          = {10.1007/978-3-642-28641-4\_15},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/post/YangSH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfcs/2012,
  editor       = {Branislav Rovan and
                  Vladimiro Sassone and
                  Peter Widmayer},
  title        = {Mathematical Foundations of Computer Science 2012 - 37th International
                  Symposium, {MFCS} 2012, Bratislava, Slovakia, August 27-31, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7464},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32589-2},
  doi          = {10.1007/978-3-642-32589-2},
  isbn         = {978-3-642-32588-5},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/2012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tgc/2011,
  editor       = {Roberto Bruni and
                  Vladimiro Sassone},
  title        = {Trustworthy Global Computing - 6th International Symposium, {TGC}
                  2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7173},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-30065-3},
  doi          = {10.1007/978-3-642-30065-3},
  isbn         = {978-3-642-30064-6},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tgc/2011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-5128,
  author       = {Adrian Francalanza and
                  Julian Rathke and
                  Vladimiro Sassone},
  title        = {Permission-Based Separation Logic for Message-Passing Concurrency},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {7},
  number       = {3},
  year         = {2011},
  url          = {https://doi.org/10.2168/LMCS-7(3:7)2011},
  doi          = {10.2168/LMCS-7(3:7)2011},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1106-5128.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswc/HorneSG11,
  author       = {Ross Horne and
                  Vladimiro Sassone and
                  Nicholas Gibbins},
  editor       = {Jeff Z. Pan and
                  Huajun Chen and
                  Hong{-}Gee Kim and
                  Juanzi Li and
                  Zhe Wu and
                  Ian Horrocks and
                  Riichiro Mizoguchi and
                  Zhaohui Wu},
  title        = {Operational Semantics for {SPARQL} Update},
  booktitle    = {The Semantic Web - Joint International Semantic Technology Conference,
                  {JIST} 2011, Hangzhou, China, December 4-7, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7185},
  pages        = {242--257},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-29923-0\_16},
  doi          = {10.1007/978-3-642-29923-0\_16},
  timestamp    = {Tue, 12 Apr 2022 14:46:29 +0200},
  biburl       = {https://dblp.org/rec/conf/aswc/HorneSG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icics/YangS11,
  author       = {Mu Yang and
                  Vladimiro Sassone},
  editor       = {Sihan Qing and
                  Willy Susilo and
                  Guilin Wang and
                  Dongmei Liu},
  title        = {Minimising Anonymity Loss in Anonymity Networks under DoS Attacks},
  booktitle    = {Information and Communications Security - 13th International Conference,
                  {ICICS} 2011, Beijing, China, November 23-26, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7043},
  pages        = {414--429},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-25243-3\_33},
  doi          = {10.1007/978-3-642-25243-3\_33},
  timestamp    = {Thu, 31 Oct 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icics/YangS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1108-0229,
  author       = {Ross Horne and
                  Vladimiro Sassone},
  editor       = {Mohammad Reza Mousavi and
                  Ant{\'{o}}nio Ravara},
  title        = {A Verified Algebra for Linked Data},
  booktitle    = {Proceedings 10th International Workshop on the Foundations of Coordination
                  Languages and Software Architectures, {FOCLASA} 2011, Aachen, Germany,
                  10th September, 2011},
  series       = {{EPTCS}},
  volume       = {58},
  pages        = {20--33},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.58.2},
  doi          = {10.4204/EPTCS.58.2},
  timestamp    = {Sat, 11 Jul 2020 10:44:59 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1108-0229.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/SassoneHY10,
  author       = {Vladimiro Sassone and
                  Sardaouna Hamadou and
                  Mu Yang},
  editor       = {Paul Gastin and
                  Fran{\c{c}}ois Laroussinie},
  title        = {Trust in Anonymity Networks},
  booktitle    = {{CONCUR} 2010 - Concurrency Theory, 21th International Conference,
                  {CONCUR} 2010, Paris, France, August 31-September 3, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6269},
  pages        = {48--70},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15375-4\_5},
  doi          = {10.1007/978-3-642-15375-4\_5},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/SassoneHY10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/HamadouSP10,
  author       = {Sardaouna Hamadou and
                  Vladimiro Sassone and
                  Catuscia Palamidessi},
  title        = {Reconciling Belief and Vulnerability in Information Flow},
  booktitle    = {31st {IEEE} Symposium on Security and Privacy, {SP} 2010, 16-19 May
                  2010, Berleley/Oakland, California, {USA}},
  pages        = {79--92},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/SP.2010.13},
  doi          = {10.1109/SP.2010.13},
  timestamp    = {Thu, 21 Sep 2023 16:14:16 +0200},
  biburl       = {https://dblp.org/rec/conf/sp/HamadouSP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/SassoneEH10,
  author       = {Vladimiro Sassone and
                  Ehab ElSalamouny and
                  Sardaouna Hamadou},
  editor       = {Martin Wirsing and
                  Martin Hofmann and
                  Axel Rauschmayer},
  title        = {Trust in Crowds: Probabilistic Behaviour in Anonymity Protocols},
  booktitle    = {Trustworthly Global Computing - 5th International Symposium, {TGC}
                  2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6084},
  pages        = {88--102},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15640-3\_7},
  doi          = {10.1007/978-3-642-15640-3\_7},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/tgc/SassoneEH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifipTCS/2010,
  editor       = {Cristian S. Calude and
                  Vladimiro Sassone},
  title        = {Theoretical Computer Science - 6th {IFIP} {TC} 1/WG 2.2 International
                  Conference, {TCS} 2010, Held as Part of {WCC} 2010, Brisbane, Australia,
                  September 20-23, 2010. Proceedings},
  series       = {{IFIP} Advances in Information and Communication Technology},
  volume       = {323},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15240-5},
  doi          = {10.1007/978-3-642-15240-5},
  isbn         = {978-3-642-15239-9},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifipTCS/2010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ElSalamounyKS09,
  author       = {Ehab ElSalamouny and
                  Karl Tikj{\o}b Krukow and
                  Vladimiro Sassone},
  title        = {An analysis of the exponential decay principle in probabilistic trust
                  models},
  journal      = {Theor. Comput. Sci.},
  volume       = {410},
  number       = {41},
  pages        = {4067--4084},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.tcs.2009.06.011},
  doi          = {10.1016/J.TCS.2009.06.011},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/ElSalamounyKS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fast/SouilahFS09,
  author       = {Issam Souilah and
                  Adrian Francalanza and
                  Vladimiro Sassone},
  editor       = {James Cheney},
  title        = {A Formal Model of Provenance in Distributed Systems},
  booktitle    = {First Workshop on the Theory and Practice of Provenance, TaPP'09,
                  San Francisco, CA, USA, February 23, 2009, Proceedings},
  publisher    = {{USENIX}},
  year         = {2009},
  url          = {http://www.usenix.org/events/tapp09/tech/full\_papers/souilah/souilah.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fast/SouilahFS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/ElSalamounySN09,
  author       = {Ehab ElSalamouny and
                  Vladimiro Sassone and
                  Mogens Nielsen},
  editor       = {Pierpaolo Degano and
                  Joshua D. Guttman},
  title        = {HMM-Based Trust Model},
  booktitle    = {Formal Aspects in Security and Trust, 6th International Workshop,
                  {FAST} 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5983},
  pages        = {21--35},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-12459-4\_3},
  doi          = {10.1007/978-3-642-12459-4\_3},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip1-7/ElSalamounySN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/HamadouPSE09,
  author       = {Sardaouna Hamadou and
                  Catuscia Palamidessi and
                  Vladimiro Sassone and
                  Ehab ElSalamouny},
  editor       = {Pierpaolo Degano and
                  Joshua D. Guttman},
  title        = {Probable Innocence in the Presence of Independent Knowledge},
  booktitle    = {Formal Aspects in Security and Trust, 6th International Workshop,
                  {FAST} 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5983},
  pages        = {141--156},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-12459-4\_11},
  doi          = {10.1007/978-3-642-12459-4\_11},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip1-7/HamadouPSE09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/KrukowNS08,
  author       = {Karl Krukow and
                  Mogens Nielsen and
                  Vladimiro Sassone},
  title        = {A logical framework for history-based access control and reputation
                  systems},
  journal      = {J. Comput. Secur.},
  volume       = {16},
  number       = {1},
  pages        = {63--101},
  year         = {2008},
  url          = {https://doi.org/10.3233/jcs-2008-16102},
  doi          = {10.3233/JCS-2008-16102},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcs/KrukowNS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Sassone08,
  author       = {Vladimiro Sassone},
  title        = {Foundations of Software Science and Computational Structures: Selected
                  papers from {FOSSACS} 2005},
  journal      = {Theor. Comput. Sci.},
  volume       = {390},
  number       = {2-3},
  pages        = {127--128},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.tcs.2007.09.019},
  doi          = {10.1016/J.TCS.2007.09.019},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Sassone08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BruniS08,
  author       = {Roberto Bruni and
                  Vladimiro Sassone},
  editor       = {Pierpaolo Degano and
                  Rocco De Nicola and
                  Jos{\'{e}} Meseguer},
  title        = {Models of Computation: {A} Tribute to Ugo Montanari's Vision},
  booktitle    = {Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari
                  on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {5065},
  pages        = {503--509},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68679-8\_31},
  doi          = {10.1007/978-3-540-68679-8\_31},
  timestamp    = {Thu, 21 Sep 2023 09:08:34 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/BruniS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/KlinS08,
  author       = {Bartek Klin and
                  Vladimiro Sassone},
  editor       = {Roberto M. Amadio},
  title        = {Structural Operational Semantics for Stochastic Process Calculi},
  booktitle    = {Foundations of Software Science and Computational Structures, 11th
                  International Conference, {FOSSACS} 2008, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2008,
                  Budapest, Hungary, March 29 - April 6, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4962},
  pages        = {428--442},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-78499-9\_30},
  doi          = {10.1007/978-3-540-78499-9\_30},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/KlinS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bcs/2008,
  editor       = {Erol Gelenbe and
                  Samson Abramsky and
                  Vladimiro Sassone},
  title        = {Visions of Computer Science - {BCS} International Academic Conference,
                  Imperial College, London, UK, 22-24 September 2008},
  publisher    = {British Computer Society},
  year         = {2008},
  timestamp    = {Mon, 21 Sep 2009 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bcs/2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/ConfortiMS07,
  author       = {Giovanni Conforti and
                  Damiano Macedonio and
                  Vladimiro Sassone},
  title        = {Static BiLog: a Unifying Language for Spatial Structures},
  journal      = {Fundam. Informaticae},
  volume       = {80},
  number       = {1-3},
  pages        = {91--110},
  year         = {2007},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi80-1-3-06},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/ConfortiMS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BarbaneraBDS07,
  author       = {Franco Barbanera and
                  Michele Bugliesi and
                  Mariangiola Dezani{-}Ciancaglini and
                  Vladimiro Sassone},
  title        = {Space-aware ambients and processes},
  journal      = {Theor. Comput. Sci.},
  volume       = {373},
  number       = {1-2},
  pages        = {41--69},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.tcs.2006.11.017},
  doi          = {10.1016/J.TCS.2006.11.017},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BarbaneraBDS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/SannellaS07,
  author       = {Donald Sannella and
                  Vladimiro Sassone},
  title        = {Semantic and logical foundations of global computing: Papers from
                  the {EU-FET} global computing initiative {(2001-2005)}},
  journal      = {Theor. Comput. Sci.},
  volume       = {389},
  number       = {3},
  pages        = {337--340},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.tcs.2007.09.017},
  doi          = {10.1016/J.TCS.2007.09.017},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/SannellaS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/RathkeSS07,
  author       = {Julian Rathke and
                  Vladimiro Sassone and
                  Pawel Sobocinski},
  editor       = {Helmut Seidl},
  title        = {Semantic Barbs and Biorthogonality},
  booktitle    = {Foundations of Software Science and Computational Structures, 10th
                  International Conference, {FOSSACS} 2007, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2007,
                  Braga, Portugal, March 24-April 1, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4423},
  pages        = {302--316},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-71389-0\_22},
  doi          = {10.1007/978-3-540-71389-0\_22},
  timestamp    = {Tue, 21 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/RathkeSS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NielsenKS07,
  author       = {Mogens Nielsen and
                  Karl Krukow and
                  Vladimiro Sassone},
  editor       = {Luca Cardelli and
                  Marcelo Fiore and
                  Glynn Winskel},
  title        = {A Bayesian Model for Event-based Trust},
  booktitle    = {Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {172},
  pages        = {499--521},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.02.017},
  doi          = {10.1016/J.ENTCS.2007.02.017},
  timestamp    = {Tue, 24 Jan 2023 11:36:28 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/NielsenKS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/BraghinGS06,
  author       = {Chiara Braghin and
                  Daniele Gorla and
                  Vladimiro Sassone},
  title        = {Role-based access control for a distributed calculus},
  journal      = {J. Comput. Secur.},
  volume       = {14},
  number       = {2},
  pages        = {113--155},
  year         = {2006},
  url          = {https://doi.org/10.3233/jcs-2006-14202},
  doi          = {10.3233/JCS-2006-14202},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcs/BraghinGS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/ChadhaMS06,
  author       = {Rohit Chadha and
                  Damiano Macedonio and
                  Vladimiro Sassone},
  title        = {A Hybrid Intuitionistic Logic: Semantics and Decidability},
  journal      = {J. Log. Comput.},
  volume       = {16},
  number       = {1},
  pages        = {27--59},
  year         = {2006},
  url          = {https://doi.org/10.1093/logcom/exi071},
  doi          = {10.1093/LOGCOM/EXI071},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/ChadhaMS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/SassoneKN06,
  author       = {Vladimiro Sassone and
                  Karl Krukow and
                  Mogens Nielsen},
  editor       = {Frank S. de Boer and
                  Marcello M. Bonsangue and
                  Susanne Graf and
                  Willem P. de Roever},
  title        = {Towards a Formal Framework for Computational Trust},
  booktitle    = {Formal Methods for Components and Objects, 5th International Symposium,
                  {FMCO} 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised
                  Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {4709},
  pages        = {175--184},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-74792-5\_8},
  doi          = {10.1007/978-3-540-74792-5\_8},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/fmco/SassoneKN06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/BundgaardS06,
  author       = {Mikkel Bundgaard and
                  Vladimiro Sassone},
  editor       = {Annalisa Bossi and
                  Michael J. Maher},
  title        = {Typed polyadic pi-calculus in bigraphs},
  booktitle    = {Proceedings of the 8th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, July 10-12, 2006,
                  Venice, Italy},
  pages        = {1--12},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1140335.1140336},
  doi          = {10.1145/1140335.1140336},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/BundgaardS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/GorlaHS06,
  author       = {Daniele Gorla and
                  Matthew Hennessy and
                  Vladimiro Sassone},
  editor       = {Annalisa Bossi and
                  Michael J. Maher},
  title        = {Inferring dynamic credentials for r{\^{o}}le-based trust management},
  booktitle    = {Proceedings of the 8th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, July 10-12, 2006,
                  Venice, Italy},
  pages        = {213--224},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1140335.1140361},
  doi          = {10.1145/1140335.1140361},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/GorlaHS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/2006-1,
  editor       = {Michele Bugliesi and
                  Bart Preneel and
                  Vladimiro Sassone and
                  Ingo Wegener},
  title        = {Automata, Languages and Programming, 33rd International Colloquium,
                  {ICALP} 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {4051},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11786986},
  doi          = {10.1007/11786986},
  isbn         = {3-540-35904-4},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/2006-1.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/2006-2,
  editor       = {Michele Bugliesi and
                  Bart Preneel and
                  Vladimiro Sassone and
                  Ingo Wegener},
  title        = {Automata, Languages and Programming, 33rd International Colloquium,
                  {ICALP} 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {4052},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11787006},
  doi          = {10.1007/11787006},
  isbn         = {3-540-35907-9},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/2006-2.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/MiliciaS05,
  author       = {Giuseppe Milicia and
                  Vladimiro Sassone},
  title        = {Jeeg: temporal constraints for the synchronization of concurrent objects},
  journal      = {Concurr. Pract. Exp.},
  volume       = {17},
  number       = {5-6},
  pages        = {539--572},
  year         = {2005},
  url          = {https://doi.org/10.1002/cpe.849},
  doi          = {10.1002/CPE.849},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/concurrency/MiliciaS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BugliesiCMS05,
  author       = {Michele Bugliesi and
                  Silvia Crafa and
                  Massimo Merro and
                  Vladimiro Sassone},
  title        = {Communication and mobility control in boxed ambients},
  journal      = {Inf. Comput.},
  volume       = {202},
  number       = {1},
  pages        = {39--86},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.ic.2005.06.002},
  doi          = {10.1016/J.IC.2005.06.002},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BugliesiCMS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/GorlaHS05,
  author       = {Daniele Gorla and
                  Matthew Hennessy and
                  Vladimiro Sassone},
  title        = {Security Policies as Membranes in Systems for Global Computing},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {1},
  number       = {3},
  year         = {2005},
  url          = {https://doi.org/10.2168/LMCS-1(3:2)2005},
  doi          = {10.2168/LMCS-1(3:2)2005},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/GorlaHS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/SassoneS05,
  author       = {Vladimiro Sassone and
                  Pawel Sobocinski},
  title        = {Locating reaction with 2-categories},
  journal      = {Theor. Comput. Sci.},
  volume       = {333},
  number       = {1-2},
  pages        = {297--327},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.10.025},
  doi          = {10.1016/J.TCS.2004.10.025},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/SassoneS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BruniMS05,
  author       = {Roberto Bruni and
                  Ugo Montanari and
                  Vladimiro Sassone},
  title        = {Observational congruences for dynamically reconfigurable tile systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {335},
  number       = {2-3},
  pages        = {331--372},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.10.044},
  doi          = {10.1016/J.TCS.2004.10.044},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BruniMS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/KlinSS05,
  author       = {Bartek Klin and
                  Vladimiro Sassone and
                  Pawel Sobocinski},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Neil Harman and
                  Markus Roggenbach and
                  Jan J. M. M. Rutten},
  title        = {Labels from Reductions: Towards a General Theory},
  booktitle    = {Algebra and Coalgebra in Computer Science: First International Conference,
                  {CALCO} 2005, Swansea, UK, September 3-6, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3629},
  pages        = {30--50},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11548133\_2},
  doi          = {10.1007/11548133\_2},
  timestamp    = {Wed, 19 May 2021 08:32:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/KlinSS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/KrukowNS05,
  author       = {Karl Krukow and
                  Mogens Nielsen and
                  Vladimiro Sassone},
  editor       = {Vijay Atluri and
                  Catherine Meadows and
                  Ari Juels},
  title        = {A framework for concrete reputation-systems with applications to history-based
                  access control},
  booktitle    = {Proceedings of the 12th {ACM} Conference on Computer and Communications
                  Security, {CCS} 2005, Alexandria, VA, USA, November 7-11, 2005},
  pages        = {260--269},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1102120.1102155},
  doi          = {10.1145/1102120.1102155},
  timestamp    = {Tue, 19 Sep 2023 14:44:32 +0200},
  biburl       = {https://dblp.org/rec/conf/ccs/KrukowNS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ConfortiMS05,
  author       = {Giovanni Conforti and
                  Damiano Macedonio and
                  Vladimiro Sassone},
  editor       = {Lu{\'{\i}}s Caires and
                  Giuseppe F. Italiano and
                  Lu{\'{\i}}s Monteiro and
                  Catuscia Palamidessi and
                  Moti Yung},
  title        = {Spatial Logics for Bigraphs},
  booktitle    = {Automata, Languages and Programming, 32nd International Colloquium,
                  {ICALP} 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3580},
  pages        = {766--778},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11523468\_62},
  doi          = {10.1007/11523468\_62},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/ConfortiMS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/SassoneS05,
  author       = {Vladimiro Sassone and
                  Pawel Sobocinski},
  title        = {Reactive Systems over Cospans},
  booktitle    = {20th {IEEE} Symposium on Logic in Computer Science {(LICS} 2005),
                  26-29 June 2005, Chicago, IL, USA, Proceedings},
  pages        = {311--320},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/LICS.2005.40},
  doi          = {10.1109/LICS.2005.40},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/SassoneS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/ConfortiMS05,
  author       = {Giovanni Conforti and
                  Damiano Macedonio and
                  Vladimiro Sassone},
  editor       = {Andrea Cal{\`{\i}} and
                  Diego Calvanese and
                  Enrico Franconi and
                  Maurizio Lenzerini and
                  Letizia Tanca},
  title        = {Bigraphical Logics for {XML}},
  booktitle    = {Proceedings of the Thirteenth Italian Symposium on Advanced Database
                  Systems, {SEBD} 2005, Brixen-Bressanone (near Bozen-Bolzano), Italy,
                  June 19-22, 2005},
  pages        = {392--399},
  year         = {2005},
  timestamp    = {Mon, 27 Jun 2005 14:46:36 +0200},
  biburl       = {https://dblp.org/rec/conf/sebd/ConfortiMS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fossacs/2005,
  editor       = {Vladimiro Sassone},
  title        = {Foundations of Software Science and Computational Structures, 8th
                  International Conference, {FOSSACS} 2005, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2005,
                  Edinburgh, UK, April 4-8, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3441},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/b106850},
  doi          = {10.1007/B106850},
  isbn         = {3-540-25388-2},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/2005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0506061,
  author       = {Daniele Gorla and
                  Matthew Hennessy and
                  Vladimiro Sassone},
  title        = {Security Policies as Membranes in Systems for Global Computing},
  journal      = {CoRR},
  volume       = {abs/cs/0506061},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0506061},
  eprinttype    = {arXiv},
  eprint       = {cs/0506061},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0506061.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Sassone04,
  author       = {Vladimiro Sassone},
  title        = {Introduction to special issue on concurrency and coordination: Selected
                  work from the International Workshop ConCoord},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {14},
  number       = {3},
  pages        = {283},
  year         = {2004},
  url          = {https://doi.org/10.1017/S0960129504004190},
  doi          = {10.1017/S0960129504004190},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/Sassone04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Sassone04,
  author       = {Vladimiro Sassone},
  title        = {Preface},
  journal      = {Theor. Comput. Sci.},
  volume       = {322},
  number       = {3},
  pages        = {423--426},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.tcs.2004.03.001},
  doi          = {10.1016/J.TCS.2004.03.001},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Sassone04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/BraghinGS04,
  author       = {Chiara Braghin and
                  Daniele Gorla and
                  Vladimiro Sassone},
  title        = {A Distributed Calculus for Ro{\^{}}le-Based Access Control},
  booktitle    = {17th {IEEE} Computer Security Foundations Workshop, {(CSFW-17} 2004),
                  28-30 June 2004, Pacific Grove, CA, {USA}},
  pages        = {48--60},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.ieeecomputersociety.org/10.1109/CSFW.2004.1},
  doi          = {10.1109/CSFW.2004.1},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csfw/BraghinGS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/LhoussaineS04,
  author       = {C{\'{e}}dric Lhoussaine and
                  Vladimiro Sassone},
  editor       = {David A. Schmidt},
  title        = {A Dependently Typed Ambient Calculus},
  booktitle    = {Programming Languages and Systems, 13th European Symposium on Programming,
                  {ESOP} 2004, Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29
                  - April 2, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2986},
  pages        = {171--187},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24725-8\_13},
  doi          = {10.1007/978-3-540-24725-8\_13},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/LhoussaineS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/CarboneNS04,
  author       = {Marco Carbone and
                  Mogens Nielsen and
                  Vladimiro Sassone},
  editor       = {Kamal Lodaya and
                  Meena Mahajan},
  title        = {A Calculus for Trust Management},
  booktitle    = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
                  Computer Science, 24th International Conference, Chennai, India, December
                  16-18, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3328},
  pages        = {161--173},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30538-5\_14},
  doi          = {10.1007/978-3-540-30538-5\_14},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/CarboneNS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/MiliciaS04,
  author       = {Giuseppe Milicia and
                  Vladimiro Sassone},
  editor       = {Hisham Haddad and
                  Andrea Omicini and
                  Roger L. Wainwright and
                  Lorie M. Liebrock},
  title        = {The inheritance anomaly: ten years after},
  booktitle    = {Proceedings of the 2004 {ACM} Symposium on Applied Computing (SAC),
                  Nicosia, Cyprus, March 14-17, 2004},
  pages        = {1267--1274},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/967900.968159},
  doi          = {10.1145/967900.968159},
  timestamp    = {Tue, 06 Nov 2018 11:06:44 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/MiliciaS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GorlaHS05,
  author       = {Daniele Gorla and
                  Matthew Hennessy and
                  Vladimiro Sassone},
  editor       = {Julian Rathke},
  title        = {Security Policies as Membranes in Systems for Global Computing},
  booktitle    = {Proceedings of the Workshop 3rd on the Foundations of Global Ubiquitous
                  Computing, {FGUC} 2004, London, UK, September 3-4, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {138},
  number       = {1},
  pages        = {23--42},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2005.05.003},
  doi          = {10.1016/J.ENTCS.2005.05.003},
  timestamp    = {Tue, 13 Dec 2022 09:03:49 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GorlaHS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SassoneS05,
  author       = {Vladimiro Sassone and
                  Pawel Sobocinski},
  editor       = {Hartmut Ehrig and
                  Julia Padberg and
                  Grzegorz Rozenberg},
  title        = {A Congruence for Petri Nets},
  booktitle    = {Proceedings of the Workshop on Petri Nets and Graph Transformations,
                  PNGT@ICGT 2004, Rome, Italy, October 2, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {127},
  number       = {2},
  pages        = {107--120},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2005.02.008},
  doi          = {10.1016/J.ENTCS.2005.02.008},
  timestamp    = {Mon, 12 Dec 2022 14:22:43 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/SassoneS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/SassoneS03,
  author       = {Vladimiro Sassone and
                  Pawel Sobocinski},
  title        = {Deriving Bisimulation Congruences using 2-categories},
  journal      = {Nord. J. Comput.},
  volume       = {10},
  number       = {2},
  pages        = {163},
  year         = {2003},
  timestamp    = {Tue, 21 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/njc/SassoneS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/BarbaneraBDS03,
  author       = {Franco Barbanera and
                  Michele Bugliesi and
                  Mariangiola Dezani{-}Ciancaglini and
                  Vladimiro Sassone},
  editor       = {Vijay A. Saraswat},
  title        = {A Calculus of Bounded Capacities},
  booktitle    = {Advances in Computing Science - {ASIAN} 2003 Programming Languages
                  and Distributed Computation, 8th Asian Computing Science Conference,
                  Mumbai, India, December 10-14, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2896},
  pages        = {205--223},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-40965-6\_14},
  doi          = {10.1007/978-3-540-40965-6\_14},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/asian/BarbaneraBDS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/SassoneS03,
  author       = {Vladimiro Sassone and
                  Pawel Sobocinski},
  editor       = {Andrew D. Gordon},
  title        = {Deriving Bisimulation Congruences: 2-Categories Vs Precategories},
  booktitle    = {Foundations of Software Science and Computational Structures, 6th
                  International Conference, {FOSSACS} 2003 Held as Part of the Joint
                  European Conference on Theory and Practice of Software, {ETAPS} 2003,
                  Warsaw, Poland, April 7-11, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2620},
  pages        = {409--424},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36576-1\_26},
  doi          = {10.1007/3-540-36576-1\_26},
  timestamp    = {Mon, 14 Feb 2022 09:20:26 +0100},
  biburl       = {https://dblp.org/rec/conf/fossacs/SassoneS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BugliesiCPS03,
  author       = {Michele Bugliesi and
                  Silvia Crafa and
                  Amela Prelic and
                  Vladimiro Sassone},
  editor       = {Jos C. M. Baeten and
                  Jan Karel Lenstra and
                  Joachim Parrow and
                  Gerhard J. Woeginger},
  title        = {Secrecy in Untrusted Networks},
  booktitle    = {Automata, Languages and Programming, 30th International Colloquium,
                  {ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2719},
  pages        = {969--983},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-45061-0\_75},
  doi          = {10.1007/3-540-45061-0\_75},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/BugliesiCPS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/BruniMMS03,
  author       = {Roberto Bruni and
                  Jos{\'{e}} Meseguer and
                  Ugo Montanari and
                  Vladimiro Sassone},
  editor       = {Carlo Blundo and
                  Cosimo Laneve},
  title        = {Algebraic Theories for Contextual Pre-nets},
  booktitle    = {Theoretical Computer Science, 8th Italian Conference, {ICTCS} 2003,
                  Bertinoro, Italy, October 13-15, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2841},
  pages        = {256--270},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45208-9\_21},
  doi          = {10.1007/978-3-540-45208-9\_21},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictcs/BruniMMS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/CarboneNS03,
  author       = {Marco Carbone and
                  Mogens Nielsen and
                  Vladimiro Sassone},
  title        = {A Formal Model for Trust in Dynamic Networks},
  booktitle    = {1st International Conference on Software Engineering and Formal Methods
                  {(SEFM} 2003), 22-27 September 2003, Brisbane, Australia},
  pages        = {54},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/SEFM.2003.1236207},
  doi          = {10.1109/SEFM.2003.1236207},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/CarboneNS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Sassone03,
  author       = {Vladimiro Sassone},
  editor       = {Riccardo Focardi and
                  Gianluigi Zavattaro},
  title        = {Preface},
  booktitle    = {2nd {EATCS} Workshop on Foundations of Global Computing, {FGC} 2003,
                  Satellite Event of {ICALP} 2003, Eindhoven, The Netherlands, June
                  28-29, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {85},
  number       = {1},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(05)80082-9},
  doi          = {10.1016/S1571-0661(05)80082-9},
  timestamp    = {Thu, 08 Dec 2022 14:02:42 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Sassone03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MiliciaS03,
  author       = {Giuseppe Milicia and
                  Vladimiro Sassone},
  editor       = {Viviana Bono and
                  Michele Bugliesi},
  title        = {Temporal constraints for concurrent object synchronisation},
  booktitle    = {Workshop on Object Oriented Developments, {WOOD} 2003, Satellite Event
                  of {ETAPS} 2003, Warsaw, Poland, April 13, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {82},
  number       = {8},
  pages        = {30--32},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(04)80800-4},
  doi          = {10.1016/S1571-0661(04)80800-4},
  timestamp    = {Thu, 08 Dec 2022 11:28:49 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MiliciaS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/getco/2002,
  editor       = {Patrick Cousot and
                  Lisbeth Fajstrup and
                  Eric Goubault and
                  Maurice Herlihy and
                  Martin Raussen and
                  Vladimiro Sassone},
  title        = {4th Workshop on GEometry and Topology in COncurrency and distributed
                  systems theory, {GETCO} 2002, Satellite workshop of {DISC} 2002, Toulouse,
                  France, October 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {81},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/81/suppl/C},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/getco/2002.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GodskesenHS02,
  author       = {Jens Chr. Godskesen and
                  Thomas T. Hildebrandt and
                  Vladimiro Sassone},
  editor       = {Lubos Brim and
                  Petr Jancar and
                  Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
                  Anton{\'{\i}}n Kucera},
  title        = {A Calculus of Mobile Resources},
  booktitle    = {{CONCUR} 2002 - Concurrency Theory, 13th International Conference,
                  Brno, Czech Republic, August 20-23, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2421},
  pages        = {272--287},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45694-5\_19},
  doi          = {10.1007/3-540-45694-5\_19},
  timestamp    = {Fri, 30 Aug 2019 10:02:28 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/GodskesenHS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/MerroS02,
  author       = {Massimo Merro and
                  Vladimiro Sassone},
  editor       = {Lubos Brim and
                  Petr Jancar and
                  Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
                  Anton{\'{\i}}n Kucera},
  title        = {Typing and Subtyping Mobility in Boxed Ambients},
  booktitle    = {{CONCUR} 2002 - Concurrency Theory, 13th International Conference,
                  Brno, Czech Republic, August 20-23, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2421},
  pages        = {304--320},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45694-5\_21},
  doi          = {10.1007/3-540-45694-5\_21},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/MerroS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fosad/BugliesiCCFS02,
  author       = {Michele Bugliesi and
                  Giuseppe Castagna and
                  Silvia Crafa and
                  Riccardo Focardi and
                  Vladimiro Sassone},
  editor       = {Riccardo Focardi and
                  Roberto Gorrieri},
  title        = {A Survey of Name-Passing Calculi and Crypto-Primitives},
  booktitle    = {Foundations of Security Analysis and Design II, {FOSAD} 2001/2002
                  Tutorial Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {2946},
  pages        = {91--138},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/978-3-540-24631-2\_3},
  doi          = {10.1007/978-3-540-24631-2\_3},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/fosad/BugliesiCCFS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BugliesiCMS02,
  author       = {Michele Bugliesi and
                  Silvia Crafa and
                  Massimo Merro and
                  Vladimiro Sassone},
  editor       = {Manindra Agrawal and
                  Anil Seth},
  title        = {Communication Interference in Mobile Boxed Ambients},
  booktitle    = {{FST} {TCS} 2002: Foundations of Software Technology and Theoretical
                  Computer Science, 22nd Conference Kanpur, India, December 12-14, 2002,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2556},
  pages        = {71--84},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36206-1\_8},
  doi          = {10.1007/3-540-36206-1\_8},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/BugliesiCMS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/java/MiliciaS02,
  author       = {Giuseppe Milicia and
                  Vladimiro Sassone},
  editor       = {Jos{\'{e}} E. Moreira and
                  Geoffrey C. Fox and
                  Vladimir Getov},
  title        = {Jeeg: a programming language for concurrent objects synchronization},
  booktitle    = {Proceedings of the 2002 Joint {ACM-ISCOPE} Conference on Java Grande
                  2002, Seattle, Washington, USA, November 3-5, 2002},
  pages        = {212--221},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/583810.583834},
  doi          = {10.1145/583810.583834},
  timestamp    = {Tue, 06 Nov 2018 11:07:44 +0100},
  biburl       = {https://dblp.org/rec/conf/java/MiliciaS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SassoneS02,
  author       = {Vladimiro Sassone and
                  Pawel Sobocinski},
  editor       = {Uwe Nestmann and
                  Prakash Panangaden},
  title        = {Deriving Bisimulation Congruences: {A} 2-categorical Approach},
  booktitle    = {9th International Workshop on Expressiveness in Concurrency, {EXPRESS}
                  2002, Satellite Workshop from {CONCUR} 2002, Brno, Czech Republic,
                  August 19, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {68},
  number       = {2},
  pages        = {105--123},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)80367-6},
  doi          = {10.1016/S1571-0661(05)80367-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/SassoneS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Sassone02,
  author       = {Vladimiro Sassone},
  editor       = {Vladimiro Sassone},
  title        = {Preface - {F-WAN:} Foundations of Wide Area Network Computing},
  booktitle    = {Foundations of Wide Area Network Computing, {F-WAN} 2002, {ICALP}
                  2002 Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {66},
  number       = {3},
  pages        = {185--186},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)80422-0},
  doi          = {10.1016/S1571-0661(05)80422-0},
  timestamp    = {Tue, 06 Dec 2022 10:28:51 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Sassone02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/getco/2001,
  editor       = {Patrick Cousot and
                  Lisbeth Fajstrup and
                  Eric Goubault and
                  Jeremy Gunawardena and
                  Maurice Herlihy and
                  Martin Raussen and
                  Vladimiro Sassone},
  title        = {3rd Workshop on GEometry and Topology in COncurrency theory, {GETCO}
                  2001, Satellite Event of {CONCUR} 2001, Aalborg, Denmark, August 25,
                  2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {52},
  number       = {2},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/52/issue/2},
  timestamp    = {Thu, 01 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/getco/2001.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/2002fwan,
  editor       = {Vladimiro Sassone},
  title        = {Foundations of Wide Area Network Computing, {F-WAN} 2002, {ICALP}
                  2002 Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {66},
  number       = {3},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/66/issue/3},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icalp/2002fwan.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BruniMMS01,
  author       = {Roberto Bruni and
                  Jos{\'{e}} Meseguer and
                  Ugo Montanari and
                  Vladimiro Sassone},
  title        = {Functorial Models for Petri Nets},
  journal      = {Inf. Comput.},
  volume       = {170},
  number       = {2},
  pages        = {207--236},
  year         = {2001},
  url          = {https://doi.org/10.1006/inco.2001.3050},
  doi          = {10.1006/INCO.2001.3050},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/BruniMMS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/NielsenSS01,
  author       = {Mogens Nielsen and
                  Vladimiro Sassone and
                  Jir{\'{\i}} Srba},
  editor       = {Jos{\'{e}} Manuel Colom and
                  Maciej Koutny},
  title        = {Towards a Notion of Distributed Time for Petri Nets},
  booktitle    = {Application and Theory of Petri Nets 2001, 22nd International Conference,
                  {ICATPN} 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2075},
  pages        = {23--31},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45740-2\_3},
  doi          = {10.1007/3-540-45740-2\_3},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/NielsenSS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BruniS01,
  author       = {Roberto Bruni and
                  Vladimiro Sassone},
  editor       = {Hartmut Ehrig and
                  Gabriel Juh{\'{a}}s and
                  Julia Padberg and
                  Grzegorz Rozenberg},
  title        = {Two Algebraic Process Semantics for Contextual Nets},
  booktitle    = {Unifying Petri Nets, Advances in Petri Nets},
  series       = {Lecture Notes in Computer Science},
  volume       = {2128},
  pages        = {427--456},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45541-8\_13},
  doi          = {10.1007/3-540-45541-8\_13},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/BruniS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BuscemiS01,
  author       = {Maria Grazia Buscemi and
                  Vladimiro Sassone},
  editor       = {Furio Honsell and
                  Marino Miculan},
  title        = {High-Level Petri Nets as Type Theories in the Join Calculus},
  booktitle    = {Foundations of Software Science and Computation Structures, 4th International
                  Conference, {FOSSACS} 2001 Held as Part of the Joint European Conferences
                  on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April
                  2-6, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2030},
  pages        = {104--120},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45315-6\_7},
  doi          = {10.1007/3-540-45315-6\_7},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/BuscemiS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/NielsenSS01,
  author       = {Mogens Nielsen and
                  Vladimiro Sassone and
                  Jir{\'{\i}} Srba},
  editor       = {Ramesh Hariharan and
                  Madhavan Mukund and
                  V. Vinay},
  title        = {Properties of Distributed Timed-Arc Petri Nets},
  booktitle    = {{FST} {TCS} 2001: Foundations of Software Technology and Theoretical
                  Computer Science, 21st Conference, Bangalore, India, December 13-15,
                  2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2245},
  pages        = {280--291},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45294-X\_24},
  doi          = {10.1007/3-540-45294-X\_24},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/NielsenSS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BarbaneraDSS01,
  author       = {Franco Barbanera and
                  Mariangiola Dezani{-}Ciancaglini and
                  Ivano Salvo and
                  Vladimiro Sassone},
  editor       = {Marina Lenisa and
                  Marino Miculan},
  title        = {A Type Inference Algorithm for Secure Ambients},
  booktitle    = {Theory of Concurrency, Higher Order Languages and Types, {TOSCA} 2001,
                  Udine, Italy, November 19-21, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {62},
  pages        = {83--101},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)00321-4},
  doi          = {10.1016/S1571-0661(04)00321-4},
  timestamp    = {Wed, 30 Nov 2022 12:15:34 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BarbaneraDSS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MontanariS01,
  author       = {Ugo Montanari and
                  Vladimiro Sassone},
  editor       = {Ugo Montanari and
                  Vladimiro Sassone},
  title        = {Preface},
  booktitle    = {International Workshop on Concurrency and Coordination, ConCoord 2001,
                  associated to the 13th Lipari School, Lipari Island, Italy, July 6-8,
                  2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {54},
  pages        = {117},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(05)80557-2},
  doi          = {10.1016/S1571-0661(05)80557-2},
  timestamp    = {Wed, 30 Nov 2022 11:59:11 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MontanariS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lipari/2001concoord,
  editor       = {Ugo Montanari and
                  Vladimiro Sassone},
  title        = {International Workshop on Concurrency and Coordination, ConCoord 2001,
                  associated to the 13th Lipari School, Lipari Island, Italy, July 6-8,
                  2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {54},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/54/suppl/C},
  timestamp    = {Wed, 30 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lipari/2001concoord.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Sassone00,
  author       = {Vladimiro Sassone},
  title        = {On the Algebraic Structure of Petri Nets},
  journal      = {Bull. {EATCS}},
  volume       = {72},
  pages        = {133--148},
  year         = {2000},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Sassone00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BruniS00,
  author       = {Roberto Bruni and
                  Vladimiro Sassone},
  editor       = {Ugo Montanari and
                  Jos{\'{e}} D. P. Rolim and
                  Emo Welzl},
  title        = {Algebraic Models for Contextual Nets},
  booktitle    = {Automata, Languages and Programming, 27th International Colloquium,
                  {ICALP} 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1853},
  pages        = {175--186},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45022-X\_15},
  doi          = {10.1007/3-540-45022-X\_15},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/BruniS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/BruniMS00,
  author       = {Roberto Bruni and
                  Ugo Montanari and
                  Vladimiro Sassone},
  editor       = {Jan van Leeuwen and
                  Osamu Watanabe and
                  Masami Hagiya and
                  Peter D. Mosses and
                  Takayasu Ito},
  title        = {Open Ended Systems, Dynamic Bisimulation and Tile Logic},
  booktitle    = {Theoretical Computer Science, Exploring New Frontiers of Theoretical
                  Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan,
                  August 17-19, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1872},
  pages        = {440--456},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44929-9\_31},
  doi          = {10.1007/3-540-44929-9\_31},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/ifipTCS/BruniMS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/getco/2000,
  editor       = {Patrick Cousot and
                  Eric Goubault and
                  Jeremy Gunawardena and
                  Maurice Herlihy and
                  Martin Raussen and
                  Vladimiro Sassone},
  title        = {2nd Workshop on Geometry and Topology in Concurrency theory, {GETCO}
                  2000, Satellite Workshop of {CONCUR} 2000, State College, PA, USA,
                  August 21, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {39},
  number       = {2},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/39/issue/2},
  timestamp    = {Thu, 01 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/getco/2000.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/BruniMMS99,
  author       = {Roberto Bruni and
                  Jos{\'{e}} Meseguer and
                  Ugo Montanari and
                  Vladimiro Sassone},
  editor       = {Martin Hofmann and
                  Giuseppe Rosolini and
                  Dusko Pavlovic},
  title        = {Functorial semantics for Petri nets under the individual token philosophy},
  booktitle    = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
                  UK, December 10-12, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {29},
  pages        = {21},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80302-0},
  doi          = {10.1016/S1571-0661(05)80302-0},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/BruniMMS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Sassone98,
  author       = {Vladimiro Sassone},
  title        = {An Axiomatization of the Category of Petri Net Computations},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {8},
  number       = {2},
  pages        = {117--151},
  year         = {1998},
  url          = {http://journals.cambridge.org/action/displayAbstract?aid=44739},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/Sassone98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/BruniMMS98,
  author       = {Roberto Bruni and
                  Jos{\'{e}} Meseguer and
                  Ugo Montanari and
                  Vladimiro Sassone},
  editor       = {Jieh Hsiang and
                  Atsushi Ohori},
  title        = {A Comparison of Petri Net Semantics under the Collective Token Philosophy},
  booktitle    = {Advances in Computing Science - {ASIAN} '98, 4th Asian Computing Science
                  Conference, Manila, The Philippines, December 8-10, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1538},
  pages        = {225--244},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49366-2\_18},
  doi          = {10.1007/3-540-49366-2\_18},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/asian/BruniMMS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/MeseguerMS97,
  author       = {Jos{\'{e}} Meseguer and
                  Ugo Montanari and
                  Vladimiro Sassone},
  title        = {On the Semantics of Place/Transition Petri Nets},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {7},
  number       = {4},
  pages        = {359--397},
  year         = {1997},
  url          = {https://doi.org/10.1017/S0960129597002314},
  doi          = {10.1017/S0960129597002314},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/MeseguerMS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MeseguerMS97,
  author       = {Jos{\'{e}} Meseguer and
                  Ugo Montanari and
                  Vladimiro Sassone},
  editor       = {Christian Freksa and
                  Matthias Jantzen and
                  R{\"{u}}diger Valk},
  title        = {Representation Theorems for Petri Nets},
  booktitle    = {Foundations of Computer Science: Potential - Theory - Cognition, to
                  Wilfried Brauer on the occasion of his sixtieth birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {1337},
  pages        = {239--249},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0052092},
  doi          = {10.1007/BFB0052092},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/MeseguerMS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MeseguerMS96,
  author       = {Jos{\'{e}} Meseguer and
                  Ugo Montanari and
                  Vladimiro Sassone},
  title        = {Process versus Unfolding Semantics for Place/Transition Petri Nets},
  journal      = {Theor. Comput. Sci.},
  volume       = {153},
  number       = {1{\&}2},
  pages        = {171--210},
  year         = {1996},
  url          = {https://doi.org/10.1016/0304-3975(95)00121-2},
  doi          = {10.1016/0304-3975(95)00121-2},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/MeseguerMS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Sassone96,
  author       = {Vladimiro Sassone},
  title        = {An Axiomatization of the Algebra of Petri Net Concatenable Processes},
  journal      = {Theor. Comput. Sci.},
  volume       = {170},
  number       = {1-2},
  pages        = {277--296},
  year         = {1996},
  url          = {https://doi.org/10.1016/S0304-3975(96)80709-2},
  doi          = {10.1016/S0304-3975(96)80709-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Sassone96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/SassoneNW96,
  author       = {Vladimiro Sassone and
                  Mogens Nielsen and
                  Glynn Winskel},
  title        = {Models for Concurrency: Towards a Classification},
  journal      = {Theor. Comput. Sci.},
  volume       = {170},
  number       = {1-2},
  pages        = {297--348},
  year         = {1996},
  url          = {https://doi.org/10.1016/S0304-3975(96)80710-9},
  doi          = {10.1016/S0304-3975(96)80710-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/SassoneNW96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/NielsenS96,
  author       = {Mogens Nielsen and
                  Vladimiro Sassone},
  editor       = {Wolfgang Reisig and
                  Grzegorz Rozenberg},
  title        = {Petri Nets and Other Models of Concurrency},
  booktitle    = {Lectures on Petri Nets {I:} Basic Models, Advances in Petri Nets,
                  the volumes are based on the Advanced Course on Petri Nets, held in
                  Dagstuhl, September 1996},
  series       = {Lecture Notes in Computer Science},
  volume       = {1491},
  pages        = {587--642},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-65306-6\_23},
  doi          = {10.1007/3-540-65306-6\_23},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/ac/NielsenS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/HildebrandtS96,
  author       = {Thomas T. Hildebrandt and
                  Vladimiro Sassone},
  editor       = {Ugo Montanari and
                  Vladimiro Sassone},
  title        = {Comparing Transition Systems with Independence and Asynchronous Transition
                  Systems},
  booktitle    = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
                  Italy, August 26-29, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1119},
  pages        = {84--97},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61604-7\_49},
  doi          = {10.1007/3-540-61604-7\_49},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/HildebrandtS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/HildebrandtS96,
  author       = {Thomas T. Hildebrandt and
                  Vladimiro Sassone},
  editor       = {Doron A. Peled and
                  Vaughan R. Pratt and
                  Gerard J. Holzmann},
  title        = {Transition systems with independence and multi-arcs},
  booktitle    = {Partial Order Methods in Verification, Proceedings of a {DIMACS} Workshop,
                  Princeton, New Jersey, USA, July 24-26, 1996},
  series       = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
  volume       = {29},
  pages        = {273--288},
  publisher    = {{DIMACS/AMS}},
  year         = {1996},
  url          = {https://doi.org/10.1090/dimacs/029/15},
  doi          = {10.1090/DIMACS/029/15},
  timestamp    = {Mon, 22 May 2023 16:07:35 +0200},
  biburl       = {https://dblp.org/rec/conf/dimacs/HildebrandtS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/CattaniS96,
  author       = {Gian Luca Cattani and
                  Vladimiro Sassone},
  title        = {Higher Dimensional Transition Systems},
  booktitle    = {Proceedings, 11th Annual {IEEE} Symposium on Logic in Computer Science,
                  New Brunswick, New Jersey, USA, July 27-30, 1996},
  pages        = {55--62},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/LICS.1996.561303},
  doi          = {10.1109/LICS.1996.561303},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/CattaniS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/1996,
  editor       = {Ugo Montanari and
                  Vladimiro Sassone},
  title        = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
                  Italy, August 26-29, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1119},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61604-7},
  doi          = {10.1007/3-540-61604-7},
  isbn         = {3-540-61604-7},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/1996.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/NielsenPS95,
  author       = {Mogens Nielsen and
                  Lutz Priese and
                  Vladimiro Sassone},
  editor       = {Insup Lee and
                  Scott A. Smolka},
  title        = {Characterizing Behavioural Congruences for Petri Nets},
  booktitle    = {{CONCUR} '95: Concurrency Theory, 6th International Conference, Philadelphia,
                  PA, USA, August 21-24, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {962},
  pages        = {175--189},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60218-6\_13},
  doi          = {10.1007/3-540-60218-6\_13},
  timestamp    = {Thu, 26 Jan 2023 14:05:52 +0100},
  biburl       = {https://dblp.org/rec/conf/concur/NielsenPS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Sassone95,
  author       = {Vladimiro Sassone},
  editor       = {Horst Reichel},
  title        = {Axiomatizing Petri Net Concatenable Processes},
  booktitle    = {Fundamentals of Computation Theory, 10th International Symposium,
                  {FCT} '95, Dresden, Germany, August 22-25, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {965},
  pages        = {414--423},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60249-6\_73},
  doi          = {10.1007/3-540-60249-6\_73},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Sassone95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Sassone95,
  author       = {Vladimiro Sassone},
  editor       = {Peter D. Mosses and
                  Mogens Nielsen and
                  Michael I. Schwartzbach},
  title        = {On the Category of Petri Net Computations},
  booktitle    = {TAPSOFT'95: Theory and Practice of Software Development, 6th International
                  Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {915},
  pages        = {334--348},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59293-8\_205},
  doi          = {10.1007/3-540-59293-8\_205},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/tapsoft/Sassone95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/MeseguerMS94,
  author       = {Jos{\'{e}} Meseguer and
                  Ugo Montanari and
                  Vladimiro Sassone},
  editor       = {Robert Valette},
  title        = {On the Model of Computation of Place/Transition Petri Nets},
  booktitle    = {Application and Theory of Petri Nets 1994, 15th International Conference,
                  Zaragoza, Spain, June 20-24, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {815},
  pages        = {16--38},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58152-9\_3},
  doi          = {10.1007/3-540-58152-9\_3},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/MeseguerMS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/MeglioS93,
  author       = {R. di Meglio and
                  Vladimiro Sassone},
  editor       = {Domenico Sacc{\`{a}}},
  title        = {A Unification-Free Introduction to Logic Programming},
  booktitle    = {8th Italian Conference on Logic Programming, GULP'93, Gizzeria, Italy,
                  June 15-18, 1993},
  pages        = {21--38},
  year         = {1993},
  timestamp    = {Sun, 06 Aug 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/agp/MeglioS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/Sassone93,
  author       = {Vladimiro Sassone},
  editor       = {Domenico Sacc{\`{a}}},
  title        = {A Note on Logic Programming Fixed-Point Semantics},
  booktitle    = {8th Italian Conference on Logic Programming, GULP'93, Gizzeria, Italy,
                  June 15-18, 1993},
  pages        = {649--662},
  year         = {1993},
  timestamp    = {Thu, 02 Dec 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/Sassone93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/SassoneNW93,
  author       = {Vladimiro Sassone and
                  Mogens Nielsen and
                  Glynn Winskel},
  editor       = {Eike Best},
  title        = {A Classification of Models for Concurrency},
  booktitle    = {{CONCUR} '93, 4th International Conference on Concurrency Theory,
                  Hildesheim, Germany, August 23-26, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {715},
  pages        = {82--96},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-57208-2\_7},
  doi          = {10.1007/3-540-57208-2\_7},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/SassoneNW93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/SassoneNW93,
  author       = {Vladimiro Sassone and
                  Mogens Nielsen and
                  Glynn Winskel},
  editor       = {Andrzej M. Borzyszkowski and
                  Stefan Sokolowski},
  title        = {Deterministic Behavioural Models for Concurrency},
  booktitle    = {Mathematical Foundations of Computer Science 1993, 18th International
                  Symposium, MFCS'93, Gdansk, Poland, August 30 - September 3, 1993,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {711},
  pages        = {682--692},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-57182-5\_59},
  doi          = {10.1007/3-540-57182-5\_59},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/SassoneNW93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/NielsenSW93,
  author       = {Mogens Nielsen and
                  Vladimiro Sassone and
                  Glynn Winskel},
  editor       = {J. W. de Bakker and
                  Willem P. de Roever and
                  Grzegorz Rozenberg},
  title        = {Relationships Between Models of Concurrency},
  booktitle    = {A Decade of Concurrency, Reflections and Perspectives, {REX} School/Symposium,
                  Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {803},
  pages        = {425--476},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-58043-3\_25},
  doi          = {10.1007/3-540-58043-3\_25},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/rex/NielsenSW93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/MontanariS92,
  author       = {Ugo Montanari and
                  Vladimiro Sassone},
  title        = {Dynamic congruence vs. progressing bisimulation for {CCS}},
  journal      = {Fundam. Informaticae},
  volume       = {16},
  number       = {1},
  pages        = {171--199},
  year         = {1992},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/MontanariS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/MeseguerMS92,
  author       = {Jos{\'{e}} Meseguer and
                  Ugo Montanari and
                  Vladimiro Sassone},
  editor       = {Rance Cleaveland},
  title        = {On the Semantics of Petri Nets},
  booktitle    = {{CONCUR} '92, Third International Conference on Concurrency Theory,
                  Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {630},
  pages        = {286--301},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/BFb0084798},
  doi          = {10.1007/BFB0084798},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/MeseguerMS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/MontanariS91,
  author       = {Ugo Montanari and
                  Vladimiro Sassone},
  editor       = {Andrzej Tarlecki},
  title        = {{CCS} Dynamic Bisimulation is Progressing},
  booktitle    = {Mathematical Foundations of Computer Science 1991, 16th International
                  Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {520},
  pages        = {346--356},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54345-7\_78},
  doi          = {10.1007/3-540-54345-7\_78},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/MontanariS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics