{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:10Z","timestamp":1725663670272},"publisher-location":"Berlin, Heidelberg","reference-count":11,"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_109","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:48:59Z","timestamp":1330192139000},"page":"495-509","source":"Crossref","is-referenced-by-count":1,"title":["Some finite-graph models for process algebra"],"prefix":"10.1007","author":[{"given":"Paul","family":"Spruit","sequence":"first","affiliation":[]},{"given":"Roel","family":"Wieringa","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"J.C.M. Baeten and W.P. Weijland. Process Algebra. Cambridge Tracts in Theoretical Computer Science 18. Cambridge University Press, 1990.","key":"35_CR1","DOI":"10.1017\/CBO9780511624193"},{"key":"35_CR2","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","volume":"60","author":"J.A. Bergstra","year":"1984","unstructured":"J.A. Bergstra and J.W. Klop. Process algebra for synchronous communication. Information and Control, 60:109\u2013137, 1984.","journal-title":"Information and Control"},{"key":"35_CR3","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/0304-3975(85)90088-X","volume":"37","author":"J.A. Bergstra","year":"1985","unstructured":"J.A. Bergstra and J.W. Klop. Algebra of communicating processes with abstraction. Theoretical Computer Science, 37:77\u2013121, 1985.","journal-title":"Theoretical Computer Science"},{"unstructured":"J.A. Bergstra and J.W. Klop. Algebra of communicating processes. In J.W. de Bakker, M. Hazewinkel, and J.K. Lenstra, editors, Mathematics and Computer Science (CWI Monographs 1), pages 89\u2013138. North-Holland, 1986.","key":"35_CR4"},{"unstructured":"R. J. van Glabbeek. Comparative Concurrency Semantics and Refinement of Actions. PhD thesis, Vrije Universiteit\/Centrum voor Wiskunde en Informatica, Amsterdam, 1990.","key":"35_CR5"},{"key":"35_CR6","doi-asserted-by":"crossref","first-page":"514","DOI":"10.1145\/42411.42414","volume":"31","author":"D. Harel","year":"1988","unstructured":"D. Harel. On visual formalisms. Communications of the ACM, 31:514\u2013530, 1988.","journal-title":"Communications of the ACM"},{"doi-asserted-by":"crossref","unstructured":"R. Milner. A Calculus of Communicating Systems. Springer, 1980. Lecture Notes in Computer Science 92.","key":"35_CR7","DOI":"10.1007\/3-540-10235-3"},{"unstructured":"R. Milner. Communication and Concurrency. Prentice Hall, 1989.","key":"35_CR8"},{"key":"35_CR9","series-title":"Technical report","volume-title":"Two finite-graph models for basic process algebra","author":"P.A. Spruit","year":"1990","unstructured":"P.A. Spruit. Two finite-graph models for basic process algebra. Technical report, Department of Mathematics and Computer Science, Vrije Universiteit, Amsterdam, December 1990."},{"unstructured":"P.A. Spruit. Finite-graph models for Process Algebra with parallel composition. Technical report, Department of Mathematics and Computer Science, Vrije Universiteit, Amsterdam, In preparation.","key":"35_CR10"},{"key":"35_CR11","series-title":"Technical report","volume-title":"A syntax-and semantics-directed editor for conceptual model specifications","author":"P.A. Spruit","year":"1990","unstructured":"P.A. Spruit and C.J.A. Duivenvoorde. A syntax-and semantics-directed editor for conceptual model specifications. Technical report, Department of Mathematics and Computer Science, Vrije Universiteit, Amsterdam, April 1990."}],"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_109.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:54:20Z","timestamp":1605628460000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54430-5_109"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544302","9783540383574"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-54430-5_109","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}