{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T19:37:38Z","timestamp":1648669058894},"reference-count":3,"publisher":"Wiley","issue":"3","license":[{"start":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T00:00:00Z","timestamp":1441065600000},"content-version":"tdm","delay-in-days":5722,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw. Test. Verif. Reliab."],"published-print":{"date-parts":[[2000,9]]},"DOI":"10.1002\/1099-1689(200009)10:3<195::aid-stvr207>3.0.co;2-f","type":"journal-article","created":{"date-parts":[[2005,1,27]],"date-time":"2005-01-27T14:47:11Z","timestamp":1106837231000},"page":"195-195","source":"Crossref","is-referenced-by-count":0,"title":["Concurrent and Real-time Systems: The CSP Approach. By Steve Schneider. Published by John Wiley and Sons Ltd., Chichester, U.K., 2000. ISBN: 0-471-62373-3, 510 pages. Price: U.K. \ufffd29.95, U.S.A. $59.99, Soft Cover."],"prefix":"10.1002","volume":"10","author":[{"given":"John","family":"Derrick","sequence":"first","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2000]]},"reference":[{"key":"10.1002\/1099-1689(200009)10:3<195::AID-STVR207>3.0.CO;2-F-BIB1","volume-title":"Communicating Sequential Processes","author":"Hoare","year":"1985","unstructured":"Communicating Sequential Processes. Prentice-Hall: Englewood Cliffs, NJ, 1985."},{"key":"10.1002\/1099-1689(200009)10:3<195::AID-STVR207>3.0.CO;2-F-BIB2","volume-title":"The Theory and Practice of Concurrency","author":"Roscoe","year":"1998","unstructured":"The Theory and Practice of Concurrency. Prentice-Hall, Englewood Cliffs, NJ, 1998."},{"key":"10.1002\/1099-1689(200009)10:3<195::AID-STVR207>3.0.CO;2-F-BIB3","volume-title":"Formal Methods for Concurrency","author":"Fencott","year":"1996","unstructured":"Formal Methods for Concurrency. International Thomson Computer Press, London, 1996."}],"container-title":["Software Testing, Verification and Reliability"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2F1099-1689(200009)10:3%3C195::AID-STVR207%3E3.0.CO;2-F","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full\/10.1002\/1099-1689(200009)10:3%3C195::AID-STVR207%3E3.0.CO;2-F","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,1]],"date-time":"2021-07-01T04:58:11Z","timestamp":1625115491000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/1099-1689(200009)10:3<195::AID-STVR207>3.0.CO;2-F"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"references-count":3,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2000,9]]}},"URL":"https:\/\/doi.org\/10.1002\/1099-1689(200009)10:3<195::aid-stvr207>3.0.co;2-f","relation":{},"ISSN":["0960-0833","1099-1689"],"issn-type":[{"value":"0960-0833","type":"print"},{"value":"1099-1689","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000]]}}}