Broadcasting buffering communication

Hoare, 1978, Communicating sequential processes, Commun. ACM, 21, 666, 10.1145/359576.359585 Milner, 1980, A Calculus of Communicating Systems, 10.1007/3-540-10235-3 Milner, 1980, On relating synchrony and asynchrony, University of Edinburgh, Department of Computer Science, Internal Report CSR-75-80 Hennessy, 1980, On observing nondeterminism and concurrency, 229 Broy, 1983, Fixed point theory for communication and concurrency, 125 Broy, 1980, Transformational semantics for concurrent programs, Inform. Process. Lett., 11, 87, 10.1016/0020-0190(80)90009-5 1985, 229 Hennessy, 1979, Full Abstraction for a simple parallel programming language, 261 Hennessy, 1980, A term model for CCS, 261 Hoare, 1981, A Theory of Communicating Sequential Processes, Oxford University Computing Laboratory, Programming Research Group, Technical Monograph PRG-21 Plotkin, 1976, A powerdomain construction, SIAM J. Comput., 452–486 Smyth, 1978, Power domains, J. CSS, 16, 23