{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,24]],"date-time":"2025-09-24T10:21:22Z","timestamp":1758709282217},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540577850"},{"type":"electronic","value":"9783540483328"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-57785-8_171","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:20:41Z","timestamp":1330262441000},"page":"555-568","source":"Crossref","is-referenced-by-count":8,"title":["The complete axiomatization of Cs-congruence"],"prefix":"10.1007","author":[{"given":"Joachim","family":"Parrow","sequence":"first","affiliation":[]},{"given":"Peter","family":"Sj\u00f6din","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"45_CR1","unstructured":"R. Cleaveland, J. Parrow, and B. Steffen. A semantics-based verification tool for finitestate systems. In E. Brinksma, G. Scollo, and C. A. Vissers, editors, Protocol Specification, Testing, and Verification, IX, pages 287\u2013302. North-Holland, 1989."},{"key":"45_CR2","unstructured":"M. Hennessy. Algebraic Theory of Processes. The MIT Press, 1988."},{"key":"45_CR3","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall International, 1985."},{"key":"45_CR4","volume-title":"volume 92 of Lecture Notes in Computer Science","author":"R. Milner","year":"1980","unstructured":"R. Milner. A Calculus of Communicating Systems, volume 92 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1980."},{"key":"45_CR5","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall, 1989."},{"key":"45_CR6","doi-asserted-by":"crossref","unstructured":"J. Parrow and P. Sj\u00f6din. Multiway synchronization verified with coupled simulation. In W. R. Cleaveland, editor, Proceedings of CONCUR '92, volume 630 of Lecture Notes in Computer Science, pages 518\u2013533. Springer-Verlag, 1992.","DOI":"10.1007\/BFb0084813"},{"key":"45_CR7","doi-asserted-by":"crossref","unstructured":"J. Parrow and P. Sj\u00f6din. The complete axiomatization of cs-congruence. Research report, Swedish Institute of Computer Science, 1994. In preparation.","DOI":"10.1007\/3-540-57785-8_171"},{"key":"45_CR8","unstructured":"R. J. van Glaabeek. De semantiek van eidige, sequenti\u00cble processes met interne acties. Syllabus processemantieken, deel 2. Handwritten manuscript, in Dutch, 1988."},{"key":"45_CR9","doi-asserted-by":"crossref","unstructured":"R. J. van Glaabeek. The linear time \u2014 branching time spectrum II. In E. Best, editor, Proceedings of CONCUR '93, volume 715 of Lecture Notes in Computer Science, pages 66\u201380. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57208-2_6"},{"key":"45_CR10","volume-title":"PhD thesis","author":"R. J. Glabbeek van","year":"1990","unstructured":"R. J. van Glabbeek. Comparative Concurrency Semantics and Refinement of Actions. PhD thesis, Free University of Amsterdam, The Netherlands, 1990."}],"container-title":["Lecture Notes in Computer Science","STACS 94"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57785-8_171.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:14:00Z","timestamp":1605647640000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57785-8_171"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540577850","9783540483328"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-57785-8_171","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}