Theory of processes

Details Theory of processes Theory of processes

2010-09-12

arxiv.org/abs/1009.2259v1

Computer Science

Logic in Computer Science

290 pages

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Theory of processes does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Theory of processes, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Theory of processes will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-326707