Cover image for Introduction to Concurrency Theory Transition Systems and CCS
Title:
Introduction to Concurrency Theory Transition Systems and CCS
Author:
Gorrieri, Roberto. author.
ISBN:
9783319214917
Edition:
1st ed. 2015.
Physical Description:
XI, 334 p. 63 illus. online resource.
Series:
Texts in Theoretical Computer Science. An EATCS Series,
Contents:
Introduction -- Transition Systems and Behavioral Equivalences -- CCS: A Calculus of Communicating Systems -- Algebraic Laws, Congruences and Axiomatizations -- Additional Operators -- Multi-CCS -- Glossary -- References -- Index.
Added Author:
Added Corporate Author:
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
E-Book 518745-1001 XX(518745.1)
Searching...

On Order