Concurrency Theory
Subtitle: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems
Edition: 1 edition
Publisher: Springer
Published: December 8, 2005
Language: eng
Format: Hardcover
Number of pages: 422
ISBN-13: 9781852338954
Subjects: Mathematical theory of computation; Programming - Software Development; Computers - Languages / Programming; Computers; Computer Books: Languages; Logic Design; Machine Theory; Computers / Programming / Software Development; Concurrency Theory; Formal Methods; Real Time systems