Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Olesya I. Borovikova"'
Publikováno v:
Моделирование и анализ информационных систем, Vol 26, Iss 4, Pp 534-549 (2019)
User-friendly formal specifications and verification of parallel and distributed systems from various subject fields, such as automatic control, telecommunications, business processes, are active research topics due to its practical significance. In
Externí odkaz:
https://doaj.org/article/d95a31ebc0cb454cbea21c5360f79092
Publikováno v:
Моделирование и анализ информационных систем, Vol 25, Iss 6, Pp 607-622 (2018)
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 repres
Externí odkaz:
https://doaj.org/article/ff4d4787c800408dbbc7e608be448aed