Potiyenko, S.V.
(Искусственный интеллект, 2013)
A method of symbolic modeling of formal models is considered in the paper. Object of analysis is a domain
of multi-component concurrent systems specified in basic protocols language. A problem of dynamic
creation and ...