A Theory of Communicating Sequential Processes

Brookes, S. D.; Hoare, C. A. R.; Roscoe, A. W.

doi:10.1145/828.833

Record: found
Abstract: not found
Article: not found

A Theory of Communicating Sequential Processes

Author(s): S. D. Brookes , C. A. R. Hoare , A. W. Roscoe

Publication date (Print): June 1984

Journal: Journal of the ACM

Publisher: Association for Computing Machinery (ACM)

Read this article at

ScienceOpenPublisher

Bookmark

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Abstract

Related collections

Author and article information

Journal

Title: Journal of the ACM

Abbreviated Title: J. ACM

Publisher: Association for Computing Machinery (ACM)

ISSN (Print): 00045411

Publication date (Print): June 1984

Volume: 31

Issue: 3

Pages: 560-599

Article

DOI: 10.1145/828.833

Product

Self URI (article page): http://portal.acm.org/citation.cfm?doid=828.833

Data availability:

A Theory of Communicating Sequential Processes

Read this article at

Abstract

Related collections

Numerical Algebra, Matrix Theory, Differential-Algebraic Equations, and Control Theory

Author and article information

Journal

Article

Product

Comments

Comment on this article

Similar content 3,258

Cited by 90