{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T17:27:41Z","timestamp":1648920461042},"reference-count":10,"publisher":"Elsevier BV","issue":"5","license":[{"start":{"date-parts":[[2003,5,1]],"date-time":"2003-05-01T00:00:00Z","timestamp":1051747200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3742,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2003,5]]},"DOI":"10.1016\/s1571-0661(04)80522-x","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T16:47:47Z","timestamp":1096476467000},"page":"101-115","source":"Crossref","is-referenced-by-count":0,"title":["Process Algebras as Specification Language"],"prefix":"10.1016","volume":"68","author":[{"given":"Friedger","family":"M\u00fcffke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80522-X_NEWBIB1","doi-asserted-by":"crossref","unstructured":"Baeten J. and J. Bergstra, Process algebra with signals and conditions, in: M. Broy, editor, Programming and Mathematical Method, 1990 NATO ASi Series F Proceedings Summer School Marktoberdorf (1992), pp. 273\u2013323.","DOI":"10.1007\/978-3-642-77572-7_13"},{"key":"10.1016\/S1571-0661(04)80522-X_NEWBIB2","series-title":"\u201cFailures-Divergence Refinement, FDR2 User Manual\u201d","author":"Gardiner","year":"2000"},{"key":"10.1016\/S1571-0661(04)80522-X_NEWBIB3","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/3-540-45251-6_6","article-title":"How to make FDR spin \u2013 LTL model checking of CSP by refinement","volume":"2021","author":"Leuschel","year":"2001","journal-title":"Lecture Notes of Computer Science"},{"key":"10.1016\/S1571-0661(04)80522-X_NEWBIB4","series-title":"\u201cCommunication and Concurrency,\u201d","author":"Milner","year":"1989"},{"key":"10.1016\/S1571-0661(04)80522-X_NEWBIB5","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1006\/inco.1994.1083","article-title":"The algebra of timed processes, ATP: Theory and application","volume":"114","author":"Nicollin","year":"1994","journal-title":"Information and Computation"},{"key":"10.1016\/S1571-0661(04)80522-X_NEWBIB6","unstructured":"Ouaknine J. and J. Worrell, Towards specification as refinement in timed systems, in: Proceedings of AVoCS 2002, Birmingham, UK, 2002, pp. 211\u2013225."},{"key":"10.1016\/S1571-0661(04)80522-X_NEWBIB7","doi-asserted-by":"crossref","DOI":"10.1016\/0167-6423(95)00017-8","article-title":"A calculus of broadcasting systems","volume":"25","author":"Prasad","year":"1995","journal-title":"Science of Computer Programming"},{"key":"10.1016\/S1571-0661(04)80522-X_NEWBIB8","series-title":"\u201cThe theory and practice of concurrency,\u201d","first-page":"128","author":"Roscoe","year":"1998"},{"key":"10.1016\/S1571-0661(04)80522-X_NEWBIB9","series-title":"\u201cConcurrent and Real-time Systems: The CSP Approach,\u201d","author":"Schneider","year":"2000"},{"key":"10.1016\/S1571-0661(04)80522-X_NEWBIB10","unstructured":"Siemens, Omi 324: Pi-bus, Draft standard, Open Microprocessor systems Initiative, Munich, Germany (1994)."}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S157106610480522X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S157106610480522X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,3]],"date-time":"2019-02-03T10:54:38Z","timestamp":1549191278000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S157106610480522X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,5]]},"references-count":10,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2003,5]]}},"alternative-id":["S157106610480522X"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80522-x","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2003,5]]}}}