{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T03:24:59Z","timestamp":1777519499142,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540583295","type":"print"},{"value":"9783540486541","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/978-3-540-48654-1_20","type":"book-chapter","created":{"date-parts":[[2016,5,10]],"date-time":"2016-05-10T13:34:34Z","timestamp":1462887274000},"page":"226-241","source":"Crossref","is-referenced-by-count":9,"title":["Weak Sequential Composition in Process Algebras"],"prefix":"10.1007","author":[{"given":"Arend","family":"Rensink","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Heike","family":"Wehrheim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"L. Aceto, B. Bloom, and F. Vaandrager. Turning SOS rules into equations. In Seventh Annual IEEE Symposium on Logic in Computer Science pages 113\u2013124. IEEE, Computer Society Press, 1992. Full version available as CWI Report CS-R9218, June 1992, Amsterdam. To appear in the LICS 92 Special Issue of Information and Computation.","DOI":"10.1109\/LICS.1992.185526"},{"key":"20_CR2","first-page":"204","volume":"103","author":"L Aceto","year":"1993","unstructured":"L. Aceto and M. Hennessy. Towards action-refinement in process algebras. Information and Computation, 103: 204\u2013269, 1993.","journal-title":"Computation"},{"key":"20_CR3","unstructured":"J. C. M. Baeten and F. W. Vaandrager. An algebra for process creation. In J. W. de Bakker, 25 Jaar Semantiek - Liber Amicorum. Stichting Mathematisch Centrum, Amsterdam, Apr. 1989. Also availabe as: Report CS-R8907, CWI, Amsterdam."},{"key":"20_CR4","volume-title":"Cambridge University Press","author":"JCM Baeten","year":"1990","unstructured":"J. C. M. Baeten and W. P. Weijland. Process Algebra. Cambridge University Press, 1990."},{"key":"20_CR5","unstructured":"M. A. Bednarczyk. Categories of Asynchronous Systems. PhD thesis, University of Sussex, Oct. 1987. Available as Report 1\/88, School of Cognitive and Computing Sciences, University of Sussex."},{"issue":"1","key":"20_CR6","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/0304-3975(85)90088-X","volume":"37","author":"JA Bergstra","year":"1985","unstructured":"J. A. Bergstra and J. W. Klop. Algebra of communicating processes with abstraction. Theoretical Comput. Sci., 37 (1): 77\u2013121, 1985.","journal-title":"Theoretical Comput. Sci."},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"B. Bloom, S. Istrail, and A. R. Meyer. Bisimulation can\u2019t be traced. In Fifteenth Annual Symposium on the Principles of Programming Languages pages 229\u2013239. ACM, 1988. Preliminary Report.","DOI":"10.1145\/73560.73580"},{"key":"20_CR8","volume-title":"Springer-Verlag","author":"JW Bakker","year":"1989","unstructured":"J. W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors. Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, volume 354 of Lecture Notes in Computer Science. Springer-Verlag, 1989."},{"key":"20_CR9","volume-title":"Technical Report TR-28\/92","author":"P Degano","year":"1992","unstructured":"P. Degano and R. Gorrieri. An operational definition of action refinement. Technical Report TR-28\/92, Universit\u00e0 di Pisa, 1992. To appear in Information and Computation."},{"key":"20_CR10","volume-title":"E. Best, editor, Concur 93, volume 715 of Lecture Notes in Computer Science, pages 50-65. Springer-Verlag","author":"M Fokkinga","year":"1992","unstructured":"M. Fokkinga, M. Poel, and J. Zwiers. Modular completeness for communication closed layers. In E. Best, editor, Concur \u201883, volume 715 of Lecture Notes in Computer Science, pages 50\u201365. Springer-Verlag, 1992."},{"key":"20_CR11","volume-title":"Draft version","author":"U Goltz","year":"1991","unstructured":"U. Goltz and N. G\u00f6tz. Modelling a simple communication protocol in a language with action refinement. Draft version, 1991."},{"key":"20_CR12","volume-title":"Prentice-Hall","author":"C. A. R","year":"1985","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985."},{"key":"20_CR13","volume-title":"J. C. M. Baeten and J. F. Groote, editors, Concur 91, volume 527 of Lecture Notes in Computer Science, pages 298-316. Springer-Verlag","author":"W Janssen","year":"1991","unstructured":"W. Janssen, M. Poel, and J. Zwiers. Actions systems and action refinement in the development of parallel systems. In J. C. M. Baeten and J. F. Groote, editors, Concur \u201881, volume 527 of Lecture Notes in Computer Science, pages 298\u2013316. Springer-Verlag, 1991."},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"A. Mazurkiewicz. Basic notions of trace theory. In de Bakker et al. [8], pages 285\u2013363.","DOI":"10.1007\/BFb0013025"},{"key":"20_CR15","volume-title":"Prentice-Hall","author":"R","year":"1989","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, 1989."},{"key":"20_CR16","volume-title":"Models and Methods for Action Refinement. PhD thesis, University of Twente","author":"A Rensink","year":"1993","unstructured":"A. Rensink. Models and Methods for Action Refinement. PhD thesis, University of Twente, Enschede, Netherlands, Aug. 1993."},{"issue":"5","key":"20_CR17","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1093\/comjnl\/28.5.449","volume":"28","author":"MW Shields","year":"1985","unstructured":"M. W. Shields. Concurrent machines. The Computer Journal, 28 (5): 449\u2013465, 1985.","journal-title":"The Computer Journal"},{"key":"20_CR18","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/0304-3975(89)90050-9","volume":"64","author":"EW Stark","year":"1989","unstructured":"E. W. Stark. Concurrent transition systems. Theoretical Comput. Sci., 64: 221\u2013269, 1989.","journal-title":"Theoretical Comput. Sci."},{"key":"20_CR19","volume-title":"pub\/CWlreports\/AP","author":"F. W. Vaandrager. Expressiveness results for process algebras. Report CS-R9301, Centre for Mathematics and Computer Science","year":"1993","unstructured":"F. W. Vaandrager. Expressiveness results for process algebras. Report CS-R9301, Centre for Mathematics and Computer Science, 1993. Available by ftp: ftp.cwi.nl, pub\/CWlreports\/AP."},{"key":"20_CR20","first-page":"1994","volume-title":"To be presented at PRO-COMET 94","author":"H. Wehrheim. Parametric action refinement. Hildesheimer Informatik-Berichte 18\/93, Institut f\u00fcr Informatik","year":"1993","unstructured":"H. Wehrheim. Parametric action refinement. Hildesheimer Informatik-Berichte 18\/93, Institut f\u00fcr Informatik, Universit\u00e4t Hildesheim, Nov. 1993. To be presented at PRO-COMET \u201884, San Miniato, June 1994."},{"key":"20_CR21","volume-title":"J. W. de Bakker, C. Huizing, W.-P. de Roever, and G. Rozenberg, editors, Real-Time: Theory in Practice, volume 600 of Lecture Notes in Computer Science. Springer-Verlag","author":"J Zwiers","year":"1991","unstructured":"J. Zwiers. Layering and action refinement for timed systems. In J. W. de Bakker, C. Huizing, W.-P. de Roever, and G. Rozenberg, editors, Real-Time: Theory in Practice, volume 600 of Lecture Notes in Computer Science. Springer-Verlag, 1991."}],"container-title":["Lecture Notes in Computer Science","CONCUR '94: Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-48654-1_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,3]],"date-time":"2025-06-03T02:43:37Z","timestamp":1748918617000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-48654-1_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540583295","9783540486541"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-48654-1_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]}}}