Vladimiro Sassone

According to our database, Vladimiro Sassone authored at least 130 papers between 1991 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2022

CIST: A Serious Game for Hardware Supply Chain.

Stephen Hart, Basel Halak, Vladimiro Sassone

Comput. Secur., 2022

A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design.

Robert Thorburn, Vladimiro Sassone, Asieh Salehi Fathabadi, Leonardo Aniello, Michael J. Butler, Dana Dghaym, Thai Son Hoang

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

Evaluating Blockchain Systems: A Comprehensive Study of Security and Dependability Attributes.

Stefano De Angelis, Gilberto Zanfino, Leonardo Aniello, Federico Lombardi, Vladimiro Sassone

Proceedings of the 4th Workshop on Distributed Ledger Technology co-located with the Italian Conference on Cybersecurity 2022 (ITASEC 2022), 2022

2021

MOTENS: A Pedagogical Design Model for Serious Cyber Games.

Stephen Hart, Basel Halak, Vladimiro Sassone

CoRR, 2021

Connecting Regulatory Requirements to Audit Outcomes: A Model-driven Approach to Auditable Compliance.

Robert Thorburn, Federica Paci, Vladimiro Sassone, Sophie Stalla-Bourdillon

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

Verifying System-Level Security of a Smart Ballot Box.

Dana Dghaym, Thai Son Hoang, Michael J. Butler, Runshan Hu, Leonardo Aniello, Vladimiro Sassone

Proceedings of the Rigorous State-Based Methods - 8th International Conference, 2021

2020

A Methodology to Select Topology Generators for Ad Hoc Mesh Network Simulations.

Michael O'Sullivan, Leonardo Aniello, Vladimiro Sassone

J. Commun., 2020

Decentralised provenance for healthcare data.

Andrea Margheri, Massimiliano Masi, Abdallah Miladi, Vladimiro Sassone, Jason Rosenzweig

Int. J. Medical Informatics, 2020

EATCS Distinguished Dissertation Award 2020 - Call for Nominations.

Susanne Albers, Nikhil Bansal, Elvira Mayordomo, Dale Miller, Jaroslav Nesetril, Damian Niwinski, David Peleg, Vladimiro Sassone, Alexandra Silva

Bull. EATCS, 2020

Riskio: A Serious Game for Cyber Security Awareness and Education.

Stephen Hart, Andrea Margheri, Federica Paci, Vladimiro Sassone

Comput. Secur., 2020

2019

A methodology for assuring the safety and security of critical infrastructure based on STPA and Event-B.

Giles Howard, Michael J. Butler, John Colley, Vladimiro Sassone

Int. J. Crit. Comput. Based Syst., 2019

EATCS Distinguished Dissertation Award 2019 - Call for Nominations.

David Peleg, Susanne Albers, Elvira Mayordomo, Dale Miller, Jaroslav Nesetril, Damian Niwinski, Vladimiro Sassone

Bull. EATCS, 2019

A Methodology to Select Topology Generators for WANET Simulations (Extended Version).

Michael O'Sullivan, Leonardo Aniello, Vladimiro Sassone

CoRR, 2019

2018

Differentially Private Data Sharing in a Cloud Federation with Blockchain.

Mu Yang, Andrea Margheri, Runshan Hu, Vladimiro Sassone

IEEE Cloud Comput., 2018

Cross-Cloud Management of Sensitive Data via Blockchain: a Payslip Calculation Use Case.

Luca Nicoletti, Andrea Margheri, Federico Lombardi, Vladimiro Sassone, Francesco Paolo Schiavo

Proceedings of the Second Italian Conference on Cyber Security, Milan, Italy, February 6th - to, 2018

PBFT vs Proof-of-Authority: Applying the CAP Theorem to Permissioned Blockchain.

Stefano De Angelis, Leonardo Aniello, Roberto Baldoni, Federico Lombardi, Andrea Margheri, Vladimiro Sassone

