The Proof Technique of Unique Solutions of Contractions

DOI10.1007/978-3-319-25150-9_5zbMath1471.68172OpenAlexW2271350177MaRDI QIDQ2787416

Davide Sangiorgi

Publication date: 25 February 2016

Published in: Theoretical Aspects of Computing - ICTAC 2015 (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01227569/file/icta.pdf

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: The Proof Technique of Unique Solutions of Contractions