Introduction to Concurrency Theory: Transition Systems and CCS (Texts in Theoretical Computer Science. An EATCS Series) - Hardcover
Book 38 of 44: Texts in Theoretical Computer Science. An EATCS
Synopsis
This book presents the fundamentals of concurrency theory with clarity and rigor. The authors start with the semantic structure, namely labelled transition systems, which provides us with the means and the tools to express processes, to compose them, and to prove properties they enjoy. The rest of the book relies on Milner's Calculus of Communicating Systems, tailored versions of which are used to study various notions of equality between systems, and to investigate in detail the expressive power of the models considered.
The authors proceed from very basic results to increasingly complex issues, with many examples and exercises that help to reveal the many subtleties of the topic. The book is suitable for advanced undergraduate and graduate students in computer science and engineering, and scientists engaged with theories of concurrency.
"synopsis" may belong to another edition of this title.
About the Author
Roberto Gorrieri is a professor of computer science of the University of Bologna. His interests include concurrency and the foundations of security analysis and design.
Cristian Versari is an assistant professor of computer science at the Laboratoire d'Informatique Fondamentale de Lille (LIFL). His interests include concurrent languages and the computational modelling of biological systems.
From the Back Cover
This book presents the fundamentals of concurrency theory with clarity and rigor. The authors start with the semantic structure, namely labelled transition systems, which provides us with the means and the tools to express processes, to compose them, and to prove properties they enjoy. The rest of the book relies on Milner's Calculus of Communicating Systems, tailored versions of which are used to study various notions of equality between systems, and to investigate in detail the expressive power of the models considered.
The authors proceed from very basic results to increasingly complex issues, with many examples and exercises that help to reveal the many subtleties of the topic. The book is suitable for advanced undergraduate and graduate students in computer science and engineering, and scientists engaged with theories of concurrency.
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Introduction to Concurrency Theory: Transition Systems...
Seller Image
Introduction to Concurrency Theory : Transition Systems and Ccs
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 23974531
Seller Image
Introduction to Concurrency Theory
Published by
Springer International Publishing Sep 2015, 2015
ISBN 10: 331921490X
ISBN 13: 9783319214900
New
Hardcover
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents the fundamentals of concurrency theory with clarity and rigor. The authors start with the semantic structure, namely labelled transition systems, which provides us with the means and the tools to express processes, to compose them, and to prove properties they enjoy. The rest of the book relies on Milner's Calculus of Communicating Systems, tailored versions of which are used to study various notions of equality between systems, and to investigate in detail the expressive power of the models considered.The authors proceed from very basic results to increasingly complex issues, with many examples and exercises that help to reveal the many subtleties of the topic. The book is suitable for advanced undergraduate and graduate students in computer science and engineering, and scientists engaged with theories of concurrency. 348 pp. Englisch. Seller Inventory # 9783319214900
Stock Image
Introduction to Concurrency Theory : Transition Systems and Ccs
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 23974531-n
Stock Image
Introduction to Concurrency Theory (Hardcover)
Published by
Springer International Publishing AG, Cham, 2015
ISBN 10: 331921490X
ISBN 13: 9783319214900
New
Hardcover
First Edition
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: new. Hardcover. This book presents the fundamentals of concurrency theory with clarity and rigor. The authors start with the semantic structure, namely labelled transition systems, which provides us with the means and the tools to express processes, to compose them, and to prove properties they enjoy. The rest of the book relies on Milner's Calculus of Communicating Systems, tailored versions of which are used to study various notions of equality between systems, and to investigate in detail the expressive power of the models considered.The authors proceed from very basic results to increasingly complex issues, with many examples and exercises that help to reveal the many subtleties of the topic. The book is suitable for advanced undergraduate and graduate students in computer science and engineering, and scientists engaged with theories of concurrency. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9783319214900
Stock Image
Introduction to Concurrency Theory: Transition Systems and CCS (Texts in Theoretical Computer Science. An EATCS Series)
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 336. Seller Inventory # 26372596382
Stock Image
Introduction to Concurrency Theory: Transition Systems and CCS (Texts in Theoretical Computer Science. An EATCS Series)
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 336. Seller Inventory # 373481793
Buy New
£ 64.52
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
Introduction to Concurrency Theory: Transition Systems and CCS (Texts in Theoretical Computer Science. An EATCS Series)
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 336. Seller Inventory # 18372596372
Stock Image
Introduction to Concurrency Theory: Transition Systems and CCS (eng)
Print on DemandSeller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 3 out of 5 stars
Condition: new. Questo è un articolo print on demand. Seller Inventory # eb598be0a9b09906ff1e2bdc379abf58
Buy New
£ 41.26
£ 36.40 shipping
Ships from Italy to U.S.A.
Ships from Italy to U.S.A.
Quantity: Over 20 available
Stock Image
Introduction to Concurrency Theory: Transition Systems and CCS
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Brand New. 336 pages. 9.50x6.50x1.00 inches. In Stock. Seller Inventory # x-331921490X
Buy New
£ 68.32
£ 12.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Seller Image
Introduction to Concurrency Theory
Published by
Springer International Publishing, 2015
ISBN 10: 331921490X
ISBN 13: 9783319214900
New
Hardcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Authors among the leading scientists and educators in the fieldProgresses gently from basic results to increasingly complex issuesClass-tested text, supported throughout with examples and exercisesRoberto Gorrieri is a professor . Seller Inventory # 35623918
Buy New
£ 42.16
£ 42.46 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available