The Proof Technique of Unique Solutions of Contractions
Résumé
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.
Domaines
Informatique [cs]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...