{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T21:59:03Z","timestamp":1648591143370},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[1993,5,1]],"date-time":"1993-05-01T00:00:00Z","timestamp":736214400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1993,5]]},"DOI":"10.1007\/bf01210597","type":"journal-article","created":{"date-parts":[[2005,2,24]],"date-time":"2005-02-24T15:38:42Z","timestamp":1109259522000},"page":"467-487","source":"Crossref","is-referenced-by-count":0,"title":["Infinitary parallelism without unbounded nondeterminism in CSP"],"prefix":"10.1007","volume":"30","author":[{"given":"K. Narayan","family":"Kumar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paritosh K.","family":"Pandya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1007\/BF01898399","volume":"3","author":"G. Barrett","year":"1991","unstructured":"Barrett, G.: The fixed point theory of unbounded non-determinism. Formal Aspects Comput.3, 110?128 (1991)","journal-title":"Formal Aspects Comput"},{"key":"CR2","unstructured":"Barrett, G.: Personal communication"},{"key":"CR3","series-title":"Lect. Notes Comput. Sci.","first-page":"280","volume-title":"Seminar on concurrency. Proceedings 1985","author":"S. Brookes","year":"1990","unstructured":"Brookes, S., Roscoe, A.W.: An improved failures model for communicating sequential processes. In: Brookes, S.D., Roscoe, A.W., Winskel, G. (eds.) Seminar on concurrency. Proceedings 1985. (Lect. Notes Comput. Sci., vol. 197, pp. 280?305) Berlin, Heidelberg, New York: Springer 1990"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S. Brookes","year":"1984","unstructured":"Brookes, S., Hoare, C.A.R., Roscoe, A.W.: A theory of communicating sequential processes. J. ACM31, 560?599 (1984)","journal-title":"J. ACM"},{"key":"CR5","volume-title":"Communicating sequential processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Englewood Cliffs, NJ: Prentice Hall 1985"},{"key":"CR6","series-title":"Technical Report No. CS-92\/3","volume-title":"Infinitary parallelism without unbounded nondeterminism in CSP","author":"K. Narayan Kumar","year":"1992","unstructured":"Narayan Kumar, K., Pandya, P.K.: Infinitary parallelism without unbounded nondeterminism in CSP. Technical Report No. CS-92\/3. Computer Science Group, TIFR. Bombay 1992"},{"key":"CR7","unstructured":"Roscoe, A.W.: Two papers on CSP. PRG-TR-67-88. Programming Research Group, Oxford University 1988"},{"key":"CR8","volume-title":"JSP and JSD: The Jackson approach to software development","author":"K.T. Sridhar","year":"1989","unstructured":"Sridhar, K.T., Hoare, C.A.R.: JSD expressed in CSP. In: Cameron, J. (ed.) JSP and JSD: The Jackson approach to software development, 2nd edn. New York: IEEE Computer Society Press 1989","edition":"2nd edn."}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01210597.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01210597\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01210597","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T09:40:35Z","timestamp":1556790035000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01210597"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,5]]},"references-count":8,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1993,5]]}},"alternative-id":["BF01210597"],"URL":"https:\/\/doi.org\/10.1007\/bf01210597","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,5]]}}}