Cited By
View all- Tian CSangiorgi D(2020)Unique solutions of contractions, CCS, and their HOL formalisationInformation and Computation10.1016/j.ic.2020.104606275(104606)Online publication date: Dec-2020
- Pous DSangiorgi D(2019)Bisimulation and Coinduction Enhancements: A Historical PerspectiveFormal Aspects of Computing10.1007/s00165-019-00497-w31:6(733-749)Online publication date: 1-Dec-2019
- Sangiorgi D(2015)The Proof Technique of Unique Solutions of ContractionsProceedings of the 12th International Colloquium on Theoretical Aspects of Computing - ICTAC 2015 - Volume 939910.1007/978-3-319-25150-9_5(63-68)Online publication date: 29-Oct-2015
- Show More Cited By