Behavioural equivalences for coalgebras with unobservable...

Journal of Logical and Algebraic Methods in Programming 2015 / 11 Vol. 84; Iss. 6

Behavioural equivalences for coalgebras with unobservable moves

Brengos, Tomasz, Miculan, Marino, Peressotti, Marco
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
Volume:
84
Langue:
english
Journal:
Journal of Logical and Algebraic Methods in Programming
DOI:
10.1016/j.jlamp.2015.09.002
Date:
November, 2015
Fichier:
PDF, 764 KB
english, 2015
La conversion en est effectuée
La conversion en a échoué