Read Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series)

Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series)

Wan Fokkink

4.9/5 (25588 ratings)

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.We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series). To get started finding Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series), you are right to find our website which has a comprehensive collection of manuals listed.
Our library is the biggest of these that have literally hundreds of thousands of different products represented.

Pages: —

Format: PDF, EPUB & Kindle Edition

Publisher: —

Release: —

ISBN: 354066579X

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.We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series). To get started finding Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series), you are right to find our website which has a comprehensive collection of manuals listed.
Our library is the biggest of these that have literally hundreds of thousands of different products represented.

Special Offer | $0.00

Special Offer! | $0.00

Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series)

Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series)

More Books

Introduction to Food Process Engineering

Introduction to Food Process Engineering

An Introduction to the Chemistry of Plant Products: Metabolic processes

An Introduction to the Chemistry of Plant Products: Metabolic processes

Agile Processes in Software Engineering and Extreme Programming

Agile Processes in Software Engineering and Extreme Programming

Intro to Computer Based Control Systems

Intro to Computer Based Control Systems

The History, Products, and Processes of the Alkali Trade

The History, Products, and Processes of the Alkali Trade

The Human Intellect, with an Introduction Upon Psychology and the Soul

The Human Intellect, with an Introduction Upon Psychology and the Soul

Design and Manufacture

Design and Manufacture

Patent and Trade Mark Review

Patent and Trade Mark Review

The Soap Maker's Handbook of Materials, Processes and Receipts for Every Description of Soap ...

The Soap Maker's Handbook of Materials, Processes and Receipts for Every Description of Soap ...