The Theory and Practice of Concurrency (Prentice-hall International Series in Computer Science)

Roscoe, A. W.

ISBN 10: 0136744095 ISBN 13: 9780136744092

Verlag: Pearson Education Limited, 1998

Inhaltsangabe

Since the introduction of Hoares' Communicating Sequential Processes notation, powerful new tools have transformed CSP into a practical way of describing industrial-sized problems. This book gives you the fundamental grasp of CSP concepts you'll need to take advantage of those tools.Part I provides a detailed foundation for working with CSP, using as little mathematics as possible. It introduces the ideas behind operational, denotational and algebraic models of CSP. Parts II and III go into greater detail about theory and practice. Topics include: parallel operators, hiding and renaming, piping and enslavement, buffers and communication, termination and sequencing, and semantic theory. Three detailed practical case studies are also presented.For anyone interested in modeling sequential processes.

Details zur Ausgabe

• Verlag: Pearson Education Limited
• Erscheinungsdatum: 1998
• Sprache: Englisch
• ISBN 10: 0136744095
• ISBN 13: 9780136744092
• Einband: Lehrbuch
• Anzahl der Seiten: 565
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: Yeepin GmbH; 492000000000; sunshine12232@outlook.com; ; Alleestr.11; Kaiserslautern; Rheinland-Pfalz; 67655; Deutschland