Theory of processes
Logic in Computer Science
2010-09-14 v1
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.
Cite
@article{arxiv.1009.2259,
title = {Theory of processes},
author = {Andrew M. Mironov},
journal= {arXiv preprint arXiv:1009.2259},
year = {2010}
}
Comments
290 pages