Proceedings of the Second Italian Conference on Cyber Security, Milan, Italy, February 6th - to, 2018

Towards Adaptive Access Control.

Luciano Argento, Andrea Margheri, Federica Paci, Vladimiro Sassone, Nicola Zannone

Proceedings of the Data and Applications Security and Privacy XXXII, 2018

2017

Quantifying leakage in the presence of unreliable sources of information.

Sardaouna Hamadou, Catuscia Palamidessi, Vladimiro Sassone

J. Comput. Syst. Sci., 2017

Blockchain-Based Database to Ensure Data Integrity in Cloud Computing Environments.

Edoardo Gaetani, Leonardo Aniello, Roberto Baldoni, Federico Lombardi, Andrea Margheri, Vladimiro Sassone

Proceedings of the First Italian Conference on Cybersecurity (ITASEC17), 2017

Decentralised Runtime Monitoring for Access Control Systems in Cloud Federations.

Md. Sadek Ferdous, Andrea Margheri, Federica Paci, Mu Yang, Vladimiro Sassone

Proceedings of the 37th IEEE International Conference on Distributed Computing Systems, 2017

A Distributed Access Control System for Cloud Federations.

Shorouq Alansari, Federica Paci, Vladimiro Sassone

Proceedings of the 37th IEEE International Conference on Distributed Computing Systems, 2017

Formal Analysis of Safety and Security Requirements of Critical Systems Supported by an Extended STPA Methodology.

Giles Howard, Michael J. Butler, John Colley, Vladimiro Sassone

Proceedings of the 2017 IEEE European Symposium on Security and Privacy Workshops, 2017

A Prototype Evaluation of a Tamper-Resistant High Performance Blockchain-Based Transaction Log for a Distributed Database.

Leonardo Aniello, Roberto Baldoni, Edoardo Gaetani, Federico Lombardi, Andrea Margheri, Vladimiro Sassone

Proceedings of the 13th European Dependable Computing Conference, 2017

A Distributed Infrastructure for Democratic Cloud Federations.

Andrea Margheri, Md. Sadek Ferdous, Mu Yang, Vladimiro Sassone

Proceedings of the 2017 IEEE 10th International Conference on Cloud Computing (CLOUD), 2017

Privacy-Preserving Access Control in Cloud Federations.

Shorouq Alansari, Federica Paci, Andrea Margheri, Vladimiro Sassone

Proceedings of the 2017 IEEE 10th International Conference on Cloud Computing (CLOUD), 2017

2016

A descriptive type foundation for RDF Schema.

Gabriel Ciobanu, Ross Horne, Vladimiro Sassone

J. Log. Algebraic Methods Program., 2016

FaaS: Federation-as-a-Service.

Francesco Paolo Schiavo, Vladimiro Sassone, Luca Nicoletti, Andrea Margheri

CoRR, 2016

2015

An analysis of trust in anonymity networks in the presence of adaptive attackers.

Sardaouna Hamadou, Vladimiro Sassone, Mu Yang

Math. Struct. Comput. Sci., 2015

Minimal type inference for Linked Data consumers.

Gabriel Ciobanu, Ross Horne, Vladimiro Sassone

J. Log. Algebraic Methods Program., 2015

EATCS Award 2015.

Fedor V. Fomin, Kim Larsen, Vladimiro Sassone

Bull. EATCS, 2015

Obscuring Provenance Confidential Information via Graph Transformation.

Jamal Ali Hussein, Luc Moreau, Vladimiro Sassone

Proceedings of the Trust Management IX - 9th IFIP WG 11.11 International Conference, 2015

2014

A verified algebra for read-write Linked Data.

Ross Horne, Vladimiro Sassone

Sci. Comput. Program., 2014

The EATCS Award 2015 - Call for Nominations.

Vladimiro Sassone

Bull. EATCS, 2014

ETAPS Award Laudatio for Kohei Honda.

Vladimiro Sassone

Bull. EATCS, 2014

