Modal Logic And Process Algebra
Download Modal Logic And Process Algebra full books in PDF, epub, and Kindle. Read online free Modal Logic And Process Algebra 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: 351
Pages: 351
Type: BOOK - Published: 2000 - Publisher:
Language: en
Pages: 327
Pages: 327
Type: BOOK - Published: 1995-01 - Publisher: Stanford Univ Center for the Study
A collection of papers by leading researchers in modal logic and theoretical computer science.
Language: en
Pages: 574
Pages: 574
Type: BOOK - Published: 2002-08-22 - Publisher: Cambridge University Press
This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer scientists in the late 1970s. Researchers in areas ranging from
Language: en
Pages: 19
Pages: 19
Type: BOOK - Published: 1991 - Publisher:
Abstract: "In process algebras, bisimulation equivalence is typically defined directly in terms of the operational rules of action; it also has an alternative c
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