Check nearby libraries
Buy this book
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.
Check nearby libraries
Buy this book
Previews available in: English
Showing 1 featured edition. View all 1 editions?
Edition | Availability |
---|---|
1
Introduction to Process Algebra
2000, Springer Berlin Heidelberg
electronic resource /
in English
3642085849 9783642085840
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Table of Contents
Edition Notes
Online full text is restricted to subscribers.
Also available in print.
Mode of access: World Wide Web.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?History
- Created July 1, 2019
- 5 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
February 27, 2022 | Edited by ImportBot | import existing book |
December 29, 2021 | Edited by ImportBot | import existing book |
July 1, 2019 | Edited by MARC Bot | import existing book |
July 1, 2019 | Edited by MARC Bot | import existing book |
July 1, 2019 | Created by MARC Bot | Imported from Internet Archive item record |