{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,7]],"date-time":"2026-01-07T07:59:19Z","timestamp":1767772759269},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540645917"},{"type":"electronic","value":"9783540693451"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0054295","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T03:28:32Z","timestamp":1149650912000},"page":"272-285","source":"Crossref","is-referenced-by-count":43,"title":["Slack elasticity in concurrent computing"],"prefix":"10.1007","author":[{"given":"Rajit","family":"Manohar","sequence":"first","affiliation":[]},{"given":"Alain J.","family":"Martin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,25]]},"reference":[{"key":"16_CR1","unstructured":"van der Goot, M.: The Semantics of VLSI Synthesis. Ph.D. thesis, California Institute of Technology (1996)"},{"issue":"8","key":"16_CR2","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Communications of the ACM, 21(8) (1978) 666\u2013677","journal-title":"Communications of the ACM"},{"key":"16_CR3","unstructured":"van Horn, K.S.: An Approach to Concurrent Semantics Using Complete Traces. M.S. thesis, California Institute of Technology (1986)"},{"key":"16_CR4","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/BF00261260","volume":"16","author":"A.J. Martin","year":"1981","unstructured":"Martin, A.J.: An Axiomatic definition of synchronization primitives. Acta Informatica, 16 (1981) 219\u2013235","journal-title":"Acta Informatica"},{"key":"16_CR5","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0020-0190(85)90078-X","volume":"20","author":"A.J. Martin","year":"1985","unstructured":"Martin, A.J.: The Probe: An addition to communication primitives. Information Processing Letters, 20 (1985) 125\u2013130","journal-title":"Information Processing Letters"},{"key":"16_CR6","unstructured":"Martin, A.J., Lines A., Manohar R., Nystr\u00f6m, M., Penzes, P., Southworth, R., Cummings, U.V., and Lee, T.K.: The design of an asynchronous MIPS R3000. Proceedings of the 17th Conference on Advanced Research in VLSI (1997)"},{"key":"16_CR7","unstructured":"Manohar, R.: The Impact of Asynchrony on Computer Architecture. Ph.D. thesis, California Institute of Technology (1998)"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"van de Snepscheut, J.L.A.: Trace theory and VLSI design. Lecture Notes in Computer Science 200, Springer-Verlag (1985)","DOI":"10.1007\/BFb0031414"},{"key":"16_CR9","unstructured":"Williams, T.E.: Self-timed Rings and their Application to Division. Ph.D. thesis, Computer Systems Laboratory, Stanford University (1991)"}],"container-title":["Lecture Notes in Computer Science","Mathematics of Program Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0054295","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,10]],"date-time":"2019-02-10T18:32:41Z","timestamp":1549823561000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0054295"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540645917","9783540693451"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/bfb0054295","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}