publications:
- title: "Deterministic Behavioural Models for Concurrency"
  author:
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  - name: "Mogens Nielsen"
    link: "https://researchr.org/alias/mogens-nielsen"
  - name: "Glynn Winskel"
    link: "https://researchr.org/alias/glynn-winskel"
  year: "1993"
  tags:
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/SassoneNW93"
  cites: 0
  citedby: 0
  pages: "682-692"
  booktitle: "Mathematical Foundations of Computer Science 1993, 18th International Symposium, MFCS 93, Gdansk, Poland, August 30 - September 3, 1993, Proceedings"
  editor:
  - name: "Andrzej M. Borzyszkowski"
    link: "https://researchr.org/alias/andrzej-m.-borzyszkowski"
  - name: "Stefan Sokolowski"
    link: "https://researchr.org/alias/stefan-sokolowski"
  volume: "711"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-57182-5"
  kind: "inproceedings"
  key: "SassoneNW93"
- title: "Functorial semantics for Petri nets under the individual token philosophy"
  author:
  - name: "Roberto Bruni"
    link: "https://researchr.org/alias/roberto-bruni"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Ugo Montanari"
    link: "https://researchr.org/alias/ugo-montanari"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "1999"
  doi: "http://www.elsevier.nl/locate/entcs/volume29.html"
  links:
    doi: "http://www.elsevier.nl/locate/entcs/volume29.html"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/BruniMMS99"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "29"
  pages: "21"
  kind: "article"
  key: "BruniMMS99"
- title: "Foundations of Software Science and Computational Structures: Selected papers from FOSSACS 2005"
  author:
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.tcs.2007.09.019"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2007.09.019"
  tags:
  - "e-science"
  researchr: "https://researchr.org/publication/Sassone08"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "390"
  number: "2-3"
  pages: "127-128"
  kind: "article"
  key: "Sassone08"
- title: "Semantic Barbs and Biorthogonality"
  author:
  - name: "Julian Rathke"
    link: "https://researchr.org/alias/julian-rathke"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  - name: "Pawel Sobocinski"
    link: "https://researchr.org/alias/pawel-sobocinski"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-71389-0_22"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71389-0_22"
  researchr: "https://researchr.org/publication/RathkeSS07"
  cites: 0
  citedby: 0
  pages: "302-316"
  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"
  editor:
  - name: "Helmut Seidl"
    link: "https://researchr.org/alias/helmut-seidl"
  volume: "4423"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-71388-3"
  kind: "inproceedings"
  key: "RathkeSS07"
- title: "A Dependently Typed Ambient Calculus"
  author:
  - name: "Cédric Lhoussaine"
    link: "https://researchr.org/alias/c%C3%A9dric-lhoussaine"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2986&spage=171"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2986&spage=171"
  researchr: "https://researchr.org/publication/LhoussaineS04"
  cites: 0
  citedby: 0
  pages: "171-187"
  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"
  editor:
  - name: "David A. Schmidt"
    link: "https://researchr.org/alias/david-a.-schmidt"
  volume: "2986"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-21313-9"
  kind: "inproceedings"
  key: "LhoussaineS04"
- title: "On the Semantics of Petri Nets"
  author:
  - name: "José Meseguer"
    link: "https://researchr.org/alias/jos%C3%A9-meseguer"
  - name: "Ugo Montanari"
    link: "https://researchr.org/alias/ugo-montanari"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "1992"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/MeseguerMS92"
  cites: 0
  citedby: 0
  pages: "286-301"
  booktitle: "CONCUR  92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August  24-27, 1992, Proceedings"
  editor:
  - name: "Rance Cleaveland"
    link: "https://researchr.org/alias/rance-cleaveland"
  volume: "630"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-55822-5"
  kind: "inproceedings"
  key: "MeseguerMS92"
- title: "Locating reaction with 2-categories"
  author:
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  - name: "Pawel Sobocinski"
    link: "https://researchr.org/alias/pawel-sobocinski"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.tcs.2004.10.025"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2004.10.025"
  researchr: "https://researchr.org/publication/SassoneS05%3A1"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "333"
  number: "1-2"
  pages: "297-327"
  kind: "article"
  key: "SassoneS05:1"
- title: "Jeeg: a programming language for concurrent objects synchronization"
  author:
  - name: "Giuseppe Milicia"
    link: "https://researchr.org/alias/giuseppe-milicia"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/583810.583834"
  links:
    doi: "http://doi.acm.org/10.1145/583810.583834"
  tags:
  - "programming languages"
  - "object-oriented programming"
  - "Java"
  - "synchronization"
  - "meta programming"
  - "programming"
  - "subject-oriented programming"
  - "Meta-Environment"
  - "feature-oriented programming"
  - "meta-objects"
  researchr: "https://researchr.org/publication/MiliciaS02"
  cites: 0
  citedby: 0
  pages: "212-221"
  booktitle: "Proceedings of the 2002 Joint ACM-ISCOPE Conference on Java Grande 2002,  Seattle, Washington, USA, November 3-5, 2002"
  editor:
  - name: "José E. Moreira"
    link: "https://researchr.org/alias/jos%C3%A9-e.-moreira"
  - name: "Geoffrey Fox"
    link: "https://researchr.org/alias/geoffrey-fox"
  - name: "Vladimir Getov"
    link: "https://researchr.org/alias/vladimir-getov"
  publisher: "ACM"
  isbn: "1-58113-599-8"
  kind: "inproceedings"
  key: "MiliciaS02"
- title: "Relationships Between Models of Concurrency"
  author:
  - name: "Mogens Nielsen"
    link: "https://researchr.org/alias/mogens-nielsen"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  - name: "Glynn Winskel"
    link: "https://researchr.org/alias/glynn-winskel"
  year: "1993"
  tags:
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/NielsenSW93"
  cites: 0
  citedby: 0
  pages: "425-476"
  booktitle: "A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings"
  editor:
  - name: "J. W. de Bakker"
    link: "https://researchr.org/alias/j.-w.-de-bakker"
  - name: "Willem P. de Roever"
    link: "https://researchr.org/alias/willem-p.-de-roever"
  - name: "Grzegorz Rozenberg"
    link: "https://researchr.org/alias/grzegorz-rozenberg"
  volume: "803"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-58043-3"
  kind: "inproceedings"
  key: "NielsenSW93"
- title: "Two Algebraic Process Semantics for Contextual Nets"
  author:
  - name: "Roberto Bruni"
    link: "https://researchr.org/alias/roberto-bruni"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2128/21280427.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2128/21280427.htm"
  tags:
  - "semantics"
  - "process algebra"
  - " algebra"
  researchr: "https://researchr.org/publication/BruniS01"
  cites: 0
  citedby: 0
  pages: "427-456"
  booktitle: "Unifying Petri Nets, Advances in Petri Nets"
  editor:
  - name: "Hartmut Ehrig"
    link: "https://researchr.org/alias/hartmut-ehrig"
  - name: "Gabriel Juhás"
    link: "https://researchr.org/alias/gabriel-juh%C3%A1s"
  - name: "Julia Padberg"
    link: "https://researchr.org/alias/julia-padberg"
  - name: "Grzegorz Rozenberg"
    link: "https://researchr.org/alias/grzegorz-rozenberg"
  volume: "2128"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43067-9"
  kind: "inproceedings"
  key: "BruniS01"
- title: "Preface"
  author:
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "2004"
  doi: "http://dx.doi.org/10.1016/j.tcs.2004.03.001"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2004.03.001"
  researchr: "https://researchr.org/publication/Sassone04%3A0"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "322"
  number: "3"
  pages: "423-426"
  kind: "article"
  key: "Sassone04:0"
