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...
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Artigo |
| Sprache: | Inglês |
| Veröffentlicht: |
Yaroslavl State University
2018-12-01
|
| Schriftenreihe: | Моделирование и анализ информационных систем |
| Schlagworte: | |
| Online-Zugang: | https://www.mais-journal.ru/jour/article/view/762 |
| Tags: |
Keine Tags, Fügen Sie das erste Tag hinzu!
|