{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:00:57Z","timestamp":1725663657488},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540544302"},{"type":"electronic","value":"9783540383574"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54430-5_87","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:48:10Z","timestamp":1330210090000},"page":"157-171","source":"Crossref","is-referenced-by-count":0,"title":["Algebraic formulations of trace theory"],"prefix":"10.1007","author":[{"given":"N. J.","family":"Drost","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"13_CR1","unstructured":"Aceto, L., and M. Hennessy: Termination, Deadlock and Divergence. Report 6\/88, Computer Science, Univ. of Sussex, Brighton BN1 9QH. 1988."},{"key":"13_CR2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511624193","volume-title":"Process Algebra","author":"J.M.C. Baeten","year":"1990","unstructured":"Baeten, J.M.C. and W.P. Weijland: Process Algebra. Cambridge University Press, Cambridge, 1990."},{"key":"13_CR3","first-page":"221","volume":"XII","author":"J.M.G. Baeten","year":"1989","unstructured":"Baeten, J.M.G. and R.J. van Glabbeek: Abstraction and Empty Process in Process Algebra. Fund. Inf. XII, pp. 221\u2013241. 1989.","journal-title":"Fund. Inf."},{"key":"13_CR4","doi-asserted-by":"crossref","first-page":"504","DOI":"10.1007\/BF01941131","volume":"28","author":"J.W. Bakker de","year":"1988","unstructured":"Bakker, J.W. de, and J.-J.Ch. Meyer: Metric Semantics for Concurrency. BIT 28, pp. 504\u2013529. 1988.","journal-title":"BIT"},{"key":"13_CR5","first-page":"82","volume":"172","author":"J.A. Bergstra","year":"1984","unstructured":"Bergstra, J.A., and J.W. Klop: The algebra of Recursively Defined Processes and the the Algebra of Regular Processes. Proceedings 11th ICALP, LNCS 172, pp. 82\u201395. 1984.","journal-title":"LNCS"},{"key":"13_CR6","unstructured":"Bergstra, J.A., and J.W. Klop: Verification of an Alternating Bit Protocol by means of Process Algebra. CWI report CS-R8404, Amsterdam. 1984."},{"issue":"1","key":"13_CR7","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/0304-3975(85)90088-X","volume":"37","author":"J.A. Bergstra","year":"1985","unstructured":"Bergstra, J.A., and J.W. Klop: Algebra of Communicating Processes with Abstraction. TCS 37(1): pp. 77\u2013121. 1985.","journal-title":"TCS"},{"issue":"6","key":"13_CR8","doi-asserted-by":"crossref","first-page":"1134","DOI":"10.1137\/0217073","volume":"17","author":"J.A. Bergstra","year":"1988","unstructured":"Bergstra, J.A., J.W. Klop, and E.-R. Olderog: Readies and Failures in the Algebra of Communicating Processes. Siam J. Comput. 17(6): pp. 1134\u20131177. 1988.","journal-title":"Siam J. Comput."},{"key":"13_CR9","unstructured":"Drost, N.: Algebraic Formulations of Trace Theory. Report P9004, Programming Research Group, Dept. of Math. and Comp. Sci., Univ. of Amsterdam. 1990."},{"key":"13_CR10","volume-title":"Comparative Concurrency Semantics, with Refinement of Actions","author":"R.J. Glabbeek van","year":"1990","unstructured":"Glabbeek, R.J. van: Comparative Concurrency Semantics, with Refinement of Actions. Ph.D.Thesis, Free University, Amsterdam. 1990."},{"key":"13_CR11","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall, London. 1985."},{"key":"13_CR12","volume-title":"A Formalism for Concurrent Processes","author":"A. Kaldewaij","year":"1986","unstructured":"Kaldewaij, A.: A Formalism for Concurrent Processes. Ph.D.Thesis, Technical University, Eindhoven. 1986."},{"key":"13_CR13","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall, London. 1989."},{"key":"13_CR14","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/BF00268075","volume":"23","author":"E.-R. Olderog","year":"1986","unstructured":"Olderog, E.-R. and C.A.R. Hoare: Specification-Oriented Semantics for Communicating Processes. Acta Inf. 23, pp. 9\u201366. 1986.","journal-title":"Acta Inf."},{"key":"13_CR15","first-page":"399","volume-title":"Control Flow and Data Flow: Concepts of Distributed Programming","author":"M. Rem","year":"1985","unstructured":"Rem, M.: Concurrent Computations and VLSI Circuits. in: M. Broy (ed.): Control Flow and Data Flow: Concepts of Distributed Programming, pp. 399\u2013437. Springer, Berlin. 1985."}],"container-title":["Lecture Notes in Computer Science","CONCUR '91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54430-5_87.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T03:47:32Z","timestamp":1640922452000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54430-5_87"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544302","9783540383574"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-54430-5_87","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}