- title: "Preface"
  author:
  - name: "Ugo Montanari"
    link: "https://researchr.org/alias/ugo-montanari"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "2001"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/87/27/show/Products/notes/index.htt#001"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/87/27/show/Products/notes/index.htt#001"
  researchr: "https://researchr.org/publication/MontanariS01"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "54"
  pages: "117"
  kind: "article"
  key: "MontanariS01"
- title: "Labels from Reductions: Towards a General Theory"
  author:
  - name: "Bartek Klin"
    link: "https://researchr.org/alias/bartek-klin"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  - name: "Pawel Sobocinski"
    link: "https://researchr.org/alias/pawel-sobocinski"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11548133_2"
  links:
    doi: "http://dx.doi.org/10.1007/11548133_2"
  researchr: "https://researchr.org/publication/KlinSS05"
  cites: 0
  citedby: 0
  pages: "30-50"
  booktitle: "Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings"
  editor:
  - name: "José Luiz Fiadeiro"
    link: "https://researchr.org/alias/jos%C3%A9-luiz-fiadeiro"
  - name: "Neil Harman"
    link: "https://researchr.org/alias/neil-harman"
  - name: "Markus Roggenbach"
    link: "https://researchr.org/alias/markus-roggenbach"
  - name: "Jan J. M. M. Rutten"
    link: "https://researchr.org/alias/jan-j.-m.-m.-rutten"
  volume: "3629"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-28620-9"
  kind: "inproceedings"
  key: "KlinSS05"
- title: "A Hybrid Intuitionistic Logic: Semantics and Decidability"
  author:
  - name: "Rohit Chadha"
    link: "https://researchr.org/alias/rohit-chadha"
  - name: "Damiano Macedonio"
    link: "https://researchr.org/alias/damiano-macedonio"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "2006"
  doi: "http://dx.doi.org/10.1093/logcom/exi071"
  links:
    doi: "http://dx.doi.org/10.1093/logcom/exi071"
  tags:
  - "semantics"
  - "logic"
  researchr: "https://researchr.org/publication/ChadhaMS06%3A1"
  cites: 0
  citedby: 0
  journal: "Journal of Logic and Computation"
  volume: "16"
  number: "1"
  pages: "27-59"
  kind: "article"
  key: "ChadhaMS06:1"
- title: "A Survey of Name-Passing Calculi and Crypto-Primitives"
  author:
  - name: "Michele Bugliesi"
    link: "https://researchr.org/alias/michele-bugliesi"
  - name: "Giuseppe Castagna"
    link: "https://researchr.org/alias/giuseppe-castagna"
  - name: "Silvia Crafa"
    link: "https://researchr.org/alias/silvia-crafa"
  - name: "Riccardo Focardi"
    link: "https://researchr.org/alias/riccardo-focardi"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "2002"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2946&spage=91"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2946&spage=91"
  tags:
  - "survey"
  researchr: "https://researchr.org/publication/BugliesiCCFS02"
  cites: 0
  citedby: 0
  pages: "91-138"
  booktitle: "Foundations of Security Analysis and Design II, FOSAD 2001/2002 Tutorial Lectures"
  editor:
  - name: "Riccardo Focardi"
    link: "https://researchr.org/alias/riccardo-focardi"
  - name: "Roberto Gorrieri"
    link: "https://researchr.org/alias/roberto-gorrieri"
  volume: "2946"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-20955-7"
  kind: "inproceedings"
  key: "BugliesiCCFS02"
- title: "Higher Dimensional Transition Systems"
  author:
  - name: "Gian Luca Cattani"
    link: "https://researchr.org/alias/gian-luca-cattani"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "1996"
  researchr: "https://researchr.org/publication/CattaniS96"
  cites: 0
  citedby: 0
  pages: "55-62"
  booktitle: "LICS"
  kind: "inproceedings"
  key: "CattaniS96"
- title: "A Distributed Calculus for Ro^le-Based Access Control"
  author:
  - name: "Chiara Braghin"
    link: "https://researchr.org/alias/chiara-braghin"
  - name: "Daniele Gorla"
    link: "https://researchr.org/alias/daniele-gorla"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "2004"
  doi: "http://doi.ieeecomputersociety.org/10.1109/CSFW.2004.1"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/CSFW.2004.1"
  tags:
  - "rule-based"
  - "access control"
  - "role-based access control"
  researchr: "https://researchr.org/publication/BraghinGS04"
  cites: 0
  citedby: 0
  pages: "48-60"
  booktitle: "17th IEEE Computer Security Foundations Workshop, (CSFW-17 2004), 28-30 June 2004, Pacific Grove, CA, USA"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2169-X"
  kind: "inproceedings"
  key: "BraghinGS04"
- title: "Representation Theorems for Petri Nets"
  author:
  - name: "José Meseguer"
    link: "https://researchr.org/alias/jos%C3%A9-meseguer"
  - name: "Ugo Montanari"
    link: "https://researchr.org/alias/ugo-montanari"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "1997"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1337/13370239.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1337/13370239.htm"
  researchr: "https://researchr.org/publication/MeseguerMS97"
  cites: 0
  citedby: 0
  pages: "239-249"
  booktitle: "Foundations of Computer Science: Potential - Theory - Cognition, to Wilfried Brauer on the occasion of his sixtieth birthday"
  editor:
  - name: "Christian Freksa"
    link: "https://researchr.org/alias/christian-freksa"
  - name: "Matthias Jantzen"
    link: "https://researchr.org/alias/matthias-jantzen"
  - name: "Rüdiger Valk"
    link: "https://researchr.org/alias/r%C3%BCdiger-valk"
  volume: "1337"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-63746-X"
  kind: "inproceedings"
  key: "MeseguerMS97"
- title: "A Formal Model for Trust in Dynamic Networks"
  author:
  - name: "Marco Carbone"
    link: "https://researchr.org/alias/marco-carbone"
  - name: "Mogens Nielsen"
    link: "https://researchr.org/alias/mogens-nielsen"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "2003"
  doi: "http://csdl.computer.org/comp/proceedings/sefm/2003/1949/00/19490054abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/sefm/2003/1949/00/19490054abs.htm"
  tags:
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/CarboneNS03"
  cites: 0
  citedby: 0
  pages: "54"
  booktitle: "1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 22-27 September 2003, Brisbane, Australia"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-1949-0"
  kind: "inproceedings"
  key: "CarboneNS03"
- title: "High-Level Petri Nets as Type Theories in the Join Calculus"
  author:
  - name: "Maria Grazia Buscemi"
    link: "https://researchr.org/alias/maria-grazia-buscemi"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2030/20300104.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2030/20300104.htm"
  tags:
  - "type theory"
  researchr: "https://researchr.org/publication/BuscemiS01"
  cites: 0
  citedby: 0
  pages: "104-120"
  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"
  editor:
  - name: "Furio Honsell"
    link: "https://researchr.org/alias/furio-honsell"
  - name: "Marino Miculan"
    link: "https://researchr.org/alias/marino-miculan"
  volume: "2030"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-41864-4"
  kind: "inproceedings"
  key: "BuscemiS01"
