Introduction to Process Algebra Image close
Introduction to Process Algebra on Hardback by Wan Fokkink
Introduction to Process Algebra on Hardback by Wan Fokkink
Show Hide Adult Content
Introduction to Process Algebra close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Algebra

Introduction to Process Algebra

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Hardback
$148.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $37.00 with Afterpay Learn more

6 weekly interest-free payments of $24.67 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 25 Jun - 5 Jul using International Courier

Explore more Texts in Theoretical Computer Science: An EATCS Series

See all products in this series

Models of Computation by Roberto Bruni
$175.00
Models of Computation
by Roberto Bruni ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Modelling Distributed Systems by Wan Fokkink
$148.00
Modelling Distributed Systems
by Wan Fokkink ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Dissemination of Information in Communication Networks by Juraj Hromkovic
$151.00
Dissemination of Information in Communication Networks
by Juraj Hromkovic ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Boolean Functions and Computation Models by Peter Clote
$296.00
Boolean Functions and Computation Models
by Peter Clote ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Interactive Theorem Proving and Program Development by Yves Bertot
$244.00
Interactive Theorem Proving and Program Development
by Yves Bertot ~ Paperback / softback
Available - Usually ships in 3-4 weeks
A Practical Theory of Reactive Systems by R. Kurki-Suonio
$153.00
A Practical Theory of Reactive Systems
by R. Kurki-Suonio ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Software Engineering 3 on Hardback by Dines Bjorner
$307.00
Software Engineering 3
by Dines Bjorner ~ Hardback
Available - Usually ships in 3-4 weeks
Parameterized Complexity Theory on Hardback by J Flum
$323.00
Parameterized Complexity Theory
by J Flum ~ Hardback
Available - Usually ships in 3-4 weeks
DNA Computing on Hardback by Gheorghe Pa?un
$269.00
DNA Computing
by Gheorghe Pa?un ~ Hardback
Available - Usually ships in 3-4 weeks
Complexity Theory and Cryptology by Jorg Rothe
$155.00
Complexity Theory and Cryptology
by Jorg Rothe ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Graphs and Algorithms in Communication Networks
$445.00
Graphs and Algorithms in Communication Networks
Paperback / softback
Available - Usually ships in 3-4 weeks
Computable Analysis on Hardback by Klaus Weihrauch
$153.00
Computable Analysis
by Klaus Weihrauch ~ Hardback
Available - Usually ships in 3-4 weeks
A Practical Theory of Reactive Systems on Hardback by R. Kurki-Suonio
$155.00
A Practical Theory of Reactive Systems
by R. Kurki-Suonio ~ Hardback
Available - Usually ships in 3-4 weeks
Introduction to Circuit Complexity on Hardback by Heribert Vollmer
$242.00
Introduction to Circuit Complexity
by Heribert Vollmer ~ Hardback
Available - Usually ships in 3-4 weeks
Software Engineering 1 on Hardback by Dines Bjorner
$304.00
Software Engineering 1
by Dines Bjorner ~ Hardback
Available - Usually ships in 3-4 weeks
Universal Artificial Intelligence on Hardback by Marcus Hutter
$266.00
Universal Artificial Intelligence
by Marcus Hutter ~ Hardback
Available - Usually ships in 3-4 weeks

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.
Release date NZ
December 23rd, 1999
Author
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
Illustrations
VIII, 168 p.
Pages
168
Dimensions
156x234x11
ISBN-13
9783540665793
Product ID
2495240

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Explore more by Wan Fokkink

See all books by this author

Modelling Distributed Systems on Hardback by Wan Fokkink
$148.00
Modelling Distributed Systems
by Wan Fokkink ~ Hardback
Available - Usually ships in 3-4 weeks
Introduction to Process Algebra by Wan Fokkink
$148.00
Introduction to Process Algebra
by Wan Fokkink ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Algebra
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Applied mathematics >
Mathematics for scientists & engineers
Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Hardware & Operating Systems
Books >
Computers & Internet >
Business applications
Books >
Computers & Internet >
Computer hardware
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation >
Maths for computer scientists