Communicating Sequential Processes: Specification Language, Pattern, Interaction, Concurrency (computer science), Process Calculus, Occam (programming ... R. Hoare, Transputer, Formal Specification. - Softcover

 
9786130632076: Communicating Sequential Processes: Specification Language, Pattern, Interaction, Concurrency (computer science), Process Calculus, Occam (programming ... R. Hoare, Transputer, Formal Specification.

Inhaltsangabe

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. In computer science, Communicating Sequential Processes (CSP) is a formal language for describing patterns of interaction in concurrent systems. It is a member of the family of mathematical theories of concurrency known as process algebras, or process calculi. CSP was influential in the development of the occam programming language.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. In computer science, Communicating Sequential Processes (CSP) is a formal language for describing patterns of interaction in concurrent systems. It is a member of the family of mathematical theories of concurrency known as process algebras, or process calculi. CSP was influential in the development of the occam programming language.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Weitere beliebte Ausgaben desselben Titels

9780131532717: Communicating Sequential Processes (Prentice Hall International Series in Computing Science)

Vorgestellte Ausgabe

ISBN 10:  0131532715 ISBN 13:  9780131532717
Verlag: Prentice Hall, 1985
Hardcover