{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T07:03:45Z","timestamp":1725865425169},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319467498"},{"type":"electronic","value":"9783319467504"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-46750-4_8","type":"book-chapter","created":{"date-parts":[[2016,9,21]],"date-time":"2016-09-21T02:11:57Z","timestamp":1474423917000},"page":"121-138","source":"Crossref","is-referenced-by-count":0,"title":["Schedulers and Finishers: On Generating the Behaviours of an Event Structure"],"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","published-online":{"date-parts":[[2016,9,22]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Birkhoff, G.: Lattice theory. Number v. 25, pt. 2 in American Mathematical Society colloquium publications. American Mathematical Society (1940)","DOI":"10.1090\/coll\/025"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1007\/3-540-55599-4_128","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. 605, pp. 841\u2013858. Springer, Heidelberg (1992). doi: 10.1007\/3-540-55599-4_128"},{"key":"8_CR3","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/0304-3975(88)90124-7","volume":"61","author":"JL Gischer","year":"1988","unstructured":"Gischer, J.L.: The equational theory of pomsets. Theoret. Comput. Sci. 61, 199\u2013224 (1988)","journal-title":"Theoret. Comput. Sci."},{"issue":"3","key":"8_CR4","doi-asserted-by":"crossref","first-page":"326","DOI":"10.1016\/j.jlamp.2014.08.001","volume":"84","author":"W Guttmann","year":"2015","unstructured":"Guttmann, W.: An algebraic approach to computations with progress. J. Logical Algebraic Methods Programm. 84(3), 326\u2013340 (2015)","journal-title":"J. Logical Algebraic Methods Programm."},{"issue":"8","key":"8_CR5","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"CAR Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Commun. ACM 21(8), 666\u2013677 (1978)","journal-title":"Commun. ACM"},{"issue":"6","key":"8_CR6","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1016\/j.jlap.2011.04.005","volume":"80","author":"CAR Hoare","year":"2011","unstructured":"Hoare, C.A.R., M\u00f6ller, B., Struth, G., Wehrman, I.: Concurrent Kleene algebra and its foundations. J. Logic Algebraic Programm. 80(6), 266\u2013296 (2011)","journal-title":"J. Logic Algebraic Programm."},{"key":"8_CR7","unstructured":"Katoen, J.-P.: Quantitative and qualitative extensions of event structures. Ph.D. thesis, University of Twente (1996)"},{"issue":"7","key":"8_CR8","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21(7), 558\u2013565 (1978)","journal-title":"Commun. ACM"},{"key":"8_CR9","unstructured":"Langerak, R.: Bundle event structures: a non-interleaving semantics for LOTOS. In: Formal Description Techniques for Distributed Systems and Communication Protocols, pp. 331\u2013346 (1992)"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"653","DOI":"10.1007\/978-3-642-45221-5_43","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"A McIver","year":"2013","unstructured":"McIver, A., Rabehaja, T., Struth, G.: An event structure model for probabilistic concurrent Kleene algebra. In: McMillan, K., Middeldorp, A., Voronkov, A. (eds.) LPAR 2013. LNCS, vol. 8312, pp. 653\u2013667. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-45221-5_43"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"McIver, A., Rabehaja, T., Struth, G.: Probabilistic rely-guarantee calculus. In: Theoretical Computer Science (2016, In Press)","DOI":"10.1016\/j.tcs.2016.01.016"},{"key":"8_CR12","volume-title":"A Calculus of Communicating Systems","author":"R Milner","year":"1982","unstructured":"Milner, R.: A Calculus of Communicating Systems. Springer-Verlag New York Inc., Secaucus (1982)"},{"issue":"1","key":"8_CR13","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1145\/5001.5007","volume":"8","author":"J Misra","year":"1986","unstructured":"Misra, J.: Axioms for memory access in asynchronous hardware systems. ACM Trans. Program. Lang. Syst. 8(1), 142\u2013153 (1986)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"8_CR14","series-title":"Prentice Hall International Series in Computer Science","volume-title":"Programming from Specifications","author":"CC Morgan","year":"1994","unstructured":"Morgan, C.C.: Programming from Specifications. Prentice Hall International Series in Computer Science. Prentice Hall, New York (1994)"},{"issue":"1","key":"8_CR15","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M Nielsen","year":"1981","unstructured":"Nielsen, M., Plotkin, G., Winskel, G.: Petri nets, event structures and domains, part I. Theoret. Comput. Sci. 13(1), 85\u2013108 (1981)","journal-title":"Theoret. Comput. Sci."},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Phillips, I.C.C., Ulidowski, I.: Reverse bisimulations on stable configuration structures. In: Structural Operational Semantics, pp. 62\u201376 (2009)","DOI":"10.4204\/EPTCS.18.5"},{"issue":"1","key":"8_CR17","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15","author":"V Pratt","year":"1986","unstructured":"Pratt, V.: Modeling concurrency with partial orders. Int. J. Parallel Prog. 15(1), 33\u201371 (1986)","journal-title":"Int. J. Parallel Prog."},{"key":"8_CR18","unstructured":"Rabehaja, T.: Algebraic verification of probabilistic and concurrent systems. Ph.D. thesis, Macquarie University and The University of Sheffield (2014)"},{"key":"8_CR19","first-page":"560","volume":"3","author":"AW Roscoe","year":"1984","unstructured":"Roscoe, A.W., Brookes, S.D., Hoare, C.A.R.: A theory of communicating sequential processes. J. ACM 3, 560\u2013599 (1984)","journal-title":"J. ACM"},{"issue":"41","key":"8_CR20","doi-asserted-by":"crossref","first-page":"4111","DOI":"10.1016\/j.tcs.2009.06.014","volume":"410","author":"RJ Glabbeek van","year":"2009","unstructured":"van Glabbeek, R.J., Plotkin, G.D.: Configuration structures, event structures and Petri nets. Theoret. Comput. Sci. 410(41), 4111\u20134159 (2009)","journal-title":"Theoret. Comput. Sci."},{"issue":"2\u20133","key":"8_CR21","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/j.tcs.2006.01.015","volume":"358","author":"D Varacca","year":"2006","unstructured":"Varacca, D., V\u00f6lzer, H., Winskel, G.: Probabilistic event structures and domains. Theoret. Comput. Sci. 358(2\u20133), 173\u2013199 (2006)","journal-title":"Theoret. Comput. Sci."},{"key":"8_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"561","DOI":"10.1007\/BFb0012800","volume-title":"Automata, Languages and Programming","author":"G Winskel","year":"1982","unstructured":"Winskel, G.: Event structure semantics for CCS and related languages. In: Nielsen, M., Schmidt, E.M. (eds.) ICALP 1982. LNCS, vol. 140, pp. 561\u2013576. Springer, Heidelberg (1982). doi: 10.1007\/BFb0012800"},{"key":"8_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/3-540-17906-2_31","volume-title":"Petri Nets: Applications and Relationships to Other Models of Concurrency","author":"G Winskel","year":"1987","unstructured":"Winskel, G.: Event structures. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) ACPN 1986. LNCS, vol. 255, pp. 325\u2013392. Springer, Heidelberg (1987). doi: 10.1007\/3-540-17906-2_31"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2016"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-46750-4_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,13]],"date-time":"2019-09-13T20:29:35Z","timestamp":1568406575000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-46750-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319467498","9783319467504"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-46750-4_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}