Introduction to Process Algebra /

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 manipulatio...

Full description

Bibliographic Details

Main Author:	Fokkink, Wan
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.
Series:	Texts in Theoretical Computer Science An EATCS Series.
Subjects:	Computer science. Software engineering. Logic design. Algebra > Data processing. Algebra. Electronic books.
Online Access:	Connect to the full text of this electronic book