- title: "Bigraphical Logics for XML"
  author:
  - name: "Giovanni Conforti"
    link: "https://researchr.org/alias/giovanni-conforti"
  - name: "Damiano Macedonio"
    link: "https://researchr.org/alias/damiano-macedonio"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "2005"
  tags:
  - "XML"
  - "XML Schema"
  - "logic"
  researchr: "https://researchr.org/publication/ConfortiMS05%3A0"
  cites: 0
  citedby: 0
  pages: "392-399"
  booktitle: "Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, SEBD 2005, Brixen-Bressanone (near Bozen-Bolzano), Italy, June 19-22, 2005"
  editor:
  - name: "Andrea Calì"
    link: "https://researchr.org/alias/andrea-cal%C3%AC"
  - name: "Diego Calvanese"
    link: "https://researchr.org/alias/diego-calvanese"
  - name: "Enrico Franconi"
    link: "https://researchr.org/alias/enrico-franconi"
  - name: "Maurizio Lenzerini"
    link: "https://researchr.org/alias/maurizio-lenzerini"
  - name: "Letizia Tanca"
    link: "https://researchr.org/alias/letizia-tanca"
  isbn: "88-548-0122-4"
  kind: "inproceedings"
  key: "ConfortiMS05:0"
- title: "Models for Concurrency: Towards a Classification"
  author:
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  - name: "Mogens Nielsen"
    link: "https://researchr.org/alias/mogens-nielsen"
  - name: "Glynn Winskel"
    link: "https://researchr.org/alias/glynn-winskel"
  year: "1996"
  doi: "http://dx.doi.org/10.1016/S0304-3975(96)80710-9"
  links:
    doi: "http://dx.doi.org/10.1016/S0304-3975(96)80710-9"
  tags:
  - "classification"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/SassoneNW96"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "170"
  number: "1-2"
  pages: "297-348"
  kind: "article"
  key: "SassoneNW96"
- title: "Structural Operational Semantics for Stochastic Process Calculi"
  author:
  - name: "Bartek Klin"
    link: "https://researchr.org/alias/bartek-klin"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-78499-9_30"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-78499-9_30"
  tags:
  - "semantics"
  - " structural operational semantics"
  - "operational semantics"
  researchr: "https://researchr.org/publication/KlinS08"
  cites: 0
  citedby: 0
  pages: "428-442"
  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. Proceedi"
  editor:
  - name: "Roberto M. Amadio"
    link: "https://researchr.org/alias/roberto-m.-amadio"
  volume: "4962"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-78497-5"
  kind: "inproceedings"
  key: "KlinS08"
- title: "An Axiomatization of the Category of Petri Net Computations"
  author:
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "1998"
  researchr: "https://researchr.org/publication/Sassone98"
  cites: 0
  citedby: 0
  journal: "Mathematical Structures in Computer Science"
  volume: "8"
  number: "2"
  pages: "117-151"
  kind: "article"
  key: "Sassone98"
- title: "Spatial Logics for Bigraphs"
  author:
  - name: "Giovanni Conforti"
    link: "https://researchr.org/alias/giovanni-conforti"
  - name: "Damiano Macedonio"
    link: "https://researchr.org/alias/damiano-macedonio"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11523468_62"
  links:
    doi: "http://dx.doi.org/10.1007/11523468_62"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/ConfortiMS05"
  cites: 0
  citedby: 0
  pages: "766-778"
  booktitle: "Automata, Languages and Programming, 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings"
  editor:
  - name: "Luís Caires"
    link: "https://researchr.org/alias/lu%C3%ADs-caires"
  - name: "Giuseppe F. Italiano"
    link: "https://researchr.org/alias/giuseppe-f.-italiano"
  - name: "Luís Monteiro"
    link: "https://researchr.org/alias/lu%C3%ADs-monteiro"
  - name: "Catuscia Palamidessi"
    link: "https://researchr.org/alias/catuscia-palamidessi"
  - name: "Moti Yung"
    link: "https://researchr.org/alias/moti-yung"
  volume: "3580"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-27580-0"
  kind: "inproceedings"
  key: "ConfortiMS05"
- title: "Role-based access control for a distributed calculus"
  author:
  - name: "Chiara Braghin"
    link: "https://researchr.org/alias/chiara-braghin"
  - name: "Daniele Gorla"
    link: "https://researchr.org/alias/daniele-gorla"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "2006"
  doi: "http://iospress.metapress.com/openurl.asp?genre=article&issn=0926-227X&volume=14&issue=2&spage=113"
  links:
    doi: "http://iospress.metapress.com/openurl.asp?genre=article&issn=0926-227X&volume=14&issue=2&spage=113"
  tags:
  - "rule-based"
  - "access control"
  - "role-based access control"
  researchr: "https://researchr.org/publication/BraghinGS06"
  cites: 0
  citedby: 0
  journal: "Journal of Computer Security"
  volume: "14"
  number: "2"
  pages: "113-155"
  kind: "article"
  key: "BraghinGS06"
- title: "A Unification-Free Introduction to Logic Programming"
  author:
  - name: "R. Di Meglio"
    link: "https://researchr.org/alias/r.-di-meglio"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "1993"
  tags:
  - "logic programming"
  - "programming"
  - "logic"
  researchr: "https://researchr.org/publication/MeglioS93"
  cites: 0
  citedby: 0
  pages: "21-38"
  booktitle: "8th Italian Conference on Logic Programming, GULP 93, Gizzeria, Italy, June 15-18, 1993"
  editor:
  - name: "Domenico Saccà"
    link: "https://researchr.org/alias/domenico-sacc%C3%A0"
  kind: "inproceedings"
  key: "MeglioS93"
- title: "Inferring dynamic credentials for rôle-based trust management"
  author:
  - name: "Daniele Gorla"
    link: "https://researchr.org/alias/daniele-gorla"
  - name: "Matthew Hennessy"
    link: "https://researchr.org/alias/matthew-hennessy"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1140335.1140361"
  links:
    doi: "http://doi.acm.org/10.1145/1140335.1140361"
  tags:
  - "rule-based"
  researchr: "https://researchr.org/publication/GorlaHS06"
  cites: 0
  citedby: 0
  pages: "213-224"
  booktitle: "Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy"
  editor:
  - name: "Annalisa Bossi"
    link: "https://researchr.org/alias/annalisa-bossi"
  - name: "Michael J. Maher"
    link: "https://researchr.org/alias/michael-j.-maher"
  publisher: "ACM"
  isbn: "1-59593-388-3"
  kind: "inproceedings"
  key: "GorlaHS06"
- title: "Characterizing Behavioural Congruences for Petri Nets"
  author:
  - name: "Mogens Nielsen"
    link: "https://researchr.org/alias/mogens-nielsen"
  - name: "Lutz Priese"
    link: "https://researchr.org/alias/lutz-priese"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "1995"
  researchr: "https://researchr.org/publication/NielsenPS95"
  cites: 0
  citedby: 0
  pages: "175-189"
  booktitle: "CONCUR  95: Concurrency Theory, 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, Proceedings"
  editor:
  - name: "Insup Lee"
    link: "https://researchr.org/alias/insup-lee"
  - name: "Scott A. Smolka"
    link: "https://researchr.org/alias/scott-a.-smolka"
  volume: "962"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-60218-6"
  kind: "inproceedings"
  key: "NielsenPS95"
- title: "On the Semantics of Place/Transition Petri Nets"
  author:
  - name: "José Meseguer"
    link: "https://researchr.org/alias/jos%C3%A9-meseguer"
  - name: "Ugo Montanari"
    link: "https://researchr.org/alias/ugo-montanari"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "1997"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/MeseguerMS97%3A0"
  cites: 0
  citedby: 0
  journal: "Mathematical Structures in Computer Science"
  volume: "7"
  number: "4"
  pages: "359-397"
  kind: "article"
  key: "MeseguerMS97:0"