Descriptive Types for Linked Data Resources.

Gabriel Ciobanu, Ross Horne, Vladimiro Sassone

Proceedings of the Perspectives of System Informatics, 2014

2013

Structural operational semantics for stochastic and weighted transition systems.

Bartek Klin, Vladimiro Sassone

Inf. Comput., 2013

Local Type Checking for Linked Data Consumers.

Gabriel Ciobanu, Ross Horne, Vladimiro Sassone

Proceedings of the Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems, 2013

An HMM-Based Reputation Model.

Ehab ElSalamouny, Vladimiro Sassone

Proceedings of the Advances in Security of Information and Communication Networks, 2013

2012

Tracing where and who provenance in Linked Data: A calculus.

Mariangiola Dezani-Ciancaglini, Ross Horne, Vladimiro Sassone

Theor. Comput. Sci., 2012

A Game-Theoretic Analysis of Cooperation in Anonymity Networks.

Mu Yang, Vladimiro Sassone, Sardaouna Hamadou

Proceedings of the Principles of Security and Trust - First International Conference, 2012

2011

A Verified Algebra for Linked Data

Ross Horne, Vladimiro Sassone

Proceedings of the Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2011

Permission-Based Separation Logic for Message-Passing Concurrency

Adrian Francalanza, Julian Rathke, Vladimiro Sassone

Log. Methods Comput. Sci., 2011

Minimising Anonymity Loss in Anonymity Networks under DoS Attacks.

Mu Yang, Vladimiro Sassone

Proceedings of the Information and Communications Security - 13th International Conference, 2011

Operational Semantics for SPARQL Update.

Ross Horne, Vladimiro Sassone, Nicholas Gibbins

Proceedings of the Semantic Web - Joint International Semantic Technology Conference, 2011

2010

Trust in Crowds: Probabilistic Behaviour in Anonymity Protocols.

Vladimiro Sassone, Ehab ElSalamouny, Sardaouna Hamadou

Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

Reconciling Belief and Vulnerability in Information Flow.

Sardaouna Hamadou, Vladimiro Sassone, Catuscia Palamidessi

Proceedings of the 31st IEEE Symposium on Security and Privacy, 2010

Trust in Anonymity Networks.

Vladimiro Sassone, Sardaouna Hamadou, Mu Yang

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2009

An analysis of the exponential decay principle in probabilistic trust models.

Ehab ElSalamouny, Karl Tikjøb Krukow, Vladimiro Sassone

Theor. Comput. Sci., 2009

Probable Innocence in the Presence of Independent Knowledge.

Sardaouna Hamadou, Catuscia Palamidessi, Vladimiro Sassone, Ehab ElSalamouny

Proceedings of the Formal Aspects in Security and Trust, 6th International Workshop, 2009

HMM-Based Trust Model.

Ehab ElSalamouny, Vladimiro Sassone, Mogens Nielsen

Proceedings of the Formal Aspects in Security and Trust, 6th International Workshop, 2009

A Formal Model of Provenance in Distributed Systems.

Issam Souilah, Adrian Francalanza, Vladimiro Sassone

Proceedings of the First Workshop on the Theory and Practice of Provenance, 2009

2008

Foundations of Software Science and Computational Structures: Selected papers from FOSSACS 2005.

Vladimiro Sassone

Theor. Comput. Sci., 2008

A logical framework for history-based access control and reputation systems.

Karl Krukow, Mogens Nielsen, Vladimiro Sassone

J. Comput. Secur., 2008

Structural Operational Semantics for Stochastic Process Calculi.

Bartek Klin, Vladimiro Sassone

Proceedings of the Foundations of Software Science and Computational Structures, 2008

Models of Computation: A Tribute to Ugo Montanari's Vision.

Roberto Bruni, Vladimiro Sassone

Proceedings of the Concurrency, 2008

2007

Semantic and logical foundations of global computing: Papers from the EU-FET global computing initiative (2001-2005).

Donald Sannella, Vladimiro Sassone

Theor. Comput. Sci., 2007

Space-aware ambients and processes.

Franco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone

Theor. Comput. Sci., 2007

Static BiLog: a Unifying Language for Spatial Structures.

Giovanni Conforti, Damiano Macedonio, Vladimiro Sassone

Fundam. Informaticae, 2007

A Bayesian Model for Event-based Trust.

Mogens Nielsen, Karl Krukow, Vladimiro Sassone

Proceedings of the Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, 2007

Semantic Barbs and Biorthogonality.

Julian Rathke, Vladimiro Sassone, Pawel Sobocinski

Proceedings of the Foundations of Software Science and Computational Structures, 2007

2006

A Hybrid Intuitionistic Logic: Semantics and Decidability.

Rohit Chadha, Damiano Macedonio, Vladimiro Sassone

J. Log. Comput., 2006

Role-based access control for a distributed calculus.

Chiara Braghin, Daniele Gorla, Vladimiro Sassone

J. Comput. Secur., 2006

Inferring dynamic credentials for rôle-based trust management.

Daniele Gorla, Matthew Hennessy, Vladimiro Sassone

Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2006

Typed polyadic pi-calculus in bigraphs.

Mikkel Bundgaard, Vladimiro Sassone

Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2006

Towards a Formal Framework for Computational Trust.

Vladimiro Sassone, Karl Krukow, Mogens Nielsen

Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006

2005

Locating reaction with 2-categories.

Vladimiro Sassone, Pawel Sobocinski

Theor. Comput. Sci., 2005

Observational congruences for dynamically reconfigurable tile systems.

Roberto Bruni, Ugo Montanari, Vladimiro Sassone

Theor. Comput. Sci., 2005

Communication and mobility control in boxed ambients.

Michele Bugliesi, Silvia Crafa, Massimo Merro, Vladimiro Sassone

Inf. Comput., 2005

Jeeg: temporal constraints for the synchronization of concurrent objects.

Giuseppe Milicia, Vladimiro Sassone

Concurr. Pract. Exp., 2005

Bigraphical Logics for XML.

Giovanni Conforti, Damiano Macedonio, Vladimiro Sassone

Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, 2005

Reactive Systems over Cospans.

Vladimiro Sassone, Pawel Sobocinski

Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005

Spatial Logics for Bigraphs.

Giovanni Conforti, Damiano Macedonio, Vladimiro Sassone

Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005

A framework for concrete reputation-systems with applications to history-based access control.

Karl Krukow, Mogens Nielsen, Vladimiro Sassone

Proceedings of the 12th ACM Conference on Computer and Communications Security, 2005

Labels from Reductions: Towards a General Theory.

Bartek Klin, Vladimiro Sassone, Pawel Sobocinski

Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005

2004

Introduction to special issue on concurrency and coordination: Selected work from the International Workshop ConCoord.

Vladimiro Sassone

Math. Struct. Comput. Sci., 2004

A Congruence for Petri Nets.

Vladimiro Sassone, Pawel Sobocinski

Proceedings of the Workshop on Petri Nets and Graph Transformations, 2004

Security Policies as Membranes in Systems for Global Computing.

Daniele Gorla, Matthew Hennessy, Vladimiro Sassone

Proceedings of the Workshop 3rd on the Foundations of Global Ubiquitous Computing, 2004

The inheritance anomaly: ten years after.

Giuseppe Milicia, Vladimiro Sassone

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

A Calculus for Trust Management.

Marco Carbone, Mogens Nielsen, Vladimiro Sassone

Proceedings of the FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004

A Dependently Typed Ambient Calculus.

Cédric Lhoussaine, Vladimiro Sassone

Proceedings of the Programming Languages and Systems, 2004

A Distributed Calculus for Ro^le-Based Access Control.

Chiara Braghin, Daniele Gorla, Vladimiro Sassone

Proceedings of the 17th IEEE Computer Security Foundations Workshop, 2004

2003

