{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T02:19:41Z","timestamp":1725761981589},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642452208"},{"type":"electronic","value":"9783642452215"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-45221-5_43","type":"book-chapter","created":{"date-parts":[[2013,12,5]],"date-time":"2013-12-05T04:28:23Z","timestamp":1386217703000},"page":"653-667","source":"Crossref","is-referenced-by-count":4,"title":["An Event Structure Model for Probabilistic Concurrent Kleene Algebra"],"prefix":"10.1007","author":[{"given":"Annabelle","family":"McIver","sequence":"first","affiliation":[]},{"given":"Tahiry","family":"Rabehaja","sequence":"additional","affiliation":[]},{"given":"Georg","family":"Struth","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"43_CR1","unstructured":"Rabin, M.O.: Probabilistic Algorithms. Technical Report RC 6164 (#26545), IBM Research Division, San Jose, Yorktown, Zurich (August 1976)"},{"issue":"6","key":"43_CR2","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1016\/j.jlap.2011.04.005","volume":"80","author":"T. Hoare","year":"2011","unstructured":"Hoare, T., M\u00f6ller, B., Struth, G., Wehrman, I.: Concurrent Kleene algebra and its foundations. J. Log. Algebr. Program.\u00a080(6), 266\u2013296 (2011)","journal-title":"J. Log. Algebr. Program."},{"key":"43_CR3","unstructured":"Hayes, I.J., Jones, C.B., Colvin, R.J.: Refining rely-guarantee thinking. Technical report, Newcastle University, United Kingdom (2012)"},{"key":"43_CR4","doi-asserted-by":"crossref","unstructured":"McIver, A.K., Rabehaja, T.M., Struth, G.: Probabilistic concurrent Kleene algebra. In: Bortolussi, L., Wiklicky, H. (eds.) QAPL. EPTCS, vol.\u00a0117, pp. 97\u2013115 (2013)","DOI":"10.4204\/EPTCS.117.7"},{"key":"43_CR5","unstructured":"Katoen, J.P.: Quantitative and qualitative extensions of event structures. PhD thesis, University of Twente (1996)"},{"key":"43_CR6","unstructured":"Langerak, R.: Bundle event structures: a non-interleaving semantics for LOTOS. Memoranda informatica. University of Twente (1992)"},{"key":"43_CR7","unstructured":"Rensink, A., Gorrieri, R.: Action refinement for vertical implementation. In: Wolisz, A., Schieferdecker, I., Rennoch, A. (eds.) FBT. GMD-Studien., vol.\u00a0315, pp. 69\u201378. GMD-Forschungszentrum Informationstechnik GmbH (1997)"},{"key":"43_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/BFb0016226","volume-title":"Advances in Petri Nets 1985","author":"G. Winskel","year":"1986","unstructured":"Winskel, G.: Event structures. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1985. LNCS, vol.\u00a0222, pp. 325\u2013392. Springer, Heidelberg (1986)"},{"key":"43_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/978-3-540-45187-7_4","volume-title":"CONCUR 2003 - Concurrency Theory","author":"R.J. Glabbeek van","year":"2003","unstructured":"van Glabbeek, R.J., Vaandrager, F.W.: Bundle event structures and CCSP. In: Amadio, R.M., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol.\u00a02761, pp. 57\u201371. Springer, Heidelberg (2003)"},{"issue":"41","key":"43_CR10","doi-asserted-by":"publisher","first-page":"4111","DOI":"10.1016\/j.tcs.2009.06.014","volume":"410","author":"R.J. Glabbeek van","year":"2009","unstructured":"van Glabbeek, R.J., Plotkin, G.D.: Configuration structures, event structures and petri nets. Theor. Comput. Sci.\u00a0410(41), 4111\u20134159 (2009)","journal-title":"Theor. Comput. Sci."},{"key":"43_CR11","unstructured":"Varacca, D.: Probability, nondeterminism and concurrency: two denotational models for probabilistic computation. PhD thesis, University of Aarhus (2003)"},{"key":"43_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1007\/3-540-60218-6_17","volume-title":"CONCUR \u201995 Concurrency Theory","author":"R. Segala","year":"1995","unstructured":"Segala, R.: A compositional trace-based semantics for probabilistic automata. In: Lee, I., Smolka, S.A. (eds.) CONCUR 1995. LNCS, vol.\u00a0962, pp. 234\u2013248. Springer, Heidelberg (1995)"},{"key":"43_CR13","series-title":"Lecture Notes in Computer Science","first-page":"843","volume-title":"PARLE \u201992. Parallel Architectures and Languages Europe","author":"F. Cherief","year":"1992","unstructured":"Cherief, F.: Back and forth bisimulations on prime event structures. In: Etiemble, D., Syre, J.-C. (eds.) PARLE 1992. LNCS, vol.\u00a0605, pp. 843\u2013858. Springer, Heidelberg (1992)"},{"issue":"3","key":"43_CR14","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/S0020-0190(98)00105-7","volume":"67","author":"M. Majster-Cederbaum","year":"1998","unstructured":"Majster-Cederbaum, M., Roggenbach, M.: Transition systems from event structures revisited. Info. Proc. Letters\u00a067(3), 119\u2013124 (1998)","journal-title":"Info. Proc. Letters"},{"key":"43_CR15","doi-asserted-by":"crossref","unstructured":"McIver, A.K., Rabehaja, T.M., Struth, G.: An event structure model for probabilistic concurrent kleene algebra. CoRR abs\/1310.2320 (2013)","DOI":"10.1007\/978-3-642-45221-5_43"},{"issue":"23","key":"43_CR16","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/0304-3975(88)90124-7","volume":"61","author":"J.L. Gischer","year":"1988","unstructured":"Gischer, J.L.: The equational theory of pomsets. Theor. Comput. Sci.\u00a061(23), 199\u2013224 (1988)","journal-title":"Theor. Comput. Sci."},{"key":"43_CR17","unstructured":"Jones, C.B.: Development Methods for Computer Programs including a Notion of Interference. PhD thesis, Oxford University (June 1981)"},{"issue":"2","key":"43_CR18","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/s001650200032","volume":"14","author":"J. Dingel","year":"2002","unstructured":"Dingel, J.: A refinement calculus for shared-variable parallel and distributed programming. Formal Asp. Comput.\u00a014(2), 123\u2013197 (2002)","journal-title":"Formal Asp. Comput."},{"issue":"4","key":"43_CR19","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1093\/comjnl\/37.4.259","volume":"37","author":"W. Fokkink","year":"1994","unstructured":"Fokkink, W., Zantema, H.: Basic process algebra with iteration: Completeness of its equational axioms. Comput. J.\u00a037(4), 259\u2013268 (1994)","journal-title":"Comput. J."},{"key":"43_CR20","first-page":"359","volume":"172","author":"Y. Deng","year":"2007","unstructured":"Deng, Y., van Glabbeek, R.J., Hennessy, M., Morgan, C., Zhang, C.: Remarks on testing probabilistic processes. ENTCS\u00a0172, 359\u2013397 (2007)","journal-title":"ENTCS"},{"key":"43_CR21","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"534","DOI":"10.1007\/11591191_37","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"A.K. McIver","year":"2005","unstructured":"McIver, A.K., Weber, T.: Towards automated proof support for probabilistic distributed systems. In: Sutcliffe, G., Voronkov, A. (eds.) LPAR 2005. LNCS (LNAI), vol.\u00a03835, pp. 534\u2013548. Springer, Heidelberg (2005)"},{"key":"43_CR22","doi-asserted-by":"crossref","unstructured":"Parma, A., Segala, R.: Axiomatization of trace semantics for stochastic nondeterministic processes. In: Franceschinis, G., Haverkort, B.R., Katoen, J.P., Woodside, M. (eds.) QEST, pp. 294\u2013303. IEEE Computer Society (2004)","DOI":"10.1109\/QEST.2004.1348043"}],"container-title":["Lecture Notes in Computer Science","Logic for Programming, Artificial Intelligence, and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-45221-5_43","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,25]],"date-time":"2019-05-25T00:36:22Z","timestamp":1558744582000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-45221-5_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642452208","9783642452215"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-45221-5_43","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}