- title: "Dynamic congruence vs. progressing bisimulation for CCS"
  author:
  - name: "Ugo Montanari"
    link: "https://researchr.org/alias/ugo-montanari"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "1992"
  researchr: "https://researchr.org/publication/MontanariS92"
  cites: 0
  citedby: 0
  journal: "Fundamenta Informaticae"
  volume: "16"
  number: "1"
  pages: "171-199"
  kind: "article"
  key: "MontanariS92"
- title: "Semantic and logical foundations of global computing: Papers from the EU-FET global computing initiative (2001-2005)"
  author:
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.tcs.2007.09.017"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2007.09.017"
  researchr: "https://researchr.org/publication/SannellaS07"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "389"
  number: "3"
  pages: "337-340"
  kind: "article"
  key: "SannellaS07"
- title: "A Calculus of Bounded Capacities"
  author:
  - name: "Franco Barbanera"
    link: "https://researchr.org/alias/franco-barbanera"
  - name: "Michele Bugliesi"
    link: "https://researchr.org/alias/michele-bugliesi"
  - name: "Mariangiola Dezani-Ciancaglini"
    link: "https://researchr.org/alias/mariangiola-dezani-ciancaglini"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2896&spage=205"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2896&spage=205"
  researchr: "https://researchr.org/publication/BarbaneraBDS03"
  cites: 0
  citedby: 0
  pages: "205-223"
  booktitle: "Advances in Computing Science - ASIAN 2003 Programming Languages and Distributed Computation, 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings"
  editor:
  - name: "Vijay A. Saraswat"
    link: "https://researchr.org/alias/vijay-a.-saraswat"
  volume: "2896"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-20632-9"
  kind: "inproceedings"
  key: "BarbaneraBDS03"
- title: "Deriving Bisimulation Congruences using 2-categories"
  author:
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  - name: "Pawel Sobocinski"
    link: "https://researchr.org/alias/pawel-sobocinski"
  year: "2003"
  researchr: "https://researchr.org/publication/SassoneS03"
  cites: 0
  citedby: 0
  journal: "Nord. J. Comput."
  volume: "10"
  number: "2"
  pages: "163"
  kind: "article"
  key: "SassoneS03"
- title: "Communication and mobility control in boxed ambients"
  author:
  - name: "Michele Bugliesi"
    link: "https://researchr.org/alias/michele-bugliesi"
  - name: "Silvia Crafa"
    link: "https://researchr.org/alias/silvia-crafa"
  - name: "Massimo Merro"
    link: "https://researchr.org/alias/massimo-merro"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.ic.2005.06.002"
  links:
    doi: "http://dx.doi.org/10.1016/j.ic.2005.06.002"
  researchr: "https://researchr.org/publication/BugliesiCMS05"
  cites: 0
  citedby: 0
  journal: "Inf. Comput."
  volume: "202"
  number: "1"
  pages: "39-86"
  kind: "article"
  key: "BugliesiCMS05"
- title: "Functorial Models for Petri Nets"
  author:
  - name: "Roberto Bruni"
    link: "https://researchr.org/alias/roberto-bruni"
  - name: "José Meseguer"
    link: "https://researchr.org/alias/jos%C3%A9-meseguer"
  - name: "Ugo Montanari"
    link: "https://researchr.org/alias/ugo-montanari"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "2001"
  doi: "http://dx.doi.org/10.1006/inco.2001.3050"
  links:
    doi: "http://dx.doi.org/10.1006/inco.2001.3050"
  tags:
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/BruniMMS01"
  cites: 0
  citedby: 0
  journal: "Inf. Comput."
  volume: "170"
  number: "2"
  pages: "207-236"
  kind: "article"
  key: "BruniMMS01"
- title: "CCS Dynamic Bisimulation is Progressing"
  author:
  - name: "Ugo Montanari"
    link: "https://researchr.org/alias/ugo-montanari"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "1991"
  researchr: "https://researchr.org/publication/MontanariS91"
  cites: 0
  citedby: 0
  pages: "346-356"
  booktitle: "Mathematical Foundations of Computer Science 1991, 16th International Symposium, MFCS 91, Kazimierz Dolny, Poland, September 9-13, 1991, Proceedings"
  editor:
  - name: "Andrzej Tarlecki"
    link: "https://researchr.org/alias/andrzej-tarlecki"
  volume: "520"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-54345-7"
  kind: "inproceedings"
  key: "MontanariS91"
- title: "Deriving Bisimulation Congruences: 2-Categories Vs Precategories"
  author:
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  - name: "Pawel Sobocinski"
    link: "https://researchr.org/alias/pawel-sobocinski"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2620/26200409.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2620/26200409.htm"
  researchr: "https://researchr.org/publication/SassoneS03%3A0"
  cites: 0
  citedby: 0
  pages: "409-424"
  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"
  editor:
  - name: "Andrew D. Gordon"
    link: "http://research.microsoft.com/en-us/um/people/adg/"
  volume: "2620"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-00897-7"
  kind: "inproceedings"
  key: "SassoneS03:0"
- title: "Open Ended Systems, Dynamic Bisimulation and Tile Logic"
  author:
  - name: "Roberto Bruni"
    link: "https://researchr.org/alias/roberto-bruni"
  - name: "Ugo Montanari"
    link: "https://researchr.org/alias/ugo-montanari"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1872/18720440.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1872/18720440.htm"
  tags:
  - "source-to-source"
  - "logic"
  - "open-source"
  researchr: "https://researchr.org/publication/BruniMS00"
  cites: 0
  citedby: 0
  pages: "440-456"
  booktitle: "Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000, Proceedings"
  editor:
  - name: "Jan van Leeuwen"
    link: "https://researchr.org/alias/jan-van-leeuwen"
  - name: "Osamu Watanabe"
    link: "https://researchr.org/alias/osamu-watanabe"
  - name: "Masami Hagiya"
    link: "https://researchr.org/alias/masami-hagiya"
  - name: "Peter D. Mosses"
    link: "https://pdmosses.github.io"
  - name: "Takayasu Ito"
    link: "https://researchr.org/alias/takayasu-ito"
  volume: "1872"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67823-9"
  kind: "inproceedings"
  key: "BruniMS00"
- title: "A logical framework for history-based access control and reputation systems"
  author:
  - name: "Karl Krukow"
    link: "https://researchr.org/alias/karl-krukow"
  - name: "Mogens Nielsen"
    link: "https://researchr.org/alias/mogens-nielsen"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "2008"
  doi: "http://iospress.metapress.com/content/2330826723581x76/"
  links:
    doi: "http://iospress.metapress.com/content/2330826723581x76/"
  tags:
  - "control systems"
  - "rule-based"
  - "reputation"
  - "history"
  - "access control"
  - "role-based access control"
  researchr: "https://researchr.org/publication/KrukowNS08"
  cites: 0
  citedby: 0
  journal: "Journal of Computer Security"
  volume: "16"
  number: "1"
  pages: "63-101"
  kind: "article"
  key: "KrukowNS08"
- title: "A Classification of Models for Concurrency"
  author:
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  - name: "Mogens Nielsen"
    link: "https://researchr.org/alias/mogens-nielsen"
  - name: "Glynn Winskel"
    link: "https://researchr.org/alias/glynn-winskel"
  year: "1993"
  tags:
  - "classification"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/SassoneNW93%3A0"
  cites: 0
  citedby: 0
  pages: "82-96"
  booktitle: "CONCUR  93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings"
  editor:
  - name: "Eike Best"
    link: "https://researchr.org/alias/eike-best"
  volume: "715"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-57208-2"
  kind: "inproceedings"
  key: "SassoneNW93:0"
