Updates
Latest Tweet
What's New?
Check out for latest innovation, a computer based training video collection
Like this Page
Introduction to Process Algebra
PreviewsAmazon Readr |
Share this Great Computer eBookLink to this page |
Our CollectionPrevNext |
|
Process algebra has been developed to reveal the labeled transition systems such as algebra, which improve the way manipulation by equational logic and term rewriting. The theory of process algebra has developed rapidly over the last twenty years, and verification tools have been developed on the basis of process algebra, often in cooperation with the techniques associated with model checking.
Computer eBook Details
- ISBN-10: 354066579X
- ISBN-13: 9783540665793
- Publisher: Springer
- Pages: 163
- Date: February 2000