A Calculus of Communicating Systems - Cellestria

Cover: 9783540102359 | A Calculus of Communicating Systems | R. Milner | Taschenbuch | 1980

Rückseite: 9783540102359 | A Calculus of Communicating Systems | R. Milner | Taschenbuch | 1980

Cover: 9783540102359 | A Calculus of Communicating Systems | R. Milner | Taschenbuch | 1980

Rückseite: 9783540102359 | A Calculus of Communicating Systems | R. Milner | Taschenbuch | 1980

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

51,10 €

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 4-7 Werktage

Kategorien:

Beschreibung

0. Introduction.- 1. Experimenting on nondeterministic machines.- 2. Synchronization.- 3. A case study in synchronization and proof techniques.- 4. Case studies in value-communication.- 5. Syntax and semantics of CCS.- 6. Communication trees (CTs) as a model of CCS.- 7. Observation equivalence and its properties.- 8. Some proofs about data structures.- 9. Translation into CCS.- 10. Determinancy and confluence.- 11. Conclusion.

0. Introduction.- 1. Experimenting on nondeterministic machines.- 2. Synchronization.- 3. A case study in synchronization and proof techniques.- 4. Case studies in value-communication.- 5. Syntax and semantics of CCS.- 6. Communication trees (CTs) as a model of CCS.- 7. Observation equivalence and its properties.- 8. Some proofs about data structures.- 9. Translation into CCS.- 10. Determinancy and confluence.- 11. Conclusion.

Inhaltsverzeichnis

0. Introduction.- 1. Experimenting on nondeterministic machines.- 2. Synchronization.- 3. A case study in synchronization and proof techniques.- 4. Case studies in value-communication.- 5. Syntax and semantics of CCS.- 6. Communication trees (CTs) as a model of CCS.- 7. Observation equivalence and its properties.- 8. Some proofs about data structures.- 9. Translation into CCS.- 10. Determinancy and confluence.- 11. Conclusion.

Details

Erscheinungsjahr:	1980
Fachbereich:	Allgemeines
Genre:	Recht , Sozialwissenschaften , Wirtschaft
Rubrik:	Recht & Wirtschaft
Medium:	Taschenbuch
Inhalt:	Einband - flex.(Paperback)
ISBN-13:	9783540102359
ISBN-10:	3540102353
Sprache:	Englisch
Einband:	Kartoniert / Broschiert
Autor:	Milner, R.
Hersteller:	Springer Springer-Verlag GmbH
Verantwortliche Person für die EU:	Springer Nature Customer Service Center GmbH, Europaplatz 3, D-69115 Heidelberg, productsafety@springernature.com
Maße:	235 x 155 x 11 mm
Von/Mit:	R. Milner
Erscheinungsdatum:	01.09.1980
Gewicht:	0,289 kg

Artikel-ID: 101900009

Ähnliche Produkte

Buch

Cover: 9783142905068 | Vorbereiten auf Ausbildung und Beruf. Schülerbuch | Abel-Utz (u. a.)

Vorbereiten auf Ausbildung und Beruf. Schülerbuch

Wirtschaft und Verwaltung

EAN: 9783142905068

Sprache: Deutsch

Von/Mit: Ilona Abel-Utz (u. a.)

Maße: 265 x 195 x 10 mm

Genre: Schule und Lernen

20,50 €

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9781846142390 | The Return of Depression Economics | Paul Krugman | Taschenbuch | 2008

The Return of Depression Economics

EAN: 9781846142390

Sprache: Englisch

Von/Mit: Paul Krugman

16,95 €

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9783110543032 | IT-Management | Best Practices für CIOs | Michael Lang | Taschenbuch

Best Practices für CIOs

EAN: 9783110543032

Sprache: Deutsch

Von/Mit: Michael Lang

99,95 €

Lieferzeit 4-7 Werktage

Buch

Cover: 9783446461437 | Wissensmanagement | 7 Bausteine für die Umsetzung in der Praxis | Buch

Wissensmanagement

7 Bausteine für die Umsetzung in der Praxis

EAN: 9783446461437

Sprache: Deutsch

Von/Mit: Sandra Gerhards (u. a.)

16,99 €

Lieferzeit 1-2 Werktage

Buch

Cover: 9783896842817 | Zusammenhänge | Wie wir lernen, die Welt wieder zu verstehen | Lotter

Wie wir lernen, die Welt wieder zu verstehen

EAN: 9783896842817

Sprache: Deutsch

Von/Mit: Wolf Lotter

20,00 €

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9783110662832 | ERP-Systeme | Norbert Gronau | Taschenbuch | De Gruyter Studium | 2021

Architektur, Management und Funktionen des Enterprise Resource Planning

EAN: 9783110662832

Sprache: Deutsch

Von/Mit: Norbert Gronau

64,95 €

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9781119741749 | Becoming a Data Head | Alex J Gutman (u. a.) | Taschenbuch | 272 S.

Becoming a Data Head

How to Think, Speak, and Understand Data Science, Statistics, and Machine Learning

EAN: 9781119741749

Sprache: Englisch

Von/Mit: Alex J Gutman (u. a.)

41,80 €

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9783347992023 | Happy Meeting | Danny Wünsch (u. a.) | Taschenbuch | 108 S. | Deutsch

Das Playbook für eine großartige Zukunft. 13 sofort anwendbare Hacks für bessere Meetings.

EAN: 9783347992023

Sprache: Deutsch

Von/Mit: Danny Wünsch (u. a.)

14,90 €

Lieferzeit 4-7 Werktage

Taschenbuch

Tipp

Cover: 9780367658946 | Signal Processing | A Mathematical Approach, Second Edition | Byrne

Signal Processing

A Mathematical Approach, Second Edition

EAN: 9780367658946

Sprache: Englisch

Von/Mit: Charles L. Byrne

58,10 €

Lieferzeit 4-7 Werktage

Buch

Cover: 9783988890061 | Handbuch Automotive SPICE® 4.0 | Alexander Levin (u. a.) | Buch | XXIV

Handbuch Automotive SPICE® 4.0

Grundlagen und Know-how für die Praxis

EAN: 9783988890061

Sprache: Deutsch

Von/Mit: Alexander Levin (u. a.)

54,90 €

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9781783208838 | Inside the TV Newsroom | Profession Under Pressure | Thomsen | Buch

Inside the TV Newsroom

Profession Under Pressure

EAN: 9781783208838

Sprache: Englisch

Von/Mit: Line Hassall Thomsen

58,65 €

Lieferzeit 1-2 Wochen