CITATION STYLE
Hoare, C. A. R. (1987). Algebraic Specifications and Proofs for Communicating Sequential Processes. In Logic of Programming and Calculi of Discrete Design (pp. 277–301). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-87374-4_11
Mendeley helps you to discover research relevant for your work.