Join Amazon Prime and ship Two-Day for free and Overnight for $3.99. Already a member? Sign in.
Introduction to Process Algebra
and over 300,000 other books are available for Amazon Kindle Amazons new wireless reading device.
Learn more
|
Frequently Bought Together
Customers Who Bought This Item Also Bought
by Davide Sangiorgi
|
by C Hankin
|
by Matthew Hennessy
|
by Martin Abadi
|
by Bryan O'Sullivan
|
Editorial Reviews
Product 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.
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.
Product Details
Would you like to update product info or give feedback on images?
|
Inside This Book
(learn more)
First Sentence:
System behaviour generally consists of processes and data. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
rooted branching bisimulation equivalence, basic process terms, linear recursive specification, modulo bisimulation equivalence, desired external behaviour, bisimilar process terms, structural induction with respect, regular process graph, required external behaviour, rooted branching bisimilar, panth format, cool format, branching bisimulation relation, guarded recursive specifications, guarded recursion, second transition rule, recursion variables, closed instantiations, approximation induction principle, axioms range, linear recursive equations, linear recursion, branching bisimilarity, two process terms, encapsulation operators New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
System behaviour generally consists of processes and data. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
rooted branching bisimulation equivalence, basic process terms, linear recursive specification, modulo bisimulation equivalence, desired external behaviour, bisimilar process terms, structural induction with respect, regular process graph, required external behaviour, rooted branching bisimilar, panth format, cool format, branching bisimulation relation, guarded recursive specifications, guarded recursion, second transition rule, recursion variables, closed instantiations, approximation induction principle, axioms range, linear recursive equations, linear recursion, branching bisimilarity, two process terms, encapsulation operators New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Citations (learn more)
This book cites 30
books:
See all 30 books this book cites
35
books
cite this book:
See all 35 books citing this book
- Handbook of Process Algebra by A. Ponse in Back Matter (1), and Back Matter (2)
- Communicating Sequential Processes (Prentice Hall International Series in Computing Science) by C.A.R. Hoare on page 2, and Back Matter
- Programming Concepts, Methods and Calculi by Ifip Tc2 in Back Matter
- Algebraic Specification of Communication Protocols (Cambridge Tracts in Theoretical Computer Science) by S. Mauw in Back Matter
- Temporal Logic of Programs (E a T C S Monographs on Theoretical Computer Science) by Fred Kroger in Back Matter
See all 30 books this book cites
- Process Algebra with Timing by J.C.M. Baeten in Back Matter (1), and Back Matter (2)
- Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday (Lecture Notes in ... Computer Science and General Issues) by Aart Middeldorp on page 365, and page 494
- Complexity Theory and Cryptology by Jörg Rothe in Back Matter
- Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series) (v. 1) by Dines Bjorner on page
- Extremal Combinatorics: With Applications in Computer Science by Stasys Jukna in Back Matter
See all 35 books citing this book
Books on Related Topics
(learn more)
|
What Do Customers Ultimately Buy After Viewing This Item?
 |
77% buy the item featured on this page: Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series) $67.64 |
 |
23% buy Communicating and Mobile Systems: the Pi-Calculus $45.89 |
Tags Customers Associate with This Product(What's this?)Click on a tag to find related items, discussions, and people.
|
Help others find this product — tag it for Amazon search
No one has tagged this product for Amazon search yet. Why not be the first to suggest a search for which it should appear?
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
Customer Reviews
|
Share your thoughts with other customers:
|
||||||||||||||||||||||
Most Helpful Customer Reviews
Share your thoughts with other customers: Create your own review
|
 |
Customer Discussions
Beta (What's this?)
New! See all customer communities, and bookmark your communities to keep track of them.
|
This product's forum
(0 discussions)
Ask questions, Share opinions, Gain insight
Active discussions in related forums
|
||||||||||||||||||||||||||||||||||||||||||
Product Information from the Amapedia Community
Beta (What's this?)Be the first person to add an article about this item at Amapedia.com.
› See featured Amapedia.com articles
Listmania!
So You'd Like to...
|
|
Look for Similar Items by Category
- Books > Amazon Upgrade > All Amazon Upgrade
- Books > Amazon Upgrade > Computers & Internet
- Books > Amazon Upgrade > Science
- Books > Computers & Internet > Computer Science > Artificial Intelligence > Theory of Computing
- Books > Computers & Internet > Hardware > Parallel Processing Computers
- Books > Computers & Internet > Programming > Software Design, Testing & Engineering > Software Development
- Books > Computers & Internet > Software
- Books > Professional & Technical > Professional Science > Mathematics > Pure Mathematics
- Books > Science > Mathematics > Applied
- Books > Science > Mathematics > Pure Mathematics > Algebra
Up to 30% Off Lansinoh |
Best Books of 2008 |
Buy Three Books, Get a Fourth Free |
||||||||
|
Your Recent History
(What's this?)|
You have no recently viewed items or searches.
After viewing product detail pages or search results, look here to find an easy way to navigate back to pages you are interested in. Look to the right column to find helpful suggestions for your shopping session. |
Continue shopping: Top Sellers
| ||||
| ||
| ||
| ||
| ||
| ||
