Verification Oriented Process Ontology
This paper presents the ontology of the concurrent processes close to Hoare communicating sequential processes. It is the part of the intellectual system for supporting verification of behavioural properties of these processes. Our ontological representation of the processes is oriented both to the...
| Published in: | Моделирование и анализ информационных систем |
|---|---|
| Main Authors: | , , |
| Format: | Article |
| Language: | English |
| Published: |
Yaroslavl State University
2018-12-01
|
| Subjects: | |
| Online Access: | https://www.mais-journal.ru/jour/article/view/762 |