- title: "A Note on Logic Programming Fixed-Point Semantics"
  author:
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "1993"
  tags:
  - "semantics"
  - "logic programming"
  - "programming"
  - "logic"
  researchr: "https://researchr.org/publication/Sassone93"
  cites: 0
  citedby: 0
  pages: "649-662"
  booktitle: "8th Italian Conference on Logic Programming, GULP 93, Gizzeria, Italy, June 15-18, 1993"
  editor:
  - name: "Domenico Saccà"
    link: "https://researchr.org/alias/domenico-sacc%C3%A0"
  kind: "inproceedings"
  key: "Sassone93"
- title: "Algebraic Theories for Contextual Pre-nets"
  author:
  - name: "Roberto Bruni"
    link: "https://researchr.org/alias/roberto-bruni"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Ugo Montanari"
    link: "https://researchr.org/alias/ugo-montanari"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2841&spage=256"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2841&spage=256"
  tags:
  - " algebra"
  researchr: "https://researchr.org/publication/BruniMMS03"
  cites: 0
  citedby: 0
  pages: "256-270"
  booktitle: "Theoretical Computer Science, 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings"
  editor:
  - name: "Carlo Blundo"
    link: "https://researchr.org/alias/carlo-blundo"
  - name: "Cosimo Laneve"
    link: "https://researchr.org/alias/cosimo-laneve"
  volume: "2841"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-20216-1"
  kind: "inproceedings"
  key: "BruniMMS03"
- title: "Security Policies as Membranes in Systems for Global Computing"
  author:
  - name: "Daniele Gorla"
    link: "https://researchr.org/alias/daniele-gorla"
  - name: "Matthew Hennessy"
    link: "https://researchr.org/alias/matthew-hennessy"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "2005"
  doi: "http://dx.doi.org/10.2168/LMCS-1(3:2)2005"
  links:
    doi: "http://dx.doi.org/10.2168/LMCS-1(3:2)2005"
  tags:
  - "security"
  researchr: "https://researchr.org/publication/GorlaHS05%3A0"
  cites: 0
  citedby: 0
  journal: "Logical Methods in Computer Science"
  volume: "1"
  number: "3"
  kind: "article"
  key: "GorlaHS05:0"
- title: "Secrecy in Untrusted Networks"
  author:
  - name: "Michele Bugliesi"
    link: "https://researchr.org/alias/michele-bugliesi"
  - name: "Silvia Crafa"
    link: "https://researchr.org/alias/silvia-crafa"
  - name: "Amela Prelic"
    link: "https://researchr.org/alias/amela-prelic"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2719/27190969.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2719/27190969.htm"
  researchr: "https://researchr.org/publication/BugliesiCPS03"
  cites: 0
  citedby: 0
  pages: "969-983"
  booktitle: "Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings"
  editor:
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Jan Karel Lenstra"
    link: "https://researchr.org/alias/jan-karel-lenstra"
  - name: "Joachim Parrow"
    link: "https://researchr.org/alias/joachim-parrow"
  - name: "Gerhard J. Woeginger"
    link: "https://researchr.org/alias/gerhard-j.-woeginger"
  volume: "2719"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-40493-7"
  kind: "inproceedings"
  key: "BugliesiCPS03"
- title: "Towards a Notion of Distributed Time for Petri Nets"
  author:
  - name: "Mogens Nielsen"
    link: "https://researchr.org/alias/mogens-nielsen"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  - name: "Jirí Srba"
    link: "https://researchr.org/alias/jir%C3%AD-srba"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2075/20750023.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2075/20750023.htm"
  researchr: "https://researchr.org/publication/NielsenSS01%3A0"
  cites: 0
  citedby: 0
  pages: "23-31"
  booktitle: "Application and Theory of Petri Nets 2001, 22nd International Conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings"
  editor:
  - name: "José Manuel Colom"
    link: "https://researchr.org/alias/jos%C3%A9-manuel-colom"
  - name: "Maciej Koutny"
    link: "https://researchr.org/alias/maciej-koutny"
  volume: "2075"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42252-8"
  kind: "inproceedings"
  key: "NielsenSS01:0"
- title: "Reactive Systems over Cospans"
  author:
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  - name: "Pawel Sobocinski"
    link: "https://researchr.org/alias/pawel-sobocinski"
  year: "2005"
  doi: "http://dx.doi.org/10.1109/LICS.2005.40"
  links:
    doi: "http://dx.doi.org/10.1109/LICS.2005.40"
  researchr: "https://researchr.org/publication/SassoneS05%3A0"
  cites: 0
  citedby: 0
  pages: "311-320"
  booktitle: "20th IEEE Symposium on Logic in Computer Science (LICS 2005), 26-29 June 2005, Chicago, IL, USA, Proceedings"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2266-1"
  kind: "inproceedings"
  key: "SassoneS05:0"
- title: "A Bayesian Model for Event-based Trust"
  author:
  - name: "Mogens Nielsen"
    link: "https://researchr.org/alias/mogens-nielsen"
  - name: "Karl Krukow"
    link: "https://researchr.org/alias/karl-krukow"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.entcs.2007.02.017"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2007.02.017"
  tags:
  - "rule-based"
  researchr: "https://researchr.org/publication/NielsenKS07"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "172"
  pages: "499-521"
  kind: "article"
  key: "NielsenKS07"
- title: "A Calculus for Trust Management"
  author:
  - name: "Marco Carbone"
    link: "https://researchr.org/alias/marco-carbone"
  - name: "Mogens Nielsen"
    link: "https://researchr.org/alias/mogens-nielsen"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3328&spage=161"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3328&spage=161"
  researchr: "https://researchr.org/publication/CarboneNS04"
  cites: 0
  citedby: 0
  pages: "161-173"
  booktitle: "FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings"
  editor:
  - name: "Kamal Lodaya"
    link: "https://researchr.org/alias/kamal-lodaya"
  - name: "Meena Mahajan"
    link: "https://researchr.org/alias/meena-mahajan"
  volume: "3328"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-24058-6"
  kind: "inproceedings"
  key: "CarboneNS04"
- title: "Preface - F-WAN: Foundations of Wide Area Network Computing"
  author:
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "2002"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/120/51/show/Products/notes/index.htt#001"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/120/51/show/Products/notes/index.htt#001"
  researchr: "https://researchr.org/publication/Sassone02"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "66"
  number: "3"
  pages: "185-186"
  kind: "article"
  key: "Sassone02"
- title: "Temporal constraints for concurrent object synchronisation"
  author:
  - name: "Giuseppe Milicia"
    link: "https://researchr.org/alias/giuseppe-milicia"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "2003"
  doi: "http://www1.elsevier.com/gej-ng/31/29/23/133/51/show/Products/notes/index.htt#003"
  links:
    doi: "http://www1.elsevier.com/gej-ng/31/29/23/133/51/show/Products/notes/index.htt#003"
  tags:
  - "model synchronisation"
  - "meta-model"
  - "constraints"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/MiliciaS03"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "82"
  number: "7"
  pages: "30-32"
  kind: "article"
  key: "MiliciaS03"
- title: "A Formal Model of Provenance in Distributed Systems"
  author:
  - name: "Issam Souilah"
    link: "https://researchr.org/alias/issam-souilah"
  - name: "Adrian Francalanza"
    link: "https://researchr.org/alias/adrian-francalanza"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "2009"
  doi: "http://www.usenix.org/events/tapp09/tech/full_papers/souilah/souilah.pdf"
  links:
    doi: "http://www.usenix.org/events/tapp09/tech/full_papers/souilah/souilah.pdf"
  tags:
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/SouilahFS09"
  cites: 0
  citedby: 0
  booktitle: "First  Workshop on the Theory and Practice of Provenance, February 23, 2009, San Francisco, CA, USA, Proceedings"
  editor:
  - name: "James Cheney"
    link: "https://researchr.org/alias/james-cheney"
  publisher: "USENIX"
  kind: "inproceedings"
  key: "SouilahFS09"
