Second Hand Books

Non-Fiction Books

Mathematics & Science

Mathematics

Introduction to Process Algebra

Skip to product information

1 / of 1

Introduction to Process Algebra by Wan Fokkink

Name: Introduction to Process Algebra
Brand: WoB
SKU: 9783642085840
Availability: InStock

Regular price

Condition -

Checking stock... Checking stock... Order before it is gone

Regular price

Condition -

Checking stock... Checking stock... Order before it is gone

Select Condition

Part of Texts In Theoretical Computer Science An Eatcs Series series

The feel-good place to buy books

Free UK delivery over £5
10% off preloved books when you join +Plus
Buying preloved emits 46% less CO2 than new
Give your books a new home - sell them back to us!

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.

More books in the Texts In Theoretical Computer Science An Eatcs Series series

View all

Information and RandomnessCristian S Calude
Universal Artificial IntelligenceMarcus Hutter
Interactive Theorem Proving and Program DevelopmentYves Bertot
Graphs and Algorithms in Communication NetworksArie Koster
Computable AnalysisKlaus Weihrauch
Models of Massive ParallelismMax Garzon
Structural Complexity IJose L Balcazar
The Resolution CalculusAlexander Leitsch
Models of ComputationRoberto Bruni
Dissemination of Information in Optical Networks:Subir Bandyopadhyay
A Practical Theory of Reactive SystemsR Kurki-Suonio
Petri Net SynthesisEric Badouel
Grammatical Picture GenerationFrank Drewes
Temporal Logic and State SystemsStephan Merz
Algorithmics for Hard ProblemsJuraj Hromkovi
Simulation Algorithms for Computational Systems BiologyLuca Marchetti
Public-Key CryptographyArto Salomaa
Communication Complexity and Parallel ComputingJuraj Hromkovi
Boolean Functions and Computation ModelsPeter Clote
Verification of Reactive SystemsKlaus Schneider
Theoretical Computer ScienceJuraj Hromkovi
Introduction to Circuit ComplexityHeribert Vollmer
Elements of Finite Model TheoryLeonid Libkin
The Parametric Lambda CalculusSimona Ronchi Della Rocca
The Complexity Theory CompanionLane A Hemaspaandra
DNA ComputingGheorghe Paun
Abstract Computing MachinesWerner Kluge
Design and Analysis of Randomized AlgorithmsJ Hromkovic
Dissemination of Information in Communication NetworksA Pelc
Formal Methods for Software EngineeringMarkus Roggenbach
Complexity Theory and CryptologyJrg Rothe
Parsing SchemataKlaas Sikkel

Fokkink, Wan: - Wan Fokkink is Professor of Theoretical Computer Science at the VU University, Amsterdam.

SKU	Unavailable
ISBN 13	9783642085840
ISBN 10	3642085849
Title	Introduction to Process Algebra
Author	Wan Fokkink
Series	Texts In Theoretical Computer Science An Eatcs Series
Condition	Unavailable
Binding Type	Paperback
Publisher	Springer
Year published	2010-12-07
Number of pages	168
Cover note	Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
Note	Unavailable