Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics

Chapter
Publication Date:
2019
Iris type:
Articolo in Volume
List of contributors:
Authors of the University:
Handle:
https://irinsubria.uninsubria.it/handle/11383/2084308
Book title:
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy
Published in:
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
Journal
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
Series