- title: "Models of Computation: A Tribute to Ugo Montanari s Vision"
  author:
  - name: "Roberto Bruni"
    link: "https://researchr.org/alias/roberto-bruni"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-68679-8_31"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-68679-8_31"
  researchr: "https://researchr.org/publication/BruniS08%3A0"
  cites: 0
  citedby: 0
  pages: "503-509"
  booktitle: "Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday"
  editor:
  - name: "Pierpaolo Degano"
    link: "https://researchr.org/alias/pierpaolo-degano"
  - name: "Rocco De Nicola"
    link: "https://researchr.org/alias/rocco-de-nicola"
  - name: "José Meseguer"
    link: "https://researchr.org/alias/jos%C3%A9-meseguer"
  volume: "5065"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-68676-7"
  kind: "inproceedings"
  key: "BruniS08:0"
- title: "A Calculus of Mobile Resources"
  author:
  - name: "Jens Chr. Godskesen"
    link: "https://researchr.org/alias/jens-chr.-godskesen"
  - name: "Thomas T. Hildebrandt"
    link: "https://researchr.org/alias/thomas-t.-hildebrandt"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2421/24210272.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2421/24210272.htm"
  tags:
  - "mobile"
  researchr: "https://researchr.org/publication/GodskesenHS02"
  cites: 0
  citedby: 0
  pages: "272-287"
  booktitle: "CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings"
  editor:
  - name: "Lubos Brim"
    link: "https://researchr.org/alias/lubos-brim"
  - name: "Petr Jancar"
    link: "https://researchr.org/alias/petr-jancar"
  - name: "Mojmír Kretínský"
    link: "https://researchr.org/alias/mojm%C3%ADr-kret%C3%ADnsk%C3%BD"
  - name: "Antonín Kucera"
    link: "https://researchr.org/alias/anton%C3%ADn-kucera"
  volume: "2421"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-44043-7"
  kind: "inproceedings"
  key: "GodskesenHS02"
- title: "Process versus Unfolding Semantics for Place/Transition Petri Nets"
  author:
  - name: "José Meseguer"
    link: "https://researchr.org/alias/jos%C3%A9-meseguer"
  - name: "Ugo Montanari"
    link: "https://researchr.org/alias/ugo-montanari"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "1996"
  doi: "http://dx.doi.org/10.1016/0304-3975(95)00121-2"
  links:
    doi: "http://dx.doi.org/10.1016/0304-3975(95)00121-2"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/MeseguerMS96"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "153"
  number: "1&2"
  pages: "171-210"
  kind: "article"
  key: "MeseguerMS96"
- title: "Communication Interference in Mobile Boxed Ambients"
  author:
  - name: "Michele Bugliesi"
    link: "https://researchr.org/alias/michele-bugliesi"
  - name: "Silvia Crafa"
    link: "https://researchr.org/alias/silvia-crafa"
  - name: "Massimo Merro"
    link: "https://researchr.org/alias/massimo-merro"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2556/25560071.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2556/25560071.htm"
  tags:
  - "mobile"
  researchr: "https://researchr.org/publication/BugliesiCMS02"
  cites: 0
  citedby: 0
  pages: "71-84"
  booktitle: "FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings"
  editor:
  - name: "Manindra Agrawal"
    link: "https://researchr.org/alias/manindra-agrawal"
  - name: "Anil Seth"
    link: "https://researchr.org/alias/anil-seth"
  volume: "2556"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-00225-1"
  kind: "inproceedings"
  key: "BugliesiCMS02"
- title: "On the Algebraic Structure of Petri Nets"
  author:
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "2000"
  tags:
  - " algebra"
  researchr: "https://researchr.org/publication/Sassone00"
  cites: 0
  citedby: 0
  journal: "Bulletin of the EATCS"
  volume: "72"
  pages: "133-148"
  kind: "article"
  key: "Sassone00"
- title: "Petri Nets and Other Models of Concurrency"
  author:
  - name: "Mogens Nielsen"
    link: "https://researchr.org/alias/mogens-nielsen"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "1996"
  tags:
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/NielsenS96"
  cites: 0
  citedby: 0
  pages: "587-642"
  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"
  editor:
  - name: "Wolfgang Reisig"
    link: "https://researchr.org/alias/wolfgang-reisig"
  - name: "Grzegorz Rozenberg"
    link: "https://researchr.org/alias/grzegorz-rozenberg"
  volume: "1491"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-65306-6"
  kind: "inproceedings"
  key: "NielsenS96"
- title: "A Type Inference Algorithm for Secure Ambients"
  author:
  - name: "Franco Barbanera"
    link: "https://researchr.org/alias/franco-barbanera"
  - name: "Mariangiola Dezani-Ciancaglini"
    link: "https://researchr.org/alias/mariangiola-dezani-ciancaglini"
  - name: "Ivano Salvo"
    link: "https://researchr.org/alias/ivano-salvo"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "2001"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/119/25/show/Products/notes/index.htt#008"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/119/25/show/Products/notes/index.htt#008"
  tags:
  - "type inference"
  researchr: "https://researchr.org/publication/BarbaneraDSS01"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "62"
  pages: "83-101"
  kind: "article"
  key: "BarbaneraDSS01"
- title: "Deriving Bisimulation Congruences: A 2-categorical Approach"
  author:
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  - name: "Pawel Sobocinski"
    link: "https://researchr.org/alias/pawel-sobocinski"
  year: "2002"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/121/25/show/Products/notes/index.htt#010"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/121/25/show/Products/notes/index.htt#010"
  tags:
  - "systematic-approach"
  researchr: "https://researchr.org/publication/SassoneS02"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "68"
  number: "2"
  pages: "105-123"
  kind: "article"
  key: "SassoneS02"
- title: "Preface"
  author:
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "2003"
  doi: "http://www1.elsevier.com/gej-ng/31/29/23/138/47/show/Products/notes/index.htt#001"
  links:
    doi: "http://www1.elsevier.com/gej-ng/31/29/23/138/47/show/Products/notes/index.htt#001"
  researchr: "https://researchr.org/publication/Sassone03"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "85"
  number: "1"
  pages: "1-2"
  kind: "article"
  key: "Sassone03"
- title: "Axiomatizing Petri Net Concatenable Processes"
  author:
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "1995"
  researchr: "https://researchr.org/publication/Sassone95"
  cites: 0
  citedby: 0
  pages: "414-423"
  booktitle: "Fundamentals of Computation Theory, 10th International Symposium, FCT  95, Dresden, Germany, August 22-25, 1995, Proceedings"
  editor:
  - name: "Horst Reichel"
    link: "https://researchr.org/alias/horst-reichel"
  volume: "965"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-60249-6"
  kind: "inproceedings"
  key: "Sassone95"
- title: "A Comparison of Petri Net Semantics under the Collective Token Philosophy"
  author:
  - name: "Roberto Bruni"
    link: "https://researchr.org/alias/roberto-bruni"
  - name: "José Meseguer"
    link: "https://researchr.org/alias/jos%C3%A9-meseguer"
  - name: "Ugo Montanari"
    link: "https://researchr.org/alias/ugo-montanari"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1538/15380225.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1538/15380225.htm"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/BruniMMS98"
  cites: 0
  citedby: 0
  pages: "225-244"
  booktitle: "Advances in Computing Science - ASIAN  98, 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998, Proceedings"
  editor:
  - name: "Jieh Hsiang"
    link: "https://researchr.org/alias/jieh-hsiang"
  - name: "Atsushi Ohori"
    link: "https://researchr.org/alias/atsushi-ohori"
  volume: "1538"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-65388-0"
  kind: "inproceedings"
  key: "BruniMMS98"
