{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:51:05Z","timestamp":1725663065816},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540167617"},{"type":"electronic","value":"9783540398592"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16761-7_80","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:52:31Z","timestamp":1330195951000},"page":"304-313","source":"Crossref","is-referenced-by-count":3,"title":["Refusal testing"],"prefix":"10.1007","author":[{"given":"Iain","family":"Phillips","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"32_CR1","unstructured":"J C M Baeten, J A Bergstra & J W Klop, Ready trace semantics for concrete process algebra with priority operator, CWI Amsterdam Report CS-R8517, 1985"},{"key":"32_CR2","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S. D. Brookes","year":"1984","unstructured":"S D Brookes, C A R Hoare & A W Roscoe, A theory of communicating sequential processes, JACM 31 (1984) 560\u2013569","journal-title":"JACM"},{"key":"32_CR3","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R Nicola De","year":"1984","unstructured":"R De Nicola & M C B Hennessy, Testing equivalences for processes, Theoret. Comput. Sci. 34 (1984) 83\u2013133 (and 10th ICALP, LNCS 154 (1983) 548\u2013560)","journal-title":"Theoret. Comput. Sci."},{"key":"32_CR4","first-page":"299","volume":"85","author":"M. C. B. Hennessy","year":"1980","unstructured":"M C B Hennessy & R Milner, On observing nondeterminism and concurrency, 7th ICALP, LNCS 85 (1980) 299\u2013309","journal-title":"7th ICALP, LNCS"},{"key":"32_CR5","doi-asserted-by":"crossref","unstructured":"R Milner, A calculus of communicating systems, LNCS 92 (1980)","DOI":"10.1007\/3-540-10235-3"},{"key":"32_CR6","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/3-540-10828-9_52","volume":"112","author":"R Milner","year":"1981","unstructured":"R Milner, A modal characterisation of observable machine-behaviour, CAAP, LNCS 112 (1981) 25\u201334","journal-title":"CAAP, LNCS"},{"key":"32_CR7","first-page":"561","volume":"154","author":"E. R. Olderog","year":"1983","unstructured":"E R Olderog & C A R Hoare, Specification-oriented semantics for communicating processes, 10th ICALP, LNCS 154 (1983) 561\u2013572","journal-title":"10th ICALP, LNCS"},{"key":"32_CR8","unstructured":"I C C Phillips, Refusal Testing, Imperial College Department of Computing Research Report DoC 85\/17, 1985"},{"key":"32_CR9","first-page":"15","volume":"194","author":"A Pnueli","year":"1985","unstructured":"A Pnueli, Linear and branching structures in the semantics and logic of reactive systems, 12th ICALP, LNCS 194 (1985) 15\u201332","journal-title":"12th ICALP, LNCS"},{"key":"32_CR10","unstructured":"C Stirling, Modal logics for communicating systems, University of Edinburgh Department of Computer Science Internal Report CSR-193-85, 1985"}],"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-16761-7_80.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:10:56Z","timestamp":1605643856000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16761-7_80"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540167617","9783540398592"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-16761-7_80","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}