{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T19:48:50Z","timestamp":1770752930210,"version":"3.50.0"},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540108283","type":"print"},{"value":"9783540387169","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/3-540-10828-9_52","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:26:03Z","timestamp":1330190763000},"page":"25-34","source":"Crossref","is-referenced-by-count":60,"title":["A modal characterisation of observable machine-behaviour"],"prefix":"10.1007","author":[{"given":"R.","family":"Milner","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Chandra, A. (1978) \"Computable Nondeterministic Functions\", Proc. 19th Ann. Symposium on Foundations of Computer Science, IEEE, pp.127\u2013131.","DOI":"10.1109\/SFCS.1978.10"},{"key":"2_CR2","first-page":"299","volume":"85","author":"M. Hennessy","year":"1980","unstructured":"Hennessy, M. and R. Milner (1980) \"On observing nondeterminism and concurrency\", Proc. 7th ICALP, Amsterdam, LNCS 85, pp.299\u2013309","journal-title":"Proc. 7th ICALP, Amsterdam, LNCS"},{"key":"2_CR3","first-page":"261","volume":"88","author":"M. Hennessy","year":"1980","unstructured":"Hennessy, M. and G. Plotkin (1980) \"A term model for CCS\", Proc. 9th MFCS, Poland, LNCS 88, pp.261\u2013274","journal-title":"Proc. 9th MFCS, Poland, LNCS"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Milner, R. (1980) \"A Calculus of Communicating Systems\", LNCS92.","DOI":"10.1007\/3-540-10235-3"},{"key":"2_CR5","unstructured":"Pratt, V. (1976) \"Semantical Considerations on Floyd-Hoare Logic\", Proc. 17th Ann. Symposium on Foundations of Computer Science, IEEE, pp.109\u2013121."}],"container-title":["Lecture Notes in Computer Science","CAAP '81"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10828-9_52.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:03:27Z","timestamp":1605643407000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10828-9_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540108283","9783540387169"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/3-540-10828-9_52","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1981]]}}}