- title: "Introduction to special issue on concurrency and coordination: Selected work from the International Workshop ConCoord"
  author:
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "2004"
  doi: "http://dx.doi.org/10.1017/S0960129504004190"
  links:
    doi: "http://dx.doi.org/10.1017/S0960129504004190"
  researchr: "https://researchr.org/publication/Sassone04"
  cites: 0
  citedby: 0
  journal: "Mathematical Structures in Computer Science"
  volume: "14"
  number: "3"
  pages: "283"
  kind: "article"
  key: "Sassone04"
- title: "The inheritance anomaly: ten years after"
  author:
  - name: "Giuseppe Milicia"
    link: "https://researchr.org/alias/giuseppe-milicia"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/967900.968159"
  links:
    doi: "http://doi.acm.org/10.1145/967900.968159"
  researchr: "https://researchr.org/publication/MiliciaS04"
  cites: 0
  citedby: 0
  pages: "1267-1274"
  booktitle: "Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004"
  editor:
  - name: "Hisham Haddad"
    link: "https://researchr.org/alias/hisham-haddad"
  - name: "Andrea Omicini"
    link: "https://researchr.org/alias/andrea-omicini"
  - name: "Roger L. Wainwright"
    link: "https://researchr.org/alias/roger-l.-wainwright"
  - name: "Lorie M. Liebrock"
    link: "https://researchr.org/alias/lorie-m.-liebrock"
  publisher: "ACM"
  isbn: "1-58113-812-1"
  kind: "inproceedings"
  key: "MiliciaS04"
- title: "Typing and Subtyping Mobility in Boxed Ambients"
  author:
  - name: "Massimo Merro"
    link: "https://researchr.org/alias/massimo-merro"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2421/24210304.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2421/24210304.htm"
  tags:
  - "subtyping"
  researchr: "https://researchr.org/publication/MerroS02"
  cites: 0
  citedby: 0
  pages: "304-320"
  booktitle: "CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings"
  editor:
  - name: "Lubos Brim"
    link: "https://researchr.org/alias/lubos-brim"
  - name: "Petr Jancar"
    link: "https://researchr.org/alias/petr-jancar"
  - name: "Mojmír Kretínský"
    link: "https://researchr.org/alias/mojm%C3%ADr-kret%C3%ADnsk%C3%BD"
  - name: "Antonín Kucera"
    link: "https://researchr.org/alias/anton%C3%ADn-kucera"
  volume: "2421"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-44043-7"
  kind: "inproceedings"
  key: "MerroS02"
- title: "Typed polyadic pi-calculus in bigraphs"
  author:
  - name: "Mikkel Bundgaard"
    link: "https://researchr.org/alias/mikkel-bundgaard"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1140335.1140336"
  links:
    doi: "http://doi.acm.org/10.1145/1140335.1140336"
  researchr: "https://researchr.org/publication/BundgaardS06"
  cites: 0
  citedby: 0
  pages: "1-12"
  booktitle: "Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy"
  editor:
  - name: "Annalisa Bossi"
    link: "https://researchr.org/alias/annalisa-bossi"
  - name: "Michael J. Maher"
    link: "https://researchr.org/alias/michael-j.-maher"
  publisher: "ACM"
  isbn: "1-59593-388-3"
  kind: "inproceedings"
  key: "BundgaardS06"
- title: "A Congruence for Petri Nets"
  author:
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  - name: "Pawel Sobocinski"
    link: "https://researchr.org/alias/pawel-sobocinski"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.entcs.2005.02.008"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2005.02.008"
  researchr: "https://researchr.org/publication/SassoneS05"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "127"
  number: "2"
  pages: "107-120"
  kind: "article"
  key: "SassoneS05"
- title: "Towards a Formal Framework for Computational Trust"
  author:
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  - name: "Karl Krukow"
    link: "https://researchr.org/alias/karl-krukow"
  - name: "Mogens Nielsen"
    link: "https://researchr.org/alias/mogens-nielsen"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/978-3-540-74792-5_8"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-74792-5_8"
  researchr: "https://researchr.org/publication/SassoneKN06"
  cites: 0
  citedby: 0
  pages: "175-184"
  booktitle: "Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures"
  editor:
  - name: "Frank S. de Boer"
    link: "https://researchr.org/alias/frank-s.-de-boer"
  - name: "Marcello M. Bonsangue"
    link: "https://researchr.org/alias/marcello-m.-bonsangue"
  - name: "Susanne Graf"
    link: "https://researchr.org/alias/susanne-graf"
  - name: "Willem P. de Roever"
    link: "https://researchr.org/alias/willem-p.-de-roever"
  volume: "4709"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-74791-8"
  kind: "inproceedings"
  key: "SassoneKN06"
- title: "Properties of Distributed Timed-Arc Petri Nets"
  author:
  - name: "Mogens Nielsen"
    link: "https://researchr.org/alias/mogens-nielsen"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  - name: "Jirí Srba"
    link: "https://researchr.org/alias/jir%C3%AD-srba"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2245/22450280.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2245/22450280.htm"
  researchr: "https://researchr.org/publication/NielsenSS01"
  cites: 0
  citedby: 0
  pages: "280-291"
  booktitle: "FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings"
  editor:
  - name: "Ramesh Hariharan"
    link: "https://researchr.org/alias/ramesh-hariharan"
  - name: "Madhavan Mukund"
    link: "https://researchr.org/alias/madhavan-mukund"
  - name: "V. Vinay"
    link: "https://researchr.org/alias/v.-vinay"
  volume: "2245"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43002-4"
  kind: "inproceedings"
  key: "NielsenSS01"
- title: "Static BiLog: a Unifying Language for Spatial Structures"
  author:
  - name: "Giovanni Conforti"
    link: "https://researchr.org/alias/giovanni-conforti"
  - name: "Damiano Macedonio"
    link: "https://researchr.org/alias/damiano-macedonio"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "2007"
  doi: "http://iospress.metapress.com/content/p68513m44n5g5607/"
  links:
    doi: "http://iospress.metapress.com/content/p68513m44n5g5607/"
  researchr: "https://researchr.org/publication/ConfortiMS07"
  cites: 0
  citedby: 0
  journal: "Fundamenta Informaticae"
  volume: "80"
  number: "1-3"
  pages: "91-110"
  kind: "article"
  key: "ConfortiMS07"
- title: "Space-aware ambients and processes"
  author:
  - name: "Franco Barbanera"
    link: "https://researchr.org/alias/franco-barbanera"
  - name: "Michele Bugliesi"
    link: "https://researchr.org/alias/michele-bugliesi"
  - name: "Mariangiola Dezani-Ciancaglini"
    link: "https://researchr.org/alias/mariangiola-dezani-ciancaglini"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.tcs.2006.11.017"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2006.11.017"
  tags:
  - "context-aware"
  researchr: "https://researchr.org/publication/BarbaneraBDS07"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "373"
  number: "1-2"
  pages: "41-69"
  kind: "article"
  key: "BarbaneraBDS07"
- title: "Jeeg: temporal constraints for the synchronization of concurrent objects"
  author:
  - name: "Giuseppe Milicia"
    link: "https://researchr.org/alias/giuseppe-milicia"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "2005"
  doi: "http://dx.doi.org/10.1002/cpe.849"
  links:
    doi: "http://dx.doi.org/10.1002/cpe.849"
  tags:
  - "synchronization"
  - "meta-model"
  - "constraints"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/MiliciaS05"
  cites: 0
  citedby: 0
  journal: "Concurrency - Practice and Experience"
  volume: "17"
  number: "5-6"
  pages: "539-572"
  kind: "article"
  key: "MiliciaS05"
- title: "On the Model of Computation of Place/Transition Petri Nets"
  author:
  - name: "José Meseguer"
    link: "https://researchr.org/alias/jos%C3%A9-meseguer"
  - name: "Ugo Montanari"
    link: "https://researchr.org/alias/ugo-montanari"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "1994"
  researchr: "https://researchr.org/publication/MeseguerMS94"
  cites: 0
  citedby: 0
  pages: "16-38"
  booktitle: "Application and Theory of Petri Nets 1994, 15th International Conference, Zaragoza, Spain, June 20-24, 1994, Proceedings"
  editor:
  - name: "Robert Valette"
    link: "https://researchr.org/alias/robert-valette"
  volume: "815"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-58152-9"
  kind: "inproceedings"
  key: "MeseguerMS94"
- title: "Comparing Transition Systems with Independence and Asynchronous Transition Systems"
  author:
  - name: "Thomas T. Hildebrandt"
    link: "https://researchr.org/alias/thomas-t.-hildebrandt"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "1996"
  researchr: "https://researchr.org/publication/HildebrandtS96"
  cites: 0
  citedby: 0
  pages: "84-97"
  booktitle: "CONCUR  96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings"
  editor:
  - name: "Ugo Montanari"
    link: "https://researchr.org/alias/ugo-montanari"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  volume: "1119"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-61604-7"
  kind: "inproceedings"
  key: "HildebrandtS96"
- title: "Algebraic Models for Contextual Nets"
  author:
  - name: "Roberto Bruni"
    link: "https://researchr.org/alias/roberto-bruni"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1853/18530175.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1853/18530175.htm"
  tags:
  - "meta-model"
  - " algebra"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/BruniS00"
  cites: 0
  citedby: 0
  pages: "175-186"
  booktitle: "Automata, Languages and Programming, 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings"
  editor:
  - name: "Ugo Montanari"
    link: "https://researchr.org/alias/ugo-montanari"
  - name: "José D. P. Rolim"
    link: "https://researchr.org/alias/jos%C3%A9-d.-p.-rolim"
  - name: "Emo Welzl"
    link: "https://researchr.org/alias/emo-welzl"
  volume: "1853"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67715-1"
  kind: "inproceedings"
  key: "BruniS00"
- title: "An Axiomatization of the Algebra of Petri Net Concatenable Processes"
  author:
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "1996"
  doi: "http://dx.doi.org/10.1016/S0304-3975(96)80709-2"
  links:
    doi: "http://dx.doi.org/10.1016/S0304-3975(96)80709-2"
  tags:
  - "process algebra"
  - " algebra"
  researchr: "https://researchr.org/publication/Sassone96"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "170"
  number: "1-2"
  pages: "277-296"
  kind: "article"
  key: "Sassone96"
- title: "Observational congruences for dynamically reconfigurable tile systems"
  author:
  - name: "Roberto Bruni"
    link: "https://researchr.org/alias/roberto-bruni"
  - name: "Ugo Montanari"
    link: "https://researchr.org/alias/ugo-montanari"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.tcs.2004.10.044"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2004.10.044"
  researchr: "https://researchr.org/publication/BruniMS05"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "335"
  number: "2-3"
  pages: "331-372"
  kind: "article"
  key: "BruniMS05"
- title: "A framework for concrete reputation-systems with applications to history-based access control"
  author:
  - name: "Karl Krukow"
    link: "https://researchr.org/alias/karl-krukow"
  - name: "Mogens Nielsen"
    link: "https://researchr.org/alias/mogens-nielsen"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1102120.1102155"
  links:
    doi: "http://doi.acm.org/10.1145/1102120.1102155"
  tags:
  - "control systems"
  - "rule-based"
  - "application framework"
  - "reputation"
  - "history"
  - "access control"
  - "role-based access control"
  researchr: "https://researchr.org/publication/KrukowNS05"
  cites: 0
  citedby: 0
  pages: "260-269"
  booktitle: "Proceedings of the 12th ACM Conference on Computer and Communications Security, CCS 2005, Alexandria, VA, USA, November 7-11, 2005"
  editor:
  - name: "Vijay Atluri"
    link: "https://researchr.org/alias/vijay-atluri"
  - name: "Catherine Meadows"
    link: "https://researchr.org/alias/catherine-meadows"
  - name: "Ari Juels"
    link: "https://researchr.org/alias/ari-juels"
  publisher: "ACM"
  isbn: "1-59593-226-7"
  kind: "inproceedings"
  key: "KrukowNS05"
- title: "On the Category of Petri Net Computations"
  author:
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "1995"
  researchr: "https://researchr.org/publication/Sassone95%3A0"
  cites: 0
  citedby: 0
  pages: "334-348"
  booktitle: "TAPSOFT 95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings"
  editor:
  - name: "Peter D. Mosses"
    link: "https://pdmosses.github.io"
  - name: "Mogens Nielsen"
    link: "https://researchr.org/alias/mogens-nielsen"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  volume: "915"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-59293-8"
  kind: "inproceedings"
  key: "Sassone95:0"
- 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"
  year: "2005"
  tags:
  - "e-science"
  researchr: "https://researchr.org/publication/fossacs%3A2005"
  cites: 0
  citedby: 0
  booktitle: "Foundations of Software Science and Computational Structures, 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings"
  conference: "fossacs"
  editor:
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  volume: "3441"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-25388-2"
  kind: "proceedings"
  key: "fossacs:2005"
- title: "Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I"
  year: "2006"
  tags:
  - "programming languages"
  - "programming"
  researchr: "https://researchr.org/publication/icalp%3A2006-1"
  cites: 0
  citedby: 0
  booktitle: "Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I"
  conference: "icalp"
  editor:
  - name: "Michele Bugliesi"
    link: "https://researchr.org/alias/michele-bugliesi"
  - name: "Bart Preneel"
    link: "https://researchr.org/alias/bart-preneel"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  - name: "Ingo Wegener"
    link: "https://researchr.org/alias/ingo-wegener"
  volume: "4051"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-35904-4"
  kind: "proceedings"
  key: "icalp:2006-1"
- title: "Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II"
  year: "2006"
  tags:
  - "programming languages"
  - "programming"
  researchr: "https://researchr.org/publication/icalp%3A2006-2"
  cites: 0
  citedby: 0
  booktitle: "Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II"
  conference: "icalp"
  editor:
  - name: "Michele Bugliesi"
    link: "https://researchr.org/alias/michele-bugliesi"
  - name: "Bart Preneel"
    link: "https://researchr.org/alias/bart-preneel"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  - name: "Ingo Wegener"
    link: "https://researchr.org/alias/ingo-wegener"
  volume: "4052"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-35907-9"
  kind: "proceedings"
  key: "icalp:2006-2"
- title: "CONCUR  96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings"
  year: "1996"
  researchr: "https://researchr.org/publication/concur%3A1996"
  cites: 0
  citedby: 0
  booktitle: "CONCUR  96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings"
  conference: "concur"
  editor:
  - name: "Ugo Montanari"
    link: "https://researchr.org/alias/ugo-montanari"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  volume: "1119"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-61604-7"
  kind: "proceedings"
  key: "concur:1996"