Algebra Of Communicating Processes
Download Algebra Of Communicating Processes full books in PDF, epub, and Kindle. Read online free Algebra Of Communicating Processes ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
Related Books
Language: en
Pages: 477
Pages: 477
Type: BOOK - Published: 2010 - Publisher: Cambridge University Press
Presents a unified overview of the various process algebras currently in use and sets the standard for the field.
Language: en
Pages: 1357
Pages: 1357
Type: BOOK - Published: 2001-03-16 - Publisher: Elsevier
Process Algebra is a formal description technique for complex computer systems, especially those involving communicating, concurrently executing components. It
Language: en
Pages: 171
Pages: 171
Type: BOOK - Published: 2013-03-09 - Publisher: Springer Science & Business Media
Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware s
Language: en
Pages: 438
Pages: 438
Type: BOOK - Published: 1980-11-28 - Publisher: CUP Archive
Language: en
Pages: 393
Pages: 393
Type: BOOK - Published: 2023-05-09 - Publisher: MIT Press
Rigorous theory and real-world applications for modeling and analysis of the behavior of complex communicating computer systems. Complex communicating computer