List of works - Michele Boreale - Paulina

List of works by Michele Boreale

Basic Observables for Processes

CaSPiS: a calculus of sessions, pipelines and services

scientific article published on 10 November 2014

Divergence in testing and readiness semantics

article published in 2001

Proof Techniques for Cryptographic Processes

Relative Privacy Threats and Learning From Anonymized Data

scientific article published in 2020

Trace and Testing Equivalence on Asynchronous Processes

Paulina is supported by:

About Paulina

Help