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.
Type de document :
Communication dans un congrès
Springer. 12th International Colloquium on Theoretical Aspects of Computing, Oct 2015, Cali, Colombia. Lecture Notes in Computer Science (9399), pp.63--68, 2015, 〈10.1007/978-3-319-25150-9_5〉
Liste complète des métadonnées

Littérature citée [39 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01227569
Contributeur : Sangiorgi Davide <>
Soumis le : lundi 16 novembre 2015 - 12:06:51
Dernière modification le : mercredi 10 octobre 2018 - 10:09:14
Document(s) archivé(s) le : vendredi 28 avril 2017 - 04:52:11

Fichier

icta.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Davide Sangiorgi. The Proof Technique of Unique Solutions of Contractions. Springer. 12th International Colloquium on Theoretical Aspects of Computing, Oct 2015, Cali, Colombia. Lecture Notes in Computer Science (9399), pp.63--68, 2015, 〈10.1007/978-3-319-25150-9_5〉. 〈hal-01227569〉

Partager

Métriques

Consultations de la notice

174

Téléchargements de fichiers

78