{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:24:19Z","timestamp":1775053459806,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540407539","type":"print"},{"value":"9783540451877","type":"electronic"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45187-7_4","type":"book-chapter","created":{"date-parts":[[2010,6,25]],"date-time":"2010-06-25T22:38:49Z","timestamp":1277505529000},"page":"57-71","source":"Crossref","is-referenced-by-count":10,"title":["Bundle Event Structures and CCSP"],"prefix":"10.1007","author":[{"given":"Rob","family":"van Glabbeek","sequence":"first","affiliation":[]},{"given":"Frits","family":"Vaandrager","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Bednarczyk, M.: Hereditary history preserving bisimulation, or what is the power of the future perfect in program logics. Technical report, Polish Academy of Sciences, Gda\u0144sk. (1991), Available at ftp:\/\/ftp.ipipan.gda.pl\/marek\/historie.ps.gz"},{"issue":"2","key":"4_CR2","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1006\/inco.1994.1088","volume":"114","author":"G. Boudol","year":"1994","unstructured":"Boudol, G., Castellani, I.: Flow models of distributed computations: Three equivalent semantics for CCS. Information and Computation\u00a0114(2), 247\u2013314 (1994)","journal-title":"Information and Computation"},{"issue":"3","key":"4_CR3","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S.D. Brookes","year":"1984","unstructured":"Brookes, S.D., Hoare, C.A.R., Roscoe, A.W.: A theory of communicating sequential processes. Journal of the ACM\u00a031(3), 560\u2013599 (1984)","journal-title":"Journal of the ACM"},{"key":"4_CR4","first-page":"188","volume-title":"Proceedings First Workshop on the Algebra of Communicating Processes, ACP94, Utrecht, Workshops in Computing","author":"R.J. Glabbeek van","year":"1994","unstructured":"van Glabbeek, R.J.: On the expressiveness of ACP (extended abstract). In: Ponse, A., Verhoef, C., van Vlijmen, S.F.M. (eds.) Proceedings First Workshop on the Algebra of Communicating Processes, ACP94, Utrecht, Workshops in Computing, pp. 188\u2013217. Springer, Heidelberg (1994), Available at http:\/\/boole.stanford.edu\/pub\/acp.ps.gz"},{"key":"4_CR5","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/s002360000041","volume":"37","author":"R.J. Glabbeek van","year":"2001","unstructured":"van Glabbeek, R.J., Goltz, U.: Refinement of actions and equivalence notions for concurrent systems. Acta Informatica\u00a037, 229\u2013327 (2001)","journal-title":"Acta Informatica"},{"key":"4_CR6","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1109\/LICS.1995.523257","volume-title":"Proceedings 10th Annual IEEE Symposium on Logic in Computer Science (LICS 1995)","author":"R.J. Glabbeek van","year":"1995","unstructured":"van Glabbeek, R.J., Plotkin, G.D.: Configuration structures (extended abstract). In: Kozen, D. (ed.) Proceedings 10th Annual IEEE Symposium on Logic in Computer Science (LICS 1995), San Diego, USA, pp. 199\u2013209. IEEE Computer Society Press, Los Alamitos (1995)"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1007\/3-540-17945-3_13","volume-title":"PARLE Parallel Architectures and Languages Europe","author":"R.J. Glabbeek van","year":"1987","unstructured":"van Glabbeek, R.J., Vaandrager, F.W.: Petri net models for algebraic theories of concurrency (extended abstract). In: de Bakker, J.W., Nijman, A.J., Treleaven, P.C. (eds.) PARLE 1987. LNCS, vol.\u00a0259, pp. 224\u2013242. Springer, Heidelberg (1987)"},{"key":"#cr-split#-4_CR8.1","unstructured":"van Glabbeek, R.J., Vaandrager, F.W.: The difference between splitting in n and n+1 (abstract). In: Best, E., Rozenberg, G. (eds.) Proc. 3rd Workshop on Concurrency and Compositionality, Goslar, GMD-Studien Nr. 191, Universit\u00e4t Hildesheim, pp. 117-121 (1991)"},{"key":"#cr-split#-4_CR8.2","doi-asserted-by":"crossref","unstructured":"Full version in Information and Computation 136(2), 109-142 (1997)","DOI":"10.1006\/inco.1997.2634"},{"key":"4_CR9","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"issue":"2","key":"4_CR10","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1006\/inco.1996.0057","volume":"127","author":"A. Joyal","year":"1996","unstructured":"Joyal, A., Nielsen, M., Winskel, G.: Bisimulation from open maps. Information and Computation\u00a0127(2), 164\u2013185 (1996)","journal-title":"Information and Computation"},{"key":"4_CR11","unstructured":"Langerak, R.: Transformations and Semantics for LOTOS. PhD thesis, Department of Computer Science, University of Twente (1992)"},{"key":"4_CR12","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall, Englewood Cliffs (1989)"},{"issue":"1","key":"4_CR13","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M. Nielsen","year":"1981","unstructured":"Nielsen, M., Plotkin, G.D., Winskel, G.: Petri nets, event structures and domains, part I. Theoretical Computer Science\u00a013(1), 85\u2013108 (1981)","journal-title":"Theoretical Computer Science"},{"key":"4_CR14","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/0304-3975(95)00122-0","volume":"153","author":"M. Nielsen","year":"1996","unstructured":"Nielsen, M., Winskel, G.: Petri nets and bisimulation. Theoretical Computer Science\u00a0153, 211\u2013244 (1996)","journal-title":"Theoretical Computer Science"},{"issue":"4","key":"4_CR15","doi-asserted-by":"crossref","first-page":"357","DOI":"10.3233\/FI-1988-11404","volume":"11","author":"A. Rabinovich","year":"1988","unstructured":"Rabinovich, A., Trakhtenbrot, B.A.: Behavior structures and nets. Fundamenta Informaticae\u00a011(4), 357\u2013404 (1988)","journal-title":"Fundamenta Informaticae"},{"key":"4_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"609","DOI":"10.1007\/3-540-56596-5_49","volume-title":"Semantics: Foundations and Applications","author":"F.W. Vaandrager","year":"1993","unstructured":"Vaandrager, F.W.: Expressiveness results for process algebras. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) REX 1992. LNCS, vol.\u00a0666, pp. 609\u2013638. Springer, Heidelberg (1993)"},{"key":"4_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/3-540-17906-2_31","volume-title":"Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986","author":"G. Winskel","year":"1987","unstructured":"Winskel, G.: Event structures. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol.\u00a0255, pp. 325\u2013392. Springer, Heidelberg (1987)"},{"key":"4_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/BFb0013026","volume-title":"Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency","author":"G. Winskel","year":"1989","unstructured":"Winskel, G.: An introduction to event structures. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency. LNCS, vol.\u00a0354, pp. 364\u2013397. Springer, Heidelberg (1989)"},{"key":"4_CR19","first-page":"1","volume-title":"Handbook of Logic in Computer Science","author":"G. Winskel","year":"1995","unstructured":"Winskel, G., Nielsen, M.: Models for concurrency. In: Abramsky, S., Gabbay, D., Maibaum, T. (eds.) Handbook of Logic in Computer Science, pp. 1\u2013148. Oxford University Press, Oxford (1995)"}],"container-title":["Lecture Notes in Computer Science","CONCUR 2003 - Concurrency Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45187-7_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,30]],"date-time":"2021-10-30T05:42:53Z","timestamp":1635572573000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45187-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540407539","9783540451877"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45187-7_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003]]}}}