{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:37Z","timestamp":1725663457219},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540541523"},{"type":"electronic","value":"9783540474722"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54152-7_59","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:33:43Z","timestamp":1330209223000},"page":"75-91","source":"Crossref","is-referenced-by-count":1,"title":["Acceptance Automata: A framework for specifying and verifying TCSP parallel systems"],"prefix":"10.1007","author":[{"given":"Luis M.","family":"Alonso","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ricardo","family":"Pe\u00f1a","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"5_CR1","unstructured":"Autebert, J.M., Gabarro, J., Serna, M.J. \u201cFinite memory CSP and CCS devices.\u201d Internal Rport, Departamento de Lenguajes y Sistemas Inform\u00e1ticos, Universidad Polit\u00e9cnica de Catalu\u00f1a (1990)."},{"key":"5_CR2","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S.D. Brookes","year":"1984","unstructured":"Brookes, S.D., Hoare, C.A.R., Roscoe, A.W. \u201cA Theory of Communicating Sequential Processes.\u201d Journal of the ACM 31 (1984) 560\u2013599.","journal-title":"Journal of the ACM"},{"key":"5_CR3","doi-asserted-by":"crossref","first-page":"896","DOI":"10.1145\/4221.4249","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"Hennessy, M. \u201cAcceptance Trees.\u201d Journal of the ACM 32 (1985) 896\u2013928.","journal-title":"Journal of the ACM"},{"key":"5_CR4","unstructured":"Hennessy, M. Algebraic Theory of Processes. MIT Press (1988)."},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R. Communicating Sequential Processes. Prentice-Hall (1985).","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"5_CR6","unstructured":"Hoare, C.A.R., Jifeng, H. \u201cAlgebraic Specification and Proof of Properties of Communicating Sequential Processes.\u201d Tech. Rep. PRG-52 (1985) Oxford University Computing Laboratory."},{"key":"5_CR7","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/BF01788563","volume":"3","author":"M.B. Josephs","year":"1988","unstructured":"Josephs, M.B. \u201dA state-based approach to communicating processes.\u201d Distributed Computing 3 (1988) 9\u201318.","journal-title":"Distributed Computing"},{"key":"5_CR8","doi-asserted-by":"crossref","first-page":"136","DOI":"10.1016\/S0019-9958(85)80048-6","volume":"64","author":"R. Niccola de","year":"1985","unstructured":"de Niccola, R. \u201dTwo Complete Axiom Systems for a Theory of Communicating Sequential Processes.\u201d Information and Control 64 (1985) 136\u2013172.","journal-title":"Information and Control"},{"key":"5_CR9","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/BF00268075","volume":"23","author":"E.-R. Olderog","year":"1986","unstructured":"Olderog, E.-R., Hoare, C.A.R. \u201cSpecification-Oriented Semantics for Communicating Processes.\u201d Acta Informatica 23 (1986) 9\u201366.","journal-title":"Acta Informatica"},{"key":"5_CR10","first-page":"245","volume":"104","author":"D. Park","year":"1981","unstructured":"Park, D. \u201cConcurrency and automata on infinite sequences.\u201d Proc. 5th GI Conf. of Theoretical Computer Science, LNCS 104 (1981) 245\u2013251.","journal-title":"LNCS"},{"key":"5_CR11","first-page":"328","volume":"352","author":"R. Pe\u00f1a","year":"1989","unstructured":"Pe\u00f1a, R., Alonso, L.M. \u201cSpecification and Verification of TCSP Systems by Means of Partial Abstract Data Types.\u201d In Proceedings TAPSOFT'89, LNCS 352 (1989) 328\u2013344.","journal-title":"LNCS"},{"key":"5_CR12","unstructured":"Wood, D. Theory of computation. John-Wiley (1987)."}],"container-title":["Lecture Notes in Computer Science","PARLE '91 Parallel Architectures and Languages Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54152-7_59.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T03:40:11Z","timestamp":1640922011000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54152-7_59"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540541523","9783540474722"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-54152-7_59","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}