Deriving Bisimulation Congruences using 2-categories.

Vladimiro Sassone, Pawel Sobocinski

Nord. J. Comput., 2003

Preface.

Vladimiro Sassone

Proceedings of the 2nd EATCS Workshop on Foundations of Global Computing, 2003

Temporal constraints for concurrent object synchronisation.

Giuseppe Milicia, Vladimiro Sassone

Proceedings of the Workshop on Object Oriented Developments, 2003

A Formal Model for Trust in Dynamic Networks.

Marco Carbone, Mogens Nielsen, Vladimiro Sassone

Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003

Algebraic Theories for Contextual Pre-nets.

Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone

Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003

Secrecy in Untrusted Networks.

Michele Bugliesi, Silvia Crafa, Amela Prelic, Vladimiro Sassone

Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

Deriving Bisimulation Congruences: 2-Categories Vs Precategories.

Vladimiro Sassone, Pawel Sobocinski

Proceedings of the Foundations of Software Science and Computational Structures, 2003

A Calculus of Bounded Capacities.

Franco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone

Proceedings of the Advances in Computing Science, 2003

2002

Deriving Bisimulation Congruences: A 2-categorical Approach.

Vladimiro Sassone, Pawel Sobocinski

Proceedings of the 9th International Workshop on Expressiveness in Concurrency, 2002

Preface - F-WAN: Foundations of Wide Area Network Computing.

Vladimiro Sassone

Proceedings of the Foundations of Wide Area Network Computing, 2002

Jeeg: a programming language for concurrent objects synchronization.

Giuseppe Milicia, Vladimiro Sassone

Proceedings of the 2002 Joint ACM-ISCOPE Conference on Java Grande 2002, 2002

Communication Interference in Mobile Boxed Ambients.

Michele Bugliesi, Silvia Crafa, Massimo Merro, Vladimiro Sassone

Proceedings of the FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 2002

A Survey of Name-Passing Calculi and Crypto-Primitives.

Michele Bugliesi, Giuseppe Castagna, Silvia Crafa, Riccardo Focardi, Vladimiro Sassone

Proceedings of the Foundations of Security Analysis and Design II, 2002

Typing and Subtyping Mobility in Boxed Ambients.

Massimo Merro, Vladimiro Sassone

Proceedings of the CONCUR 2002, 2002

A Calculus of Mobile Resources.

Jens Chr. Godskesen, Thomas T. Hildebrandt, Vladimiro Sassone

Proceedings of the CONCUR 2002, 2002

2001

Functorial Models for Petri Nets.

Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone

Inf. Comput., 2001

Preface.

Ugo Montanari, Vladimiro Sassone

Proceedings of the International Workshop on Concurrency and Coordination, 2001

A Type Inference Algorithm for Secure Ambients.

Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivano Salvo, Vladimiro Sassone

Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001

Properties of Distributed Timed-Arc Petri Nets.

Mogens Nielsen, Vladimiro Sassone, Jirí Srba

Proceedings of the FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, 2001

High-Level Petri Nets as Type Theories in the Join Calculus.

Maria Grazia Buscemi, Vladimiro Sassone

Proceedings of the Foundations of Software Science and Computation Structures, 2001

Towards a Notion of Distributed Time for Petri Nets.

Mogens Nielsen, Vladimiro Sassone, Jirí Srba

Proceedings of the Application and Theory of Petri Nets 2001, 2001

Two Algebraic Process Semantics for Contextual Nets.

Roberto Bruni, Vladimiro Sassone

Proceedings of the Unifying Petri Nets, Advances in Petri Nets, 2001

2000

On the Algebraic Structure of Petri Nets.

Vladimiro Sassone

Bull. EATCS, 2000

Open Ended Systems, Dynamic Bisimulation and Tile Logic.

Roberto Bruni, Ugo Montanari, Vladimiro Sassone

Proceedings of the Theoretical Computer Science, 2000

Algebraic Models for Contextual Nets.

Roberto Bruni, Vladimiro Sassone

Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000

1999

Functorial semantics for Petri nets under the individual token philosophy.

Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone

Proceedings of the Conference on Category Theory and Computer Science, 1999

1998

An Axiomatization of the Category of Petri Net Computations.

Vladimiro Sassone

Math. Struct. Comput. Sci., 1998

A Comparison of Petri Net Semantics under the Collective Token Philosophy.

Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone

Proceedings of the Advances in Computing Science, 1998

1997

On the Semantics of Place/Transition Petri Nets.

José Meseguer, Ugo Montanari, Vladimiro Sassone

Math. Struct. Comput. Sci., 1997

Representation Theorems for Petri Nets.

José Meseguer, Ugo Montanari, Vladimiro Sassone

Proceedings of the Foundations of Computer Science: Potential - Theory, 1997

1996

Models for Concurrency: Towards a Classification.

Vladimiro Sassone, Mogens Nielsen, Glynn Winskel

Theor. Comput. Sci., 1996

An Axiomatization of the Algebra of Petri Net Concatenable Processes.

Vladimiro Sassone

Theor. Comput. Sci., 1996

Process versus Unfolding Semantics for Place/Transition Petri Nets.

José Meseguer, Ugo Montanari, Vladimiro Sassone

Theor. Comput. Sci., 1996

Higher Dimensional Transition Systems.

Gian Luca Cattani, Vladimiro Sassone

Proceedings of the Proceedings, 1996

Transition systems with independence and multi-arcs.

Thomas T. Hildebrandt, Vladimiro Sassone

Proceedings of the Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, 1996

Comparing Transition Systems with Independence and Asynchronous Transition Systems.

Thomas T. Hildebrandt, Vladimiro Sassone

Proceedings of the CONCUR '96, 1996

Petri Nets and Other Models of Concurrency.

Mogens Nielsen, Vladimiro Sassone

Proceedings of the Lectures on Petri Nets I: Basic Models, 1996

1995

On the Category of Petri Net Computations.

Vladimiro Sassone

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

Axiomatizing Petri Net Concatenable Processes.

Vladimiro Sassone

Proceedings of the Fundamentals of Computation Theory, 10th International Symposium, 1995

Characterizing Behavioural Congruences for Petri Nets.

Mogens Nielsen, Lutz Priese, Vladimiro Sassone

Proceedings of the CONCUR '95: Concurrency Theory, 1995

1994

On the Model of Computation of Place/Transition Petri Nets.

José Meseguer, Ugo Montanari, Vladimiro Sassone

Proceedings of the Application and Theory of Petri Nets 1994, 1994

1993

Relationships Between Models of Concurrency.

Mogens Nielsen, Vladimiro Sassone, Glynn Winskel

Proceedings of the A Decade of Concurrency, Reflections and Perspectives, 1993

Deterministic Behavioural Models for Concurrency.

Vladimiro Sassone, Mogens Nielsen, Glynn Winskel

Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

A Classification of Models for Concurrency.

Vladimiro Sassone, Mogens Nielsen, Glynn Winskel

Proceedings of the CONCUR '93, 1993

A Note on Logic Programming Fixed-Point Semantics.

Vladimiro Sassone

Proceedings of the 8th Italian Conference on Logic Programming, 1993

A Unification-Free Introduction to Logic Programming.

R. di Meglio, Vladimiro Sassone

Proceedings of the 8th Italian Conference on Logic Programming, 1993

1992

Dynamic congruence vs. progressing bisimulation for CCS.

Ugo Montanari, Vladimiro Sassone

Fundam. Informaticae, 1992

On the Semantics of Petri Nets.

José Meseguer, Ugo Montanari, Vladimiro Sassone

Proceedings of the CONCUR '92, 1992

1991

CCS Dynamic Bisimulation is Progressing.

Ugo Montanari, Vladimiro Sassone

Proceedings of the Mathematical Foundations of Computer Science 1991, 1991