Process algebra with guards: Combining Hoare logic with...

Process algebra with guards: Combining Hoare logic with process algebra

Jan Friso Groote, Alban Ponse
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:
6
Année:
1994
Langue:
english
Pages:
50
DOI:
10.1007/bf01221097
Fichier:
PDF, 2.39 MB
english, 1994
La conversion en est effectuée
La conversion en a échoué