Introduction to Process Algebra

Released on by Wan Fokkink
preview-18

  • Introduction to Process Algebra Book Detail

  • Author : Wan Fokkink
  • Release Date : 2013-03-09
  • Publisher : Springer Science & Business Media
  • Genre : Mathematics
  • Pages : 171
  • ISBN 13 : 3662042932
  • File Size : 59,59 MB
DOWNLOAD BOOK

Introduction to Process Algebra by Wan Fokkink PDF Summary

Book Description: Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically, which enhances the ways of manipulation by means of 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 techniques related to model checking. This textbook gives a thorough introduction into the basics of process algebra and its applications.

Disclaimer: www.yourbookbest.com does not own Introduction to Process Algebra books pdf, neither created or scanned. We just provide the link that is already available on the internet, public domain and in Google Drive. If any way it violates the law or has any issues, then kindly mail us via contact us page to request the removal of the link.

Handbook of Process Algebra

Handbook of Process Algebra

File Size : 8,8 MB
Total View : 8544 Views
DOWNLOAD

Process Algebra is a formal description technique for complex computer systems, especially those involving communicating, concurrently executing components. It

Introduction to Process Algebra

Introduction to Process Algebra

File Size : 75,75 MB
Total View : 1387 Views
DOWNLOAD

Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware s

Introduction to Process Algebra

Introduction to Process Algebra

File Size : 29,29 MB
Total View : 8932 Views
DOWNLOAD

Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware s