The Proof Technique of Unique Solutions of Contractions

Davide Sangiorgi 1, 2
1 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : We review some recent work aimed at understanding proof techniques for behavioural equivalence on processes based on the concept of unique solution of equations. The schema of equations is refined to that of contraction, based on partial orders rather than equalities.
Document type :
Conference papers
Complete list of metadatas

Cited literature [39 references]  Display  Hide  Download

https://hal.inria.fr/hal-01227569
Contributor : Sangiorgi Davide <>
Submitted on : Monday, November 16, 2015 - 12:06:51 PM
Last modification on : Wednesday, October 10, 2018 - 10:09:14 AM
Long-term archiving on : Friday, April 28, 2017 - 4:52:11 AM

File

icta.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Davide Sangiorgi. The Proof Technique of Unique Solutions of Contractions. 12th International Colloquium on Theoretical Aspects of Computing, Oct 2015, Cali, Colombia. pp.63--68, ⟨10.1007/978-3-319-25150-9_5⟩. ⟨hal-01227569⟩

Share

Metrics

Record views

241

Files downloads

188