Theory of processes
classification
💻 cs.LO
keywords
resultsprocessesapplicationconceptstheorythereverificationaccompanied
read the original abstract
The book gives a detailed exposition of basic concepts and results of a theory of processes. The presentation of theoretical concepts and results is accompanied with illustrations of their application to solving various problems of verification of processes. Along with well-known results there are presented author's results related to verification of processes with message passing, and there are given examples of an application of these results.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.