Introduction to Concurrency Theory / Texts in Theoretical Computer Science. An EATCS Series (PDF)

Name: Introduction to Concurrency Theory / Texts in Theoretical Computer Science. An EATCS Series
Brand: Springer-Verlag GmbH
SKU: 70169177
Price: 53.49 EUR
Availability: OnlineOnly

Transition Systems and CCS (Sprache: Englisch)

Autoren: Roberto Gorrieri , Cristian Versari

Schreiben Sie einen Kommentar zu "Introduction to Concurrency Theory / Texts in Theoretical Computer Science. An EATCS Series".

Introduction to Concurrency Theory / Texts in Theoretical Computer Science. An EATCS Series, Roberto Gorrieri, Cristian Versari

Merken

Mehr zum Inhalt Autorenporträt Presse-Zitate Video

eBook (pdf) 53.49 €

Buch (Gebunden) 53.49 €

sofort als Download lieferbar

Bestellnummer: 70169177

eBook (pdf) 53.49 €

Download bestellen

Verschenken

26 DeutschlandCard Punkte sammeln

Lastschrift, Kreditkarte, Paypal, Rechnung
Kostenloser tolino webreader

Produktdetails

Produktbeschreibung
Autorenporträt
eBook Hilfe
Biblio. Angaben / Produktdetails
Pressezitat

Produktinformationen zu „Introduction to Concurrency Theory / Texts in Theoretical Computer Science. An EATCS Series (PDF)“

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.

Autoren-Porträt von Roberto Gorrieri, Cristian Versari

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.

eBook Hilfe

Informationen und Hilfe zu eBooks hier klicken!

Bibliographische Angaben

Autoren: Roberto Gorrieri , Cristian Versari
2015, 1st ed. 2015, 334 Seiten, Englisch
Verlag: Springer-Verlag GmbH
ISBN-10: 3319214918
ISBN-13: 9783319214917
Erscheinungsdatum: 02.09.2015

Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.

eBook Informationen

Dateiformat: PDF
Größe: 3.55 MB
Ohne Kopierschutz
Vorlesefunktion

Sprache:

Englisch

Pressezitat

“This book is an introduction to labelled transition systems and the calculus of communicating systems (CCS) due to Robin Milner. It has been used in a master's course on concurrent systems. There are numerous examples and exercises. … The book is very carefully written and covers a large amount of material at an introductory level, and a motivated student can use it for self-study.” (Kamal Lodaya, Mathematical Reviews, May, 2016)

Kommentar zu "Introduction to Concurrency Theory / Texts in Theoretical Computer Science. An EATCS Series"

Schreiben Sie einen Kommentar zu "Introduction to Concurrency Theory / Texts in Theoretical Computer Science. An EATCS Series".

Wie funktionieren Bewertungen?

0 Gebrauchte Artikel zu „Introduction to Concurrency Theory / Texts in Theoretical Computer Science. An EATCS Series“

Zustand	Preis	Porto	Zahlung	Verkäufer	Rating