{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,15]],"date-time":"2026-04-15T00:54:40Z","timestamp":1776214480889,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540100034","type":"print"},{"value":"9783540393467","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1980]]},"DOI":"10.1007\/3-540-10003-2_79","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:59:59Z","timestamp":1330189199000},"page":"299-309","source":"Crossref","is-referenced-by-count":120,"title":["On observing nondeterminism and concurrency"],"prefix":"10.1007","author":[{"given":"Matthew","family":"Hennessy","sequence":"first","affiliation":[]},{"given":"Robin","family":"Milner","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"26_CR1","doi-asserted-by":"crossref","unstructured":"Gordon, M.J., \"The Denotational Description of Programming Languages\", Springer-Verlag, 1979.","DOI":"10.1007\/978-1-4612-6228-2"},{"key":"26_CR2","first-page":"108","volume":"74","author":"M. Hennessy","year":"1979","unstructured":"Hennessy, M. and Plotkin, G.D., \"Full Abstraction for a Simple Parallel Programming Language\", Proc. 8th MFCS Conference, Olomouc, Czechoslovakia, Springer-Verlag Lecture Notes in Computer Science, Vol. 74, pp. 108\u2013121, 1979.","journal-title":"Proc. 8th MFCS Conference, Olomouc, Czechoslovakia, Springer-Verlag Lecture Notes in Computer Science"},{"key":"26_CR3","doi-asserted-by":"crossref","unstructured":"Milne, G. and Milner, R., \"Concurrent Processes and their Syntax\", to appear in J.A.C.M., 1979.","DOI":"10.1145\/322123.322134"},{"key":"26_CR4","first-page":"71","volume":"64","author":"R. Milner","year":"1978","unstructured":"Milner, R., \"Synthesis of Communicating Behaviour\", Proc. 7th MFCS Conference, Zakopane, Poland, Springer-Verlag Lecture Notes in Computer Science, Vol. 64, pp. 71\u201383, 1978.","journal-title":"Proc. 7th MFCS Conference, Zakopane, Poland, Springer-Verlag Lecture Notes in Computer Science"},{"key":"26_CR5","unstructured":"Smyth, M., \"Powerdomains\", J.C.S.S. 15, Vol. 1, 1978."},{"key":"26_CR6","unstructured":"Stoy, J.E., \"Denotational Semantics: The Scott Strachey Approach to Programming Language Theory\", MIT Press, 1977."},{"key":"26_CR7","doi-asserted-by":"crossref","first-page":"452","DOI":"10.1137\/0205035","volume":"3","author":"G. D. Plotkin","year":"1976","unstructured":"Plotkin, G.D., \"A Powerdomain Construction\", SIAM Journal on Computing 5, Vol.3, pp. 452\u2013487, 1976.","journal-title":"SIAM Journal on Computing"},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"Pnueli, A., \"The Temporal Logic of Programs\", Proc. 19th Annual Symposium on Foundations of Computer Science, Providence, R.I., 1977.","DOI":"10.1109\/SFCS.1977.32"},{"key":"26_CR9","doi-asserted-by":"crossref","unstructured":"Pratt, V.R., \"Semantical Considerations on Floyd-Hoare Logic\", Proc. 17th IEEE Symp. on Foundations of Comp. Sci, pp. 109\u2013121, 1976.","DOI":"10.1109\/SFCS.1976.27"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10003-2_79.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:02:21Z","timestamp":1605643341000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10003-2_79"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980]]},"ISBN":["9783540100034","9783540393467"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-10003-2_79","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1980]]}}}