- 1 APT, K.R., FRANCEZ, N., AND oEROEVER, W.P. A proof system for communicating sequential processes. ACM Trans. Program. Lang. Syst. 2, 3 (July 1980), 359-385. Google Scholar
- 2 BERNSTEIN, A.J. Output guards and nondeterminism in "Conununicating Sequential Processes." ACM Trans. Program. Lang. Syst. 2, 2 (Apr. 1980), 234-238. Google Scholar
- 3 DIJKSTRA, E.W. Guarded commands, nondeterminacy and formal derivation of programs. Commun. ACM 18, 8 (Aug. 1975), 453-457. Google Scholar
- 4 FRANCEZ, N., AND ROOEH, M. A dis~but~ abstract data type implemented by a probabilistic communication scheme. In 21st Annual Symposium on Foundations of Computer Science, Syracuse, N.Y., Oct. 13-15, 1980, pp. 373-379.Google Scholar
- 5 HOARE, C.A.R. Communicating sequential processes. Commun. ACM 21, 8 (Aug. 1978), 666-677. Google Scholar
- 6 LF. vm, G.M., AND GRIES, D. A proof technique for Communicating Sequential Processes. Acta Inf. 15, 3 (June 1981), 281-302.Google Scholar
- 7 SCHNEIOER, F.B. Synchronization in distributed programs. ACM Trans. Program. Lang. Syst. 4, 2 (Apr. 1982), 125-148. Google Scholar
- 8 SCHWARZ, J.S. Distributed synchronization of communicating sequential processes. Tech. Rep., Dep. of Artificial Intelligence, Univ. of Edinburgh, Edinburgh, Scofiand, July 1978.Google Scholar
- 9 SILBERSCHATZ, A. Communication and synchronization in distributed systems. IEEE Trans. Sofiw. Eng. SE-5, 6 (Nov. 1979), 542-546.Google Scholar
- 10 VAN DE SNEPSCHEUT, J.L.A. Synchronous communication between asynchronous components. inf. Process. Lett. 13, 3 (Dec. 1981), 127-130.Google Scholar
Index Terms
- An Effective Implementation for the Generalized Input-Output Construct of CSP
Recommendations
Satisfaction of input and output encoding constraints
Three encoding problems relevant to the synthesis of digital circuits are input, output, and state encoding. Several encoding strategies have been proposed in the past that decompose the encoding problem into a two step process of constraint generation ...
Input-Output Tools: A Language Facility for Interactive and Real-Time Systems
A conceptual model is discussed which allows the hierarchic definition of high-level input driven objects, called input-output tools, from any set of basic input primitives. An input-output tool is defined as a named object. Its most important elements ...
Comments