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.

Synopsis

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.

"synopsis" may belong to another edition of this title.

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.

"About this title" may belong to another edition of this title.

Other Popular Editions of the Same Title

9780131532717: Communicating sequential processes (Prentice-Hall International series in computer science)

Featured Edition

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