{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:28Z","timestamp":1725663388032},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540516873"},{"type":"electronic","value":"9783540467502"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51687-5_31","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:13:05Z","timestamp":1330204385000},"page":"45-56","source":"Crossref","is-referenced-by-count":11,"title":["Combinatorics and geometry of consistent cuts : Application to concurrency theory"],"prefix":"10.1007","author":[{"given":"Bernadette","family":"Charron-Bost","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"M. Aigner. Combinatorial Theory. Springer-Verlag, 1979.","DOI":"10.1007\/978-1-4615-6666-3"},{"key":"5_CR2","unstructured":"B. Charron-Bost. Au sujet de la taille des horloges. Technical Report, LIENS, Paris, \u00e0 para\u00eetre."},{"key":"5_CR3","unstructured":"B. Charron-Bost. Concurrence dans les calculs r\u00e9partis. Technical Report, LIENS, Paris, \u00e0 para\u00eetre."},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"B. Charron-Bost. Measure of parallelism of distributed computations. In STACS, pages 434\u2013445, AFCET, 1989.","DOI":"10.1007\/BFb0029005"},{"key":"5_CR5","unstructured":"P.L. Curien. Categorical Combinators, Sequential Algorithms and Functional Programming. Pitman, 1986."},{"key":"5_CR6","unstructured":"G. Kahn et G. Plotkin. Domaines concrets. Technical Report 336, INRIA-LABORIA, 1978."},{"issue":"1","key":"5_CR7","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/214451.214456","volume":"3","author":"K.M. Chandy","year":"1985","unstructured":"K.M. Chandy et L. Lamport. Distributed snapshots: determining the global state of distributed systems. ACM Trans. Comp. Systems, 3(1):63\u201375, 1985.","journal-title":"ACM Trans. Comp. Systems"},{"key":"5_CR8","unstructured":"J. Fidge. Timestamps in message passing systems that preserve the partial ordering. In Proc. 11th. Australian Computer Science Conference, pages 55\u201366, 1988."},{"issue":"7","key":"5_CR9","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"L. Lamport. Time, clocks and the orderings of events in a distributed system. Comm. of ACM, 21,7:558\u2013564, 1978.","journal-title":"Comm. of ACM"},{"key":"5_CR10","unstructured":"F. Mattern. Virtual time and global states of distributed systems. In Parallel and Distributed Algorithms, pages 215\u2013226, North-Holland, 1988."},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"C.A. Petri. Concurrency theory. In Advances in Petri Nets, pages 4\u201324, Springer-Verlag, 1986.","DOI":"10.1007\/978-3-540-47919-2_2"},{"key":"5_CR12","doi-asserted-by":"crossref","first-page":"386","DOI":"10.4064\/fm-16-1-386-389","volume":"16","author":"E. Szpilrajn","year":"1930","unstructured":"E. Szpilrajn. Sur l'extension de l'ordre partiel. Fund. Math., 16:386\u2013389, 1930.","journal-title":"Fund. Math."}],"container-title":["Lecture Notes in Computer Science","Distributed Algorithms"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51687-5_31.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:22:28Z","timestamp":1605648148000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51687-5_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540516873","9783540467502"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-51687-5_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}