{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,6]],"date-time":"2026-05-06T03:23:30Z","timestamp":1778037810515,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540156703","type":"print"},{"value":"9783540395935","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15670-4_14","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T13:22:39Z","timestamp":1330176159000},"page":"281-305","source":"Crossref","is-referenced-by-count":115,"title":["An improved failures model for communicating processes"],"prefix":"10.1007","author":[{"given":"S. D.","family":"Brookes","sequence":"first","affiliation":[]},{"given":"A. W.","family":"Roscoe","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Apt, K. R., Francez, N., and de Roever, W. P., A Proof System for Communicating Sequential Processes, ACM TOPLAS, Vol. 2 No. 3, July 1980.","DOI":"10.1145\/357103.357110"},{"key":"14_CR2","unstructured":"Brookes, S. D., A Model for Communicating Sequential Processes, Ph. D. thesis, Oxford University (1983). Available as CMU Technical Report CMU-CS-83-149 and PRG Monograph."},{"key":"14_CR3","unstructured":"Brookes, S. D., Hoare, C. A. R., and Roscoe, A. W., A Theory of Communicating Sequential Processes, Oxford University Computing Laboratory, Programming Research Group, Technical Report PRG-16."},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Brookes, S. D., Hoare, C. A. R., and Roscoe, A. W., A Theory of Communicating Sequential Processes, JACM July 1984.","DOI":"10.1145\/828.833"},{"key":"14_CR5","unstructured":"Brookes, S. D., and Roscoe, A. W., An Improved failures Model for Communicating Processes (full version of this paper), to appear, CMU Technical Report."},{"key":"14_CR6","series-title":"LNCS","volume-title":"Deadlock Analysis in Networks of Processes","author":"S. D. Brookes","year":"1985","unstructured":"Brookes, S. D., and Roscoe, A. W., Deadlock Analysis in Networks of Processes, to appear in Proceedings of the NATO Advanced Seminar on Concurrency, La Colle-Sur-Loup, Springer Verlag LNCS (1985)."},{"key":"14_CR7","unstructured":"Broy, M., Semantics of Communicating Processes, preprint, Institut fur Informatik, Technische Universiat Munchen (1983)."},{"key":"14_CR8","first-page":"47","volume":"137","author":"Ph. Darondeau","year":"1982","unstructured":"Darondeau, Ph., An enlarged definition and complete axiomatization of observational congruence of finite processes, Springer Verlag LNCS vol. 137, pp. 47\u201362 (1982).","journal-title":"Springer Verlag LNCS"},{"key":"14_CR9","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0304-3975(84)90022-7","volume":"32","author":"N. Francez","year":"1984","unstructured":"Francez, N., Lehmann, D., and Pnueli, A., A Linear History Semantics for Communicating Processes, Theoretical Computer Science 32 (1984) 25\u201346.","journal-title":"Theoretical Computer Science"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Francez, N., Hoare, C. A. R., Lehmann, D., and de Roever, W. P., Semantics of nondeterminism, concurrency and communication, JCSS vol. 19 no. 3 (1979).","DOI":"10.1016\/0022-0000(79)90006-0"},{"issue":"1\u20133","key":"14_CR11","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1016\/S0019-9958(83)80029-1","volume":"59","author":"M. Hennessy","year":"1983","unstructured":"Hennessy, M., Synchronous and Asynchronous Experiments on Processes, Information and Control, Vol. 59, Nos 1\u20133, pp. 36\u201383 (1983).","journal-title":"Information and Control"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Hennessy, M., and de Nicola, R., Testing equivalences for processes, Proc. ICALP 1983, Springer LNCS 154 (1983).","DOI":"10.1007\/BFb0036936"},{"key":"14_CR13","unstructured":"Hoare, C. A. R., A Model for Communicating Sequential Processes, Oxford University Computing Laboratory, Programming Research Group, Technical Report PRG-22."},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Hoare, C. A. R., Communicating Sequential Processes, CACM 1978.","DOI":"10.1145\/359576.359585"},{"key":"14_CR15","unstructured":"Kennaway, J., Formal semantics of nondeterminism and parallelism, D. Phil thesis, Oxford University (1981)."},{"key":"14_CR16","first-page":"338","volume":"85","author":"J. Kennaway","year":"1980","unstructured":"Kennaway, J., A theory of nondeterminism, Springer LNCS vol. 85, pp 338\u2013350 (1980).","journal-title":"Springer LNCS"},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"Levin, G. M., and Gries, D., A Proof Technique for Communicating Sequential Processes, Acta Informatica 15 (1981).","DOI":"10.1007\/BF00289266"},{"key":"14_CR18","unstructured":"Milner, R., A Calculus of Communicating Systems, Springer Verlag LNCS 92."},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"de Nicola, R., Two Complete Sets of Axioms for a Theory of Communicating Sequential Processes, Proc. International Conference on Foundations of Computation Theory, Borgholm, Sweden, Springer LNCS (1983).","DOI":"10.1007\/3-540-12689-9_98"},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"de Nicola, R., Models and Operators for Nondeterministic Processes, Proceedings of the Conference on Mathematical Foundations of Computer Science, Springer Verlag LNCS (1984).","DOI":"10.1007\/BFb0030326"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"Olderog, E-R, Specification-oriented semantics of communicating processes, Proc. ICALP 1983, Springer LNCS 154 (1983).","DOI":"10.1007\/BFb0036937"},{"key":"14_CR22","unstructured":"Plotkin, An Operational Semantics for CSP, W.G.2.2 Conference proceedings (1982)."},{"key":"14_CR23","unstructured":"Roscoe, A. W., A Mathematical Theory of Communicating Processes, Ph. D. thesis, Oxford University (1982)."},{"key":"14_CR24","doi-asserted-by":"crossref","unstructured":"Roscoe, A. W., A Denotational Semantics for occam, Proc. NSF-SERC Seminar on Concurrency, to appear in Springer Lecture Notes series (1984).","DOI":"10.1007\/3-540-15670-4_15"},{"key":"14_CR25","doi-asserted-by":"crossref","unstructured":"Rounds, W. C., and Brookes, S. D., Possible futures, acceptances, refusals and communicating processes, Proc. 22nd IEEE Symposium on Foundations of Computer Science (1981).","DOI":"10.1109\/SFCS.1981.36"},{"key":"14_CR26","volume-title":"Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory","author":"J. E. Stoy","year":"1977","unstructured":"Stoy, J. E., Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, MIT Press, Cambridge, Mass. (1977)."}],"container-title":["Lecture Notes in Computer Science","Seminar on Concurrency"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15670-4_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:08:40Z","timestamp":1605625720000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15670-4_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540156703","9783540395935"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-15670-4_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1985]]}}}