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:
Electronic Access:
https://doi.org/10.1007/978-3-319-21491-7Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 518745-1001 | XX(518745.1) | Searching... | Searching... |