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...
| الحاوية / القاعدة: | Моделирование и анализ информационных систем |
|---|---|
| المؤلفون الرئيسيون: | , , |
| التنسيق: | مقال |
| اللغة: | الإنجليزية |
| منشور في: |
Yaroslavl State University
2018-12-01
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | https://www.mais-journal.ru/jour/article/view/762 |