{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:08:17Z","timestamp":1725664097271},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540575290"},{"type":"electronic","value":"9783540482116"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57529-4_71","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:06:47Z","timestamp":1330261607000},"page":"388-399","source":"Crossref","is-referenced-by-count":5,"title":["Keeping track of the latest gossip: Bounded time-stamps suffice"],"prefix":"10.1007","author":[{"given":"Madhavan","family":"Mukund","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Milind","family":"Sohoni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"33_CR1","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1006\/eujc.1993.1013","volume":"14","author":"R. Cori","year":"1993","unstructured":"R. Cori, E. Sopena: Some combinatorial aspects of time-stamp systems, Europ. J. Combinatorics, 14 (1993) 95\u2013102.","journal-title":"Europ. J. Combinatorics"},{"key":"33_CR2","doi-asserted-by":"crossref","first-page":"617","DOI":"10.1007\/3-540-56503-5_61","volume":"665","author":"V. Diekert","year":"1993","unstructured":"V. Diekert, A. Muscholl: Deterministic asynchronous automata for infinite traces, Proc. STACS '93, LNCS\n665 (1993) 617\u2013628.","journal-title":"Proc. STACS '93, LNCS"},{"key":"33_CR3","doi-asserted-by":"crossref","unstructured":"D. Dolev, N. Shavit: Bounded concurrent time-stamps are constructible, Proc. ACM STOC (1989) 454\u2013466.","DOI":"10.21236\/ADA213853"},{"key":"33_CR4","first-page":"583","volume":"623","author":"P. Gastin","year":"1992","unstructured":"P. Gastin, A. Petit: Asynchronous cellular automata for infinite traces, Proc. ICALP '92, LNCS\n623 (1992) 583\u2013594.","journal-title":"Proc. ICALP '92, LNCS"},{"key":"33_CR5","unstructured":"P. Godefroid, P. Wolper: A partial order approach to model checking, Proc. 6th IEEE LICS, Amsterdam (1991) 406\u2013415."},{"key":"33_CR6","doi-asserted-by":"crossref","unstructured":"A. Israeli, M. Li: Bounded time-stamps, Proc. 28th IEEE FOCS (1987) 371\u2013382.","DOI":"10.1109\/SFCS.1987.10"},{"key":"33_CR7","doi-asserted-by":"crossref","unstructured":"A. Mazurkiewicz: Basic notions of trace theory, in: J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.), Linear time, branching time and partial order in logics and models for concurrency, LNCS\n354, (1989) 285\u2013363.","DOI":"10.1007\/BFb0013025"},{"key":"33_CR8","volume-title":"Report TCS-93-3","author":"M. Mukund","year":"1993","unstructured":"M. Mukund, M. Sohoni: Keeping track of the latest gossip: Bounded timestamps suffice, Report TCS-93-3, School of Mathematics, SPIC Science Foundation, Madras, India (1993)."},{"key":"33_CR9","volume-title":"Report TCS-93-4","author":"P.S. Thiagarajan","year":"1993","unstructured":"P.S. Thiagarajan: A trace based extension of PTL, Report TCS-93-4, School of Mathematics, SPIC Science Foundation, Madras, India (1993)."},{"key":"33_CR10","first-page":"99","volume":"21","author":"W. Zielonka","year":"1987","unstructured":"W. Zielonka: Notes on finite asynchronous automata, R.A.I.R.O.\u2014Inf. Th\u00e9or. et Appl., 21 (1987) 99\u2013135.","journal-title":"R.A.I.R.O.\u2014Inf. Th\u00e9or. et Appl."}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57529-4_71.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:06:04Z","timestamp":1619571964000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57529-4_71"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540575290","9783540482116"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-57529-4_71","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}