Introduction to Concurrency Theory

Um unseren Shop nutzen zu können, müssen Sie Javascript in Ihrem Browser aktivieren.

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

49,10 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 4-7 Werktage

Sie können kein Produkt in den Warenkorb legen, da Javascript und technisch notwendige Cookies aktiviert sein müssen.

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

Beschreibung

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.

Über den Autor

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.

Zusammenfassung

Authors among the leading scientists and educators in the field

Progresses gently from basic results to increasingly complex issues

Class-tested text, supported throughout with examples and exercises

Includes supplementary material: [...]

Inhaltsverzeichnis

Introduction.- Transition Systems and Behavioral Equivalences.- CCS: A Calculus of Communicating Systems.- Algebraic Laws, Congruences and Axiomatizations.- Additional Operators.- Multi-CCS.- Glossary.- References.- Index.

Details

Erscheinungsjahr:	2016
Genre:	Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Seiten:	348
Reihe:	Texts in Theoretical Computer Science. An EATCS Series
Inhalt:	xi 334 S. 63 s/w Illustr. 334 p. 63 illus.
ISBN-13:	9783319366388
ISBN-10:	3319366386
Sprache:	Englisch
Ausstattung / Beilage:	Paperback
Einband:	Kartoniert / Broschiert
Autor:	Versari, Cristian Gorrieri, Roberto
Auflage:	Softcover reprint of the original 1st ed. 2015
Hersteller:	Springer International Publishing Springer International Publishing AG Texts in Theoretical Computer Science. An EATCS Series
Maße:	235 x 155 x 19 mm
Von/Mit:	Cristian Versari (u. a.)
Erscheinungsdatum:	22.10.2016
Gewicht:	0,528 kg

preigu-id: 109582680