{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T00:48:06Z","timestamp":1772498886966,"version":"3.50.1"},"reference-count":23,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1979,12,1]],"date-time":"1979-12-01T00:00:00Z","timestamp":312854400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":12282,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Computer and System Sciences"],"published-print":{"date-parts":[[1979,12]]},"DOI":"10.1016\/0022-0000(79)90006-0","type":"journal-article","created":{"date-parts":[[2003,12,4]],"date-time":"2003-12-04T12:01:00Z","timestamp":1070539260000},"page":"290-308","source":"Crossref","is-referenced-by-count":65,"title":["Semantics of nondeterminism, concurrency, and communication"],"prefix":"10.1016","volume":"19","author":[{"given":"Nissim","family":"Francez","sequence":"first","affiliation":[]},{"given":"C.A.R.","family":"Hoare","sequence":"additional","affiliation":[]},{"given":"Daniel J.","family":"Lehmann","sequence":"additional","affiliation":[]},{"given":"Willem P.","family":"De Roever","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0022-0000(79)90006-0_BIB1","series-title":"Proceedings, 3rd Coll. Automata, Languages and Programming","article-title":"Semantics and termination of nondeterministic recursive programs","author":"De Bakker","year":"1976"},{"key":"10.1016\/0022-0000(79)90006-0_BIB2","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1109\/TSE.1975.6312840","article-title":"The programming language Concurrent Pascal","volume":"1, 2","author":"Brinch-Hansen","year":"1975","journal-title":"IEEE Trans. Software Engrg."},{"issue":"No. 1","key":"10.1016\/0022-0000(79)90006-0_BIB3","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1007\/BF00571463","article-title":"Program proving: Coroutines","volume":"2","author":"Clint","year":"1973","journal-title":"Acta Informatica"},{"key":"10.1016\/0022-0000(79)90006-0_BIB4","series-title":"A Discipline Programming","author":"Dijkstra","year":"1976"},{"key":"10.1016\/0022-0000(79)90006-0_BIB5","article-title":"An elephant inspired by the Dutch National Flag","author":"Dijkstra","year":"1977","journal-title":"EWD 608"},{"key":"10.1016\/0022-0000(79)90006-0_BIB6","series-title":"A Mathematical Model for Nondeterministic Computations","author":"Egli","year":"1975"},{"key":"10.1016\/0022-0000(79)90006-0_BIB7","unstructured":"K.R. Apt, N. Francez, and W.P. de Roever, A proof system for communicating sequential processes, TOPLAS, submitted for publication."},{"key":"10.1016\/0022-0000(79)90006-0_BIB8","series-title":"Proceedings, IFIP Working Conference on Formal Description of Programming Concepts","article-title":"Abstract errors for abstract data types","author":"Goguen","year":"1977"},{"key":"10.1016\/0022-0000(79)90006-0_BIB9","doi-asserted-by":"crossref","DOI":"10.1145\/359576.359585","article-title":"Communicating sequential processes","volume":"21","author":"Hoare","year":"1978","journal-title":"Comm. ACM"},{"key":"10.1016\/0022-0000(79)90006-0_BIB10","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1145\/355620.361161","article-title":"Monitors: An operating systems structuring concept","volume":"17","author":"Hoare","year":"1974","journal-title":"Comm. ACM."},{"key":"10.1016\/0022-0000(79)90006-0_BIB11","article-title":"The semantics of a simple language for parallel programming","author":"Kahn","year":"1974","journal-title":"IFI"},{"key":"10.1016\/0022-0000(79)90006-0_BIB12","series-title":"Math. Systems Theory","first-page":"7","article-title":"Algebraic specifications of data types: A synthetic approach","author":"Lehmann","year":"1977"},{"key":"10.1016\/0022-0000(79)90006-0_BIB13","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1145\/322123.322134","article-title":"Concurrent processes and their syntax","volume":"26","author":"Milne","year":"1979","journal-title":"J. Assoc. Comput. Mach."},{"key":"10.1016\/0022-0000(79)90006-0_BIB14","series-title":"Logic Colloquium 1973","article-title":"Processes: A mathematical model of computing agents","author":"Milner","year":"1973"},{"key":"10.1016\/0022-0000(79)90006-0_BIB15","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1007\/BF00268134","article-title":"An axiomatic proof technique for parallel programs, I","volume":"6","author":"Owicki","year":"1976","journal-title":"Acta Informatica"},{"issue":"No 3","key":"10.1016\/0022-0000(79)90006-0_BIB16","doi-asserted-by":"crossref","DOI":"10.1137\/0205035","article-title":"A power domain construction","volume":"5","author":"Plotkin","year":"1976","journal-title":"SIAM J. Comput."},{"key":"10.1016\/0022-0000(79)90006-0_BIB17","series-title":"Proceedings, Conference on Mathematical Foundation of Computer Science, 1976","article-title":"Dijkstra's predicate transformer, nondeterminism, recursion, and termination","author":"De Roever","year":"1976"},{"key":"10.1016\/0022-0000(79)90006-0_BIB18","series-title":"Proceedings, Symposium on Computers and Automata","article-title":"Towards a mathematical semantics for computer languages","author":"Scott","year":"1971"},{"key":"10.1016\/0022-0000(79)90006-0_BIB19","series-title":"Proceedings, 4th Princeton Conf. on Info. Sci and Sys.","article-title":"Outline of mathematical theory of computation","author":"Scott","year":"1970"},{"key":"10.1016\/0022-0000(79)90006-0_BIB20","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/0022-0000(78)90048-X","article-title":"Power domains","volume":"16","author":"Smyth","year":"1978","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/0022-0000(79)90006-0_BIB21","series-title":"Denotational Semantics of Programming Languages: The Scott-Strachey Approach","author":"Stop","year":"1977"},{"key":"10.1016\/0022-0000(79)90006-0_BIB22","series-title":"A Theory of Programming Language Semantics","author":"Strachey","year":"1977"},{"key":"10.1016\/0022-0000(79)90006-0_BIB23","series-title":"A Model for Communicating Sequential Processes","author":"Hoare","year":"1978"}],"container-title":["Journal of Computer and System Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0022000079900060?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0022000079900060?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T13:28:57Z","timestamp":1550323737000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0022000079900060"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1979,12]]},"references-count":23,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1979,12]]}},"alternative-id":["0022000079900060"],"URL":"https:\/\/doi.org\/10.1016\/0022-0000(79)90006-0","relation":{},"ISSN":["0022-0000"],"issn-type":[{"value":"0022-0000","type":"print"}],"subject":[],"published":{"date-parts":[[1979,12]]}}}