2010/09/12 by Andrew M. Mironov, Mironov, Andrew M.
Computer Science · #68Q60 #C.2.2 #D.2.4 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #acm:68Q60 #cs.LO #msc:68Q60
paper · pdf · doi:10.48550/arxiv.1009.2259
290 pages
arxiv created 2010/09/12 · arxiv updated 2010/09/14
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.