@inproceedings{SassoneNW93,
  title = {Deterministic Behavioural Models for Concurrency},
  author = {Vladimiro Sassone and Mogens Nielsen and Glynn Winskel},
  year = {1993},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/SassoneNW93},
  cites = {0},
  citedby = {0},
  pages = {682-692},
  booktitle = {mfcs},
}

@article{BruniMMS99,
  title = {Functorial semantics for Petri nets under the individual token philosophy},
  author = {Roberto Bruni and José Meseguer and Ugo Montanari and Vladimiro Sassone},
  year = {1999},
  url = {http://www.elsevier.nl/locate/entcs/volume29.html},
  tags = {semantics},
  researchr = {https://researchr.org/publication/BruniMMS99},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {29},
  pages = {21},
}

@article{Sassone08,
  title = {Foundations of Software Science and Computational Structures: Selected papers from FOSSACS 2005},
  author = {Vladimiro Sassone},
  year = {2008},
  doi = {10.1016/j.tcs.2007.09.019},
  url = {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 = {TCS},
  volume = {390},
  number = {2-3},
  pages = {127-128},
}

@inproceedings{RathkeSS07,
  title = {Semantic Barbs and Biorthogonality},
  author = {Julian Rathke and Vladimiro Sassone and Pawel Sobocinski},
  year = {2007},
  doi = {10.1007/978-3-540-71389-0_22},
  url = {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 = {fossacs},
}

@inproceedings{LhoussaineS04,
  title = {A Dependently Typed Ambient Calculus},
  author = {Cédric Lhoussaine and Vladimiro Sassone},
  year = {2004},
  url = {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 = {ESOP},
}

@inproceedings{MeseguerMS92,
  title = {On the Semantics of Petri Nets},
  author = {José Meseguer and Ugo Montanari and Vladimiro Sassone},
  year = {1992},
  tags = {semantics},
  researchr = {https://researchr.org/publication/MeseguerMS92},
  cites = {0},
  citedby = {0},
  pages = {286-301},
  booktitle = {concur},
}

@article{SassoneS05:1,
  title = {Locating reaction with 2-categories},
  author = {Vladimiro Sassone and Pawel Sobocinski},
  year = {2005},
  doi = {10.1016/j.tcs.2004.10.025},
  url = {http://dx.doi.org/10.1016/j.tcs.2004.10.025},
  researchr = {https://researchr.org/publication/SassoneS05%3A1},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {333},
  number = {1-2},
  pages = {297-327},
}

@inproceedings{MiliciaS02,
  title = {Jeeg: a programming language for concurrent objects synchronization},
  author = {Giuseppe Milicia and Vladimiro Sassone},
  year = {2002},
  doi = {10.1145/583810.583834},
  url = {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 = {java},
}

@inproceedings{NielsenSW93,
  title = {Relationships Between Models of Concurrency},
  author = {Mogens Nielsen and Vladimiro Sassone and Glynn Winskel},
  year = {1993},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/NielsenSW93},
  cites = {0},
  citedby = {0},
  pages = {425-476},
  booktitle = {rex},
}

@inproceedings{BruniS01,
  title = {Two Algebraic Process Semantics for Contextual Nets},
  author = {Roberto Bruni and Vladimiro Sassone},
  year = {2001},
  url = {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 = {apn},
}

@article{Sassone04:0,
  title = {Preface},
  author = {Vladimiro Sassone},
  year = {2004},
  doi = {10.1016/j.tcs.2004.03.001},
  url = {http://dx.doi.org/10.1016/j.tcs.2004.03.001},
  researchr = {https://researchr.org/publication/Sassone04%3A0},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {322},
  number = {3},
  pages = {423-426},
}

@article{MontanariS01,
  title = {Preface},
  author = {Ugo Montanari and Vladimiro Sassone},
  year = {2001},
  url = {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 = {ENTCS},
  volume = {54},
  pages = {117},
}

@inproceedings{KlinSS05,
  title = {Labels from Reductions: Towards a General Theory},
  author = {Bartek Klin and Vladimiro Sassone and Pawel Sobocinski},
  year = {2005},
  doi = {10.1007/11548133_2},
  url = {http://dx.doi.org/10.1007/11548133_2},
  researchr = {https://researchr.org/publication/KlinSS05},
  cites = {0},
  citedby = {0},
  pages = {30-50},
  booktitle = {calco},
}

@article{ChadhaMS06:1,
  title = {A Hybrid Intuitionistic Logic: Semantics and Decidability},
  author = {Rohit Chadha and Damiano Macedonio and Vladimiro Sassone},
  year = {2006},
  doi = {10.1093/logcom/exi071},
  url = {http://dx.doi.org/10.1093/logcom/exi071},
  tags = {semantics, logic},
  researchr = {https://researchr.org/publication/ChadhaMS06%3A1},
  cites = {0},
  citedby = {0},
  journal = {logcom},
  volume = {16},
  number = {1},
  pages = {27-59},
}

@inproceedings{BugliesiCCFS02,
  title = {A Survey of Name-Passing Calculi and Crypto-Primitives},
  author = {Michele Bugliesi and Giuseppe Castagna and Silvia Crafa and Riccardo Focardi and Vladimiro Sassone},
  year = {2002},
  url = {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 = {fosad},
}

@inproceedings{CattaniS96,
  title = {Higher Dimensional Transition Systems},
  author = {Gian Luca Cattani and Vladimiro Sassone},
  year = {1996},
  researchr = {https://researchr.org/publication/CattaniS96},
  cites = {0},
  citedby = {0},
  pages = {55-62},
  booktitle = {lics},
}

@inproceedings{BraghinGS04,
  title = {A Distributed Calculus for Ro^le-Based Access Control},
  author = {Chiara Braghin and Daniele Gorla and Vladimiro Sassone},
  year = {2004},
  doi = {10.1109/CSFW.2004.1},
  url = {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 = {csfw},
}

@inproceedings{MeseguerMS97,
  title = {Representation Theorems for Petri Nets},
  author = {José Meseguer and Ugo Montanari and Vladimiro Sassone},
  year = {1997},
  url = {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 = {BIRTHDAY},
}

@inproceedings{CarboneNS03,
  title = {A Formal Model for Trust in Dynamic Networks},
  author = {Marco Carbone and Mogens Nielsen and Vladimiro Sassone},
  year = {2003},
  url = {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 = {SEFM},
}

@inproceedings{BuscemiS01,
  title = {High-Level Petri Nets as Type Theories in the Join Calculus},
  author = {Maria Grazia Buscemi and Vladimiro Sassone},
  year = {2001},
  url = {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 = {fossacs},
}

@inproceedings{ConfortiMS05:0,
  title = {Bigraphical Logics for XML},
  author = {Giovanni Conforti and Damiano Macedonio and Vladimiro Sassone},
  year = {2005},
  tags = {XML, XML Schema, logic},
  researchr = {https://researchr.org/publication/ConfortiMS05%3A0},
  cites = {0},
  citedby = {0},
  pages = {392-399},
  booktitle = {sebd},
}

@article{SassoneNW96,
  title = {Models for Concurrency: Towards a Classification},
  author = {Vladimiro Sassone and Mogens Nielsen and Glynn Winskel},
  year = {1996},
  doi = {10.1016/S0304-3975(96)80710-9},
  url = {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 = {TCS},
  volume = {170},
  number = {1-2},
  pages = {297-348},
}

@inproceedings{KlinS08,
  title = {Structural Operational Semantics for Stochastic Process Calculi},
  author = {Bartek Klin and Vladimiro Sassone},
  year = {2008},
  doi = {10.1007/978-3-540-78499-9_30},
  url = {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 = {fossacs},
}

@article{Sassone98,
  title = {An Axiomatization of the Category of Petri Net Computations},
  author = {Vladimiro Sassone},
  year = {1998},
  researchr = {https://researchr.org/publication/Sassone98},
  cites = {0},
  citedby = {0},
  journal = {mscs},
  volume = {8},
  number = {2},
  pages = {117-151},
}

@inproceedings{ConfortiMS05,
  title = {Spatial Logics for Bigraphs},
  author = {Giovanni Conforti and Damiano Macedonio and Vladimiro Sassone},
  year = {2005},
  doi = {10.1007/11523468_62},
  url = {http://dx.doi.org/10.1007/11523468_62},
  tags = {logic},
  researchr = {https://researchr.org/publication/ConfortiMS05},
  cites = {0},
  citedby = {0},
  pages = {766-778},
  booktitle = {icalp},
}

@article{BraghinGS06,
  title = {Role-based access control for a distributed calculus},
  author = {Chiara Braghin and Daniele Gorla and Vladimiro Sassone},
  year = {2006},
  url = {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 = {jcs},
  volume = {14},
  number = {2},
  pages = {113-155},
}

@inproceedings{MeglioS93,
  title = {A Unification-Free Introduction to Logic Programming},
  author = {R. Di Meglio and Vladimiro Sassone},
  year = {1993},
  tags = {logic programming, programming, logic},
  researchr = {https://researchr.org/publication/MeglioS93},
  cites = {0},
  citedby = {0},
  pages = {21-38},
  booktitle = {agp},
}

@inproceedings{GorlaHS06,
  title = {Inferring dynamic credentials for rôle-based trust management},
  author = {Daniele Gorla and Matthew Hennessy and Vladimiro Sassone},
  year = {2006},
  doi = {10.1145/1140335.1140361},
  url = {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 = {ppdp},
}

@inproceedings{NielsenPS95,
  title = {Characterizing Behavioural Congruences for Petri Nets},
  author = {Mogens Nielsen and Lutz Priese and Vladimiro Sassone},
  year = {1995},
  researchr = {https://researchr.org/publication/NielsenPS95},
  cites = {0},
  citedby = {0},
  pages = {175-189},
  booktitle = {concur},
}

@article{MeseguerMS97:0,
  title = {On the Semantics of Place/Transition Petri Nets},
  author = {José Meseguer and Ugo Montanari and Vladimiro Sassone},
  year = {1997},
  tags = {semantics},
  researchr = {https://researchr.org/publication/MeseguerMS97%3A0},
  cites = {0},
  citedby = {0},
  journal = {mscs},
  volume = {7},
  number = {4},
  pages = {359-397},
}

@article{MontanariS92,
  title = {Dynamic congruence vs. progressing bisimulation for CCS},
  author = {Ugo Montanari and Vladimiro Sassone},
  year = {1992},
  researchr = {https://researchr.org/publication/MontanariS92},
  cites = {0},
  citedby = {0},
  journal = {FUIN},
  volume = {16},
  number = {1},
  pages = {171-199},
}

@article{SannellaS07,
  title = {Semantic and logical foundations of global computing: Papers from the EU-FET global computing initiative (2001-2005)},
  author = {Donald Sannella and Vladimiro Sassone},
  year = {2007},
  doi = {10.1016/j.tcs.2007.09.017},
  url = {http://dx.doi.org/10.1016/j.tcs.2007.09.017},
  researchr = {https://researchr.org/publication/SannellaS07},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {389},
  number = {3},
  pages = {337-340},
}

@inproceedings{BarbaneraBDS03,
  title = {A Calculus of Bounded Capacities},
  author = {Franco Barbanera and Michele Bugliesi and Mariangiola Dezani-Ciancaglini and Vladimiro Sassone},
  year = {2003},
  url = {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 = {asian},
}

@article{SassoneS03,
  title = {Deriving Bisimulation Congruences using 2-categories},
  author = {Vladimiro Sassone and Pawel Sobocinski},
  year = {2003},
  researchr = {https://researchr.org/publication/SassoneS03},
  cites = {0},
  citedby = {0},
  journal = {njc},
  volume = {10},
  number = {2},
  pages = {163},
}

@article{BugliesiCMS05,
  title = {Communication and mobility control in boxed ambients},
  author = {Michele Bugliesi and Silvia Crafa and Massimo Merro and Vladimiro Sassone},
  year = {2005},
  doi = {10.1016/j.ic.2005.06.002},
  url = {http://dx.doi.org/10.1016/j.ic.2005.06.002},
  researchr = {https://researchr.org/publication/BugliesiCMS05},
  cites = {0},
  citedby = {0},
  journal = {iandc},
  volume = {202},
  number = {1},
  pages = {39-86},
}

@article{BruniMMS01,
  title = {Functorial Models for Petri Nets},
  author = {Roberto Bruni and José Meseguer and Ugo Montanari and Vladimiro Sassone},
  year = {2001},
  doi = {10.1006/inco.2001.3050},
  url = {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 = {iandc},
  volume = {170},
  number = {2},
  pages = {207-236},
}

@inproceedings{MontanariS91,
  title = {CCS Dynamic Bisimulation is Progressing},
  author = {Ugo Montanari and Vladimiro Sassone},
  year = {1991},
  researchr = {https://researchr.org/publication/MontanariS91},
  cites = {0},
  citedby = {0},
  pages = {346-356},
  booktitle = {mfcs},
}

@inproceedings{SassoneS03:0,
  title = {Deriving Bisimulation Congruences: 2-Categories Vs Precategories},
  author = {Vladimiro Sassone and Pawel Sobocinski},
  year = {2003},
  url = {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 = {fossacs},
}

@inproceedings{BruniMS00,
  title = {Open Ended Systems, Dynamic Bisimulation and Tile Logic},
  author = {Roberto Bruni and Ugo Montanari and Vladimiro Sassone},
  year = {2000},
  url = {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 = {ifipTCS},
}

@article{KrukowNS08,
  title = {A logical framework for history-based access control and reputation systems},
  author = {Karl Krukow and Mogens Nielsen and Vladimiro Sassone},
  year = {2008},
  url = {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 = {jcs},
  volume = {16},
  number = {1},
  pages = {63-101},
}

@inproceedings{SassoneNW93:0,
  title = {A Classification of Models for Concurrency},
  author = {Vladimiro Sassone and Mogens Nielsen and 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},
}

@inproceedings{Sassone93,
  title = {A Note on Logic Programming Fixed-Point Semantics},
  author = {Vladimiro Sassone},
  year = {1993},
  tags = {semantics, logic programming, programming, logic},
  researchr = {https://researchr.org/publication/Sassone93},
  cites = {0},
  citedby = {0},
  pages = {649-662},
  booktitle = {agp},
}

@inproceedings{BruniMMS03,
  title = {Algebraic Theories for Contextual Pre-nets},
  author = {Roberto Bruni and José Meseguer and Ugo Montanari and Vladimiro Sassone},
  year = {2003},
  url = {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 = {ictcs},
}

@article{GorlaHS05:0,
  title = {Security Policies as Membranes in Systems for Global Computing},
  author = {Daniele Gorla and Matthew Hennessy and Vladimiro Sassone},
  year = {2005},
  doi = {10.2168/LMCS-1(3:2)2005},
  url = {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 = {lmcs},
  volume = {1},
  number = {3},
}

@inproceedings{BugliesiCPS03,
  title = {Secrecy in Untrusted Networks},
  author = {Michele Bugliesi and Silvia Crafa and Amela Prelic and Vladimiro Sassone},
  year = {2003},
  url = {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 = {icalp},
}

@inproceedings{NielsenSS01:0,
  title = {Towards a Notion of Distributed Time for Petri Nets},
  author = {Mogens Nielsen and Vladimiro Sassone and Jirí Srba},
  year = {2001},
  url = {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 = {apn},
}

@inproceedings{SassoneS05:0,
  title = {Reactive Systems over Cospans},
  author = {Vladimiro Sassone and Pawel Sobocinski},
  year = {2005},
  doi = {10.1109/LICS.2005.40},
  url = {http://dx.doi.org/10.1109/LICS.2005.40},
  researchr = {https://researchr.org/publication/SassoneS05%3A0},
  cites = {0},
  citedby = {0},
  pages = {311-320},
  booktitle = {lics},
}

@article{NielsenKS07,
  title = {A Bayesian Model for Event-based Trust},
  author = {Mogens Nielsen and Karl Krukow and Vladimiro Sassone},
  year = {2007},
  doi = {10.1016/j.entcs.2007.02.017},
  url = {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 = {ENTCS},
  volume = {172},
  pages = {499-521},
}

@inproceedings{CarboneNS04,
  title = {A Calculus for Trust Management},
  author = {Marco Carbone and Mogens Nielsen and Vladimiro Sassone},
  year = {2004},
  url = {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},
}

@article{Sassone02,
  title = {Preface - F-WAN: Foundations of Wide Area Network Computing},
  author = {Vladimiro Sassone},
  year = {2002},
  url = {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 = {ENTCS},
  volume = {66},
  number = {3},
  pages = {185-186},
}

@article{MiliciaS03,
  title = {Temporal constraints for concurrent object synchronisation},
  author = {Giuseppe Milicia and Vladimiro Sassone},
  year = {2003},
  url = {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 = {ENTCS},
  volume = {82},
  number = {7},
  pages = {30-32},
}

@inproceedings{SouilahFS09,
  title = {A Formal Model of Provenance in Distributed Systems},
  author = {Issam Souilah and Adrian Francalanza and Vladimiro Sassone},
  year = {2009},
  url = {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 = {FAST},
}

@inproceedings{BruniS08:0,
  title = {Models of Computation: A Tribute to Ugo Montanari s Vision},
  author = {Roberto Bruni and Vladimiro Sassone},
  year = {2008},
  doi = {10.1007/978-3-540-68679-8_31},
  url = {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 = {birthday},
}

@inproceedings{GodskesenHS02,
  title = {A Calculus of Mobile Resources},
  author = {Jens Chr. Godskesen and Thomas T. Hildebrandt and Vladimiro Sassone},
  year = {2002},
  url = {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},
}

@article{MeseguerMS96,
  title = {Process versus Unfolding Semantics for Place/Transition Petri Nets},
  author = {José Meseguer and Ugo Montanari and Vladimiro Sassone},
  year = {1996},
  doi = {10.1016/0304-3975(95)00121-2},
  url = {http://dx.doi.org/10.1016/0304-3975(95)00121-2},
  tags = {semantics},
  researchr = {https://researchr.org/publication/MeseguerMS96},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {153},
  number = {1&2},
  pages = {171-210},
}

@inproceedings{BugliesiCMS02,
  title = {Communication Interference in Mobile Boxed Ambients},
  author = {Michele Bugliesi and Silvia Crafa and Massimo Merro and Vladimiro Sassone},
  year = {2002},
  url = {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 = {fsttcs},
}

@article{Sassone00,
  title = {On the Algebraic Structure of Petri Nets},
  author = {Vladimiro Sassone},
  year = {2000},
  tags = { algebra},
  researchr = {https://researchr.org/publication/Sassone00},
  cites = {0},
  citedby = {0},
  journal = {eatcs},
  volume = {72},
  pages = {133-148},
}

@inproceedings{NielsenS96,
  title = {Petri Nets and Other Models of Concurrency},
  author = {Mogens Nielsen and Vladimiro Sassone},
  year = {1996},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/NielsenS96},
  cites = {0},
  citedby = {0},
  pages = {587-642},
  booktitle = {ac},
}

@article{BarbaneraDSS01,
  title = {A Type Inference Algorithm for Secure Ambients},
  author = {Franco Barbanera and Mariangiola Dezani-Ciancaglini and Ivano Salvo and Vladimiro Sassone},
  year = {2001},
  url = {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 = {ENTCS},
  volume = {62},
  pages = {83-101},
}

@article{SassoneS02,
  title = {Deriving Bisimulation Congruences: A 2-categorical Approach},
  author = {Vladimiro Sassone and Pawel Sobocinski},
  year = {2002},
  url = {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 = {ENTCS},
  volume = {68},
  number = {2},
  pages = {105-123},
}

@article{Sassone03,
  title = {Preface},
  author = {Vladimiro Sassone},
  year = {2003},
  url = {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 = {ENTCS},
  volume = {85},
  number = {1},
  pages = {1-2},
}

@inproceedings{Sassone95,
  title = {Axiomatizing Petri Net Concatenable Processes},
  author = {Vladimiro Sassone},
  year = {1995},
  researchr = {https://researchr.org/publication/Sassone95},
  cites = {0},
  citedby = {0},
  pages = {414-423},
  booktitle = {fct},
}

@inproceedings{BruniMMS98,
  title = {A Comparison of Petri Net Semantics under the Collective Token Philosophy},
  author = {Roberto Bruni and José Meseguer and Ugo Montanari and Vladimiro Sassone},
  year = {1998},
  url = {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 = {asian},
}

@article{Sassone04,
  title = {Introduction to special issue on concurrency and coordination: Selected work from the International Workshop ConCoord},
  author = {Vladimiro Sassone},
  year = {2004},
  doi = {10.1017/S0960129504004190},
  url = {http://dx.doi.org/10.1017/S0960129504004190},
  researchr = {https://researchr.org/publication/Sassone04},
  cites = {0},
  citedby = {0},
  journal = {mscs},
  volume = {14},
  number = {3},
  pages = {283},
}

@inproceedings{MiliciaS04,
  title = {The inheritance anomaly: ten years after},
  author = {Giuseppe Milicia and Vladimiro Sassone},
  year = {2004},
  doi = {10.1145/967900.968159},
  url = {http://doi.acm.org/10.1145/967900.968159},
  researchr = {https://researchr.org/publication/MiliciaS04},
  cites = {0},
  citedby = {0},
  pages = {1267-1274},
  booktitle = {SAC},
}

@inproceedings{MerroS02,
  title = {Typing and Subtyping Mobility in Boxed Ambients},
  author = {Massimo Merro and Vladimiro Sassone},
  year = {2002},
  url = {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},
}

@inproceedings{BundgaardS06,
  title = {Typed polyadic pi-calculus in bigraphs},
  author = {Mikkel Bundgaard and Vladimiro Sassone},
  year = {2006},
  doi = {10.1145/1140335.1140336},
  url = {http://doi.acm.org/10.1145/1140335.1140336},
  researchr = {https://researchr.org/publication/BundgaardS06},
  cites = {0},
  citedby = {0},
  pages = {1-12},
  booktitle = {ppdp},
}

@article{SassoneS05,
  title = {A Congruence for Petri Nets},
  author = {Vladimiro Sassone and Pawel Sobocinski},
  year = {2005},
  doi = {10.1016/j.entcs.2005.02.008},
  url = {http://dx.doi.org/10.1016/j.entcs.2005.02.008},
  researchr = {https://researchr.org/publication/SassoneS05},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {127},
  number = {2},
  pages = {107-120},
}

@inproceedings{SassoneKN06,
  title = {Towards a Formal Framework for Computational Trust},
  author = {Vladimiro Sassone and Karl Krukow and Mogens Nielsen},
  year = {2006},
  doi = {10.1007/978-3-540-74792-5_8},
  url = {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 = {FMCO},
}

@inproceedings{NielsenSS01,
  title = {Properties of Distributed Timed-Arc Petri Nets},
  author = {Mogens Nielsen and Vladimiro Sassone and Jirí Srba},
  year = {2001},
  url = {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 = {fsttcs},
}

@article{ConfortiMS07,
  title = {Static BiLog: a Unifying Language for Spatial Structures},
  author = {Giovanni Conforti and Damiano Macedonio and Vladimiro Sassone},
  year = {2007},
  url = {http://iospress.metapress.com/content/p68513m44n5g5607/},
  researchr = {https://researchr.org/publication/ConfortiMS07},
  cites = {0},
  citedby = {0},
  journal = {FUIN},
  volume = {80},
  number = {1-3},
  pages = {91-110},
}

@article{BarbaneraBDS07,
  title = {Space-aware ambients and processes},
  author = {Franco Barbanera and Michele Bugliesi and Mariangiola Dezani-Ciancaglini and Vladimiro Sassone},
  year = {2007},
  doi = {10.1016/j.tcs.2006.11.017},
  url = {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 = {TCS},
  volume = {373},
  number = {1-2},
  pages = {41-69},
}

@article{MiliciaS05,
  title = {Jeeg: temporal constraints for the synchronization of concurrent objects},
  author = {Giuseppe Milicia and Vladimiro Sassone},
  year = {2005},
  doi = {10.1002/cpe.849},
  url = {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},
  volume = {17},
  number = {5-6},
  pages = {539-572},
}

@inproceedings{MeseguerMS94,
  title = {On the Model of Computation of Place/Transition Petri Nets},
  author = {José Meseguer and Ugo Montanari and Vladimiro Sassone},
  year = {1994},
  researchr = {https://researchr.org/publication/MeseguerMS94},
  cites = {0},
  citedby = {0},
  pages = {16-38},
  booktitle = {apn},
}

@inproceedings{HildebrandtS96,
  title = {Comparing Transition Systems with Independence and Asynchronous Transition Systems},
  author = {Thomas T. Hildebrandt and Vladimiro Sassone},
  year = {1996},
  researchr = {https://researchr.org/publication/HildebrandtS96},
  cites = {0},
  citedby = {0},
  pages = {84-97},
  booktitle = {concur},
}

@inproceedings{BruniS00,
  title = {Algebraic Models for Contextual Nets},
  author = {Roberto Bruni and Vladimiro Sassone},
  year = {2000},
  url = {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 = {icalp},
}

@article{Sassone96,
  title = {An Axiomatization of the Algebra of Petri Net Concatenable Processes},
  author = {Vladimiro Sassone},
  year = {1996},
  doi = {10.1016/S0304-3975(96)80709-2},
  url = {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 = {TCS},
  volume = {170},
  number = {1-2},
  pages = {277-296},
}

@article{BruniMS05,
  title = {Observational congruences for dynamically reconfigurable tile systems},
  author = {Roberto Bruni and Ugo Montanari and Vladimiro Sassone},
  year = {2005},
  doi = {10.1016/j.tcs.2004.10.044},
  url = {http://dx.doi.org/10.1016/j.tcs.2004.10.044},
  researchr = {https://researchr.org/publication/BruniMS05},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {335},
  number = {2-3},
  pages = {331-372},
}

@inproceedings{KrukowNS05,
  title = {A framework for concrete reputation-systems with applications to history-based access control},
  author = {Karl Krukow and Mogens Nielsen and Vladimiro Sassone},
  year = {2005},
  doi = {10.1145/1102120.1102155},
  url = {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 = {ccs},
}

@inproceedings{Sassone95:0,
  title = {On the Category of Petri Net Computations},
  author = {Vladimiro Sassone},
  year = {1995},
  researchr = {https://researchr.org/publication/Sassone95%3A0},
  cites = {0},
  citedby = {0},
  pages = {334-348},
  booktitle = {tapsoft},
}
@proceedings{fossacs:2005,
  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 = {Vladimiro Sassone},
  volume = {3441},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-25388-2},
}

@proceedings{icalp:2006-1,
  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 = {Michele Bugliesi and Bart Preneel and Vladimiro Sassone and Ingo Wegener},
  volume = {4051},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-35904-4},
}

@proceedings{icalp:2006-2,
  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 = {Michele Bugliesi and Bart Preneel and Vladimiro Sassone and Ingo Wegener},
  volume = {4052},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-35907-9},
}

@proceedings{concur:1996,
  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 = {Ugo Montanari and Vladimiro Sassone},
  volume = {1119},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61604-7},
}