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

Libro 35 de 45: Texts in Theoretical Computer Science. An EATCS

Fokkink, Wan

 
9783642085840: Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series)
Tapa blanda
ISBN 10: 3642085849 ISBN 13: 9783642085840
Editorial: Springer, 2010

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
2010
Idioma
Inglés
ISBN 10 
3642085849
ISBN 13 
9783642085840
Encuadernación
Tapa blanda
Número de páginas
176
Contacto del fabricante
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Alemania

Otras ediciones populares con el mismo título

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

Edición Destacada

ISBN 10:  354066579X ISBN 13:  9783540665793
Editorial: Springer, 1999
Tapa dura