{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T17:15:40Z","timestamp":1648660540329},"reference-count":60,"publisher":"Elsevier BV","issue":"2-3","license":[{"start":{"date-parts":[[1984,8,1]],"date-time":"1984-08-01T00:00:00Z","timestamp":460166400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,18]],"date-time":"2013-07-18T00:00:00Z","timestamp":1374105600000},"content-version":"vor","delay-in-days":10578,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information and Control"],"published-print":{"date-parts":[[1984,8]]},"DOI":"10.1016\/s0019-9958(84)80032-7","type":"journal-article","created":{"date-parts":[[2005,5,6]],"date-time":"2005-05-06T20:43:56Z","timestamp":1115412236000},"page":"144-189","source":"Crossref","is-referenced-by-count":10,"title":["Functional behavior of nondeterministic and concurrent programs"],"prefix":"10.1016","volume":"62","author":[{"given":"Michael G.","family":"Main","sequence":"first","affiliation":[]},{"given":"David B.","family":"Benson","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0019-9958(84)80032-7_bib1","series-title":"Foundations of Computation Theory","first-page":"1","article-title":"Experiments, powerdomains, and fully abstract models for applicative multiprogramming","volume":"Vol. 158","author":"Abramsky","year":"1983"},{"key":"10.1016\/S0019-9958(84)80032-7_bib2","article-title":"Systems d'\u00e9quations dans le magmoide","author":"Arnold","year":"1977"},{"key":"10.1016\/S0019-9958(84)80032-7_bib3","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1051\/ita\/1978120302351","article-title":"Th\u00e9orie des magmoides, I, II","volume":"12","author":"Arnold","year":"1978","journal-title":"RAIRO Inform. Th\u00e9or."},{"key":"10.1016\/S0019-9958(84)80032-7_bib4","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1051\/ita\/1979130201351","article-title":"Th\u00e9orie des magmoides, I, II","volume":"13","author":"Arnold","year":"1978","journal-title":"RAIRO Inform. Th\u00e9or."},{"key":"10.1016\/S0019-9958(84)80032-7_bib5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0019-9958(75)90208-9","article-title":"The basic algebraic structures in categories of derivations","volume":"28","author":"Benson","year":"1975","journal-title":"Inform. and Control"},{"key":"10.1016\/S0019-9958(84)80032-7_bib6","series-title":"IEEE Trans. Software Engrg.","article-title":"Counting paths: Nondeterminism as linear algebra","author":"Benson","year":"1982"},{"key":"10.1016\/S0019-9958(84)80032-7_bib7","article-title":"Studies in Fork-Join Parallelism","author":"Benson","year":"1982"},{"key":"10.1016\/S0019-9958(84)80032-7_bib8","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1007\/BF01786983","article-title":"In Scott-Strachey style semantics, parallelism implies nondeterminism","volume":"15","author":"Benson","year":"1982","journal-title":"Math. Systems Theory"},{"key":"10.1016\/S0019-9958(84)80032-7_bib9","series-title":"Algebra I","author":"Bourbaki","year":"1974"},{"key":"10.1016\/S0019-9958(84)80032-7_bib10","series-title":"Formalization of Programming Concepts","first-page":"252","article-title":"Scenerios: A model of non-determinate computation","volume":"Vol. 107","author":"Brock","year":"1981"},{"key":"10.1016\/S0019-9958(84)80032-7_bib11","series-title":"Theoretical Foundations of Programming Methodology","first-page":"565","article-title":"A fixed point approach to applicative multiprogramming","author":"Broy","year":"1982"},{"key":"10.1016\/S0019-9958(84)80032-7_bib12","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1145\/360933.360975","article-title":"Guarded commands, nondeterminacy and formal derivation of programs","volume":"18","author":"Dijkstra","year":"1975","journal-title":"Comm. ACM"},{"key":"10.1016\/S0019-9958(84)80032-7_bib13","series-title":"A Discipline of Programming","author":"Dijkstra","year":"1976"},{"key":"10.1016\/S0019-9958(84)80032-7_bib14","series-title":"Sympos. on Semantics of Algorithm Languages","first-page":"71","article-title":"Algebraic theories and program schemes","volume":"Vol. 188","author":"Elgot","year":"1971"},{"key":"10.1016\/S0019-9958(84)80032-7_bib15","series-title":"Logic Colloquium 73","first-page":"175","article-title":"Monadic computations and iterative algebraic theories","author":"Elgot","year":"1975"},{"key":"10.1016\/S0019-9958(84)80032-7_bib16","series-title":"Automata, Languages and Programming, 9th Colloquium","first-page":"212","article-title":"An operational semantics for pure dataflow","volume":"Vol. 140","author":"Faustini","year":"1982"},{"key":"10.1016\/S0019-9958(84)80032-7_bib17","article-title":"An Introduction to Categories, Algebraic Theories and Algebras","author":"Goguen","year":"1975"},{"key":"10.1016\/S0019-9958(84)80032-7_bib18","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/321992.321997","article-title":"Initial algebra semantics and continuous algebras","volume":"24","author":"Goguen","year":"1977","journal-title":"J. Assoc. Comput. Mach."},{"key":"10.1016\/S0019-9958(84)80032-7_bib19","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1090\/S0002-9947-1969-0237687-X","article-title":"The tensor product of semi-groups","volume":"138","author":"Grillet","year":"1969","journal-title":"Trans. Amer. Math. Soc."},{"key":"10.1016\/S0019-9958(84)80032-7_bib20","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1090\/S0002-9947-1969-0237688-1","article-title":"The tensor product of commutative semi-groups","volume":"138","author":"Grillet","year":"1969","journal-title":"Trans. Amer. Math. Soc."},{"key":"10.1016\/S0019-9958(84)80032-7_bib21","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1137\/0209005","article-title":"The semantics of call-by-value and call-by-name in a nondeterministic environment","volume":"9","author":"Hennessy","year":"1980","journal-title":"SIAM J. Comput."},{"key":"10.1016\/S0019-9958(84)80032-7_bib22","series-title":"Proceedings of the 9th Annual ACM Symposium of Theory of Computing","first-page":"306","article-title":"Parameter-passing mechanisms and non-determinism","author":"Hennessy","year":"1977"},{"key":"10.1016\/S0019-9958(84)80032-7_bib23","series-title":"Mathematical Foundations of Computer Science 79","first-page":"108","article-title":"Full abstraction for a simple parallel programming language","volume":"Vol. 74","author":"Hennessy","year":"1979"},{"key":"10.1016\/S0019-9958(84)80032-7_bib24","first-page":"235","article-title":"Eindeutigkeit und Mehrdeutigkeit formaler Sprachen","volume":"2","author":"Hotz","year":"1966","journal-title":"Elektron. Informationsverarb Kybernet."},{"key":"10.1016\/S0019-9958(84)80032-7_bib25","series-title":"Problems of Cybernetics","article-title":"The logical schemes of algorithms","author":"Ianov","year":"1960"},{"key":"10.1016\/S0019-9958(84)80032-7_bib26","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0021-8693(70)90084-0","article-title":"On modules over a semiring","volume":"15","author":"Johnson","year":"1970","journal-title":"J. Algebra"},{"key":"10.1016\/S0019-9958(84)80032-7_bib27","series-title":"Proceedings of the Int. Fed. Inform. Process. Congress 74","first-page":"471","article-title":"The semantics of a simple language for parallel programming","author":"Kahn","year":"1974"},{"key":"10.1016\/S0019-9958(84)80032-7_bib28","series-title":"Third Annual ACM Symposium on Principles of Programming Languages","first-page":"175","article-title":"Mathematical semantics and data flow programming","author":"Kosinski","year":"1976"},{"key":"10.1016\/S0019-9958(84)80032-7_bib29","series-title":"Fifth Annual ACM Symposium on Principles of Programming Languages","first-page":"214","article-title":"A straightforward denotational semantics for nondeterminate dataflow programs","author":"Kosinski","year":"1978"},{"key":"10.1016\/S0019-9958(84)80032-7_bib30","doi-asserted-by":"crossref","first-page":"328","DOI":"10.1016\/0022-0000(81)90036-2","article-title":"Semantics of probabilistic programs","volume":"22","author":"Kozen","year":"1981","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/S0019-9958(84)80032-7_bib31","unstructured":"Kurshan, R. P., and Gopinath, B. (undated), The selection-resolution model for concurrent processes, preprint, Bell Laboratories, Murray Hill, N. J. 07974."},{"key":"10.1016\/S0019-9958(84)80032-7_bib32","series-title":"Modelling fully distributed (asynchronous) concurrent processes","author":"Kurshan","year":"1982"},{"key":"10.1016\/S0019-9958(84)80032-7_bib33","doi-asserted-by":"crossref","first-page":"400","DOI":"10.1016\/0022-0000(83)90050-8","article-title":"Deterministic and nondeterministic flowchart interpretations","volume":"27","author":"Lorentz","year":"1983","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/S0019-9958(84)80032-7_bib34","series-title":"Categories for the Working Mathematician","author":"MacLane","year":"1971"},{"key":"10.1016\/S0019-9958(84)80032-7_bib35","series-title":"Algebra","author":"MacLane","year":"1979"},{"key":"10.1016\/S0019-9958(84)80032-7_bib36","article-title":"Models for Distributed Computing","author":"MacQueen","year":"1979","journal-title":"INRIA Technical Report 351"},{"key":"10.1016\/S0019-9958(84)80032-7_bib37","article-title":"Interpretations of Dataflow Theories","author":"Main","year":"1982"},{"key":"10.1016\/S0019-9958(84)80032-7_bib38","article-title":"An algebra for nondeterministic distributed processes","author":"Main","year":"1982"},{"key":"10.1016\/S0019-9958(84)80032-7_bib39","series-title":"Algebraic Theories","author":"Manes","year":"1976"},{"key":"10.1016\/S0019-9958(84)80032-7_bib40","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1016\/0022-247X(82)90010-5","article-title":"A class of fuzzy theories","volume":"85","author":"Manes","year":"1982","journal-title":"J. Math. Anal. Appl."},{"key":"10.1016\/S0019-9958(84)80032-7_bib41","unstructured":"Milner, R., \u201cA Calculus of Communicating Systems,\u201d Lecture Notes in Computer Science Vol. 92 Springer-Verlag, Berlin\/New York."},{"key":"10.1016\/S0019-9958(84)80032-7_bib42","article-title":"Calculi for Synchroni and Asynchroni","author":"Milner","year":"1982"},{"key":"10.1016\/S0019-9958(84)80032-7_bib43","series-title":"Proceedings ACM Symposium on Principles of Distributed Computing","article-title":"Four combinators for concurrency","author":"Milner","year":"1982"},{"key":"10.1016\/S0019-9958(84)80032-7_bib44","doi-asserted-by":"crossref","first-page":"302","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\/S0019-9958(84)80032-7_bib45","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/BF01744299","article-title":"Categorical and topological aspects of formal languages","volume":"13","author":"Nelson","year":"1980","journal-title":"Math. Systems Theory"},{"key":"10.1016\/S0019-9958(84)80032-7_bib46","series-title":"Automata, Languages and Programming, 10th Colloquium","first-page":"548","article-title":"Testing equivalences for processes","volume":"Vol. 154","author":"de Nicola","year":"1983"},{"key":"10.1016\/S0019-9958(84)80032-7_bib47","doi-asserted-by":"crossref","first-page":"452","DOI":"10.1137\/0205035","article-title":"A powerdomain construction","volume":"5","author":"Plotkin","year":"1976","journal-title":"SIAM J. Comput."},{"key":"10.1016\/S0019-9958(84)80032-7_bib48","series-title":"Abstract Software Specifications","first-page":"527","article-title":"Dijkstra's predicate transformers and Smyth's powerdomains","volume":"Vol. 86","author":"Plotkin","year":"1980"},{"key":"10.1016\/S0019-9958(84)80032-7_bib49","series-title":"Formalizations of Programming Concepts","first-page":"447","article-title":"Using least fixed points to characterize formal computations of nondeterminate equations","volume":"Vol. 107","author":"Poigne","year":"1981"},{"key":"10.1016\/S0019-9958(84)80032-7_bib50","series-title":"5th International Symposium on Programming","first-page":"323","article-title":"On effective computations of nondeterministic schemes","volume":"Vol. 137","author":"Poigne","year":"1982"},{"key":"10.1016\/S0019-9958(84)80032-7_bib51","series-title":"Ninth Annual ACM Symposium on Principles of Programming Languages","article-title":"On the composition of processes","author":"Pratt","year":"1982"},{"key":"10.1016\/S0019-9958(84)80032-7_bib52","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/0304-3975(80)90003-1","article-title":"CPO's measures for nondeterminism","volume":"12","author":"Saheb-Djahromi","year":"1980","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0019-9958(84)80032-7_bib53","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/0022-0000(78)90048-X","article-title":"Powerdomains","volume":"16","author":"Smyth","year":"1978","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/S0019-9958(84)80032-7_bib54","series-title":"Automata, Languages and Programming, 10th Colloquium","first-page":"662","article-title":"Power domains and predicate transformers:A topological view","volume":"Vol. 154","author":"Smyth","year":"1983"},{"key":"10.1016\/S0019-9958(84)80032-7_bib55","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/0022-0000(83)90028-4","article-title":"Port automata and the algebra of concurrent processes","volume":"27","author":"Steenstrup","year":"1983","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/S0019-9958(84)80032-7_bib56","series-title":"Mathematical Foundations of Computer Science 78","first-page":"84","article-title":"Programming languages as mathematical objects","volume":"Vol. 64","author":"Wagner","year":"1978"},{"key":"10.1016\/S0019-9958(84)80032-7_bib57","series-title":"Ninth Annual ACM Symposium on Principles of Programming Languages","article-title":"Messages as active agents","author":"Wall","year":"1982"},{"key":"10.1016\/S0019-9958(84)80032-7_bib58","first-page":"105","article-title":"An algebraic characterization of the behavior of nonsequential systems","author":"Winkowski","year":"1977"},{"key":"10.1016\/S0019-9958(84)80032-7_bib59","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0304-3975(80)90004-3","article-title":"Behaviors of concurrent systems","volume":"12","author":"Winkowski","year":"1980","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0019-9958(84)80032-7_bib60","series-title":"Foundations of Computation Theory","first-page":"505","article-title":"A note on powerdomains and modality","volume":"Vol. 158","author":"Winskel","year":"1983"}],"container-title":["Information and Control"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0019995884800327?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0019995884800327?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,1,26]],"date-time":"2019-01-26T17:54:45Z","timestamp":1548525285000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0019995884800327"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984,8]]},"references-count":60,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1984,8]]}},"alternative-id":["S0019995884800327"],"URL":"https:\/\/doi.org\/10.1016\/s0019-9958(84)80032-7","relation":{},"ISSN":["0019-9958"],"issn-type":[{"value":"0019-9958","type":"print"}],"subject":[],"published":{"date-parts":[[1984,8]]}}}