Search our site
Persons Unknown by Susie Steiner Read the opening extract of the brand new Susie Steiner book before its publication on 05/04/2018

Introduction to Process Algebra by Wan Fokkink


Introduction to Process Algebra by Wan Fokkink

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.

About the Author

Loading other formats...

Book Info

Publication date

7th December 2010


Wan Fokkink

More books by Wan Fokkink
Author 'Like for Like'


Springer-Verlag Berlin and Heidelberg GmbH & Co. K an imprint of Springer-Verlag Berlin and Heidelberg GmbH & Co. KG


168 pages


Mathematical theory of computation
Information technology: general issues
Software Engineering
Computer programming / software development
Maths for computer scientists



Lovereading - a community of people passionate about reading and sharing their views. An incomparable website for book lovers.

Helen Clark

I 'Lovereading' because it lets me see what new books are around with a detailed synopsis and readers' reviews.

Judith Sharp

I love 'try before you buy' extracts. I love the wide range of authors & genres. I love the author info. I love books!

Judi Davies

I love Lovereading because I get to read great books and then get to tell everybody how good they are.

Sally Doel

Why I love @lovereadinguk? It's in the name - as dedicated lovers of reading, they are perfect matchmakers for helping me find my next read!

Catherine Jenkins

It has enriched my leisure time by introducing me to a world of books which I would not have previously considered.

Val Rowe

Lovereading takes the guesswork out of finding your next read with "if you like you'll love" and extracts to help with your decision.

Sarah Bruch

My horizons have been broadened by some of the books I have been lucky to review and I expect it to be no different in the future.

Daran Bellingham