{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,20]],"date-time":"2025-02-20T23:57:56Z","timestamp":1740095876978,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540853602"},{"type":"electronic","value":"9783540853619"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-85361-9_37","type":"book-chapter","created":{"date-parts":[[2008,8,18]],"date-time":"2008-08-18T08:28:04Z","timestamp":1219048084000},"page":"477-491","source":"Crossref","is-referenced-by-count":17,"title":["Termination Problems in Chemical Kinetics"],"prefix":"10.1007","author":[{"given":"Gianluigi","family":"Zavattaro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Cardelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"37_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1007\/3-540-44618-4_24","volume-title":"CONCUR 2000 - Concurrency Theory","author":"P. Abdulla","year":"2000","unstructured":"Abdulla, P., Baier, C., Iyer, P., Jonsson, B.: Reasoning about Probabilistic Lossy Channel Systems. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol.\u00a01877, pp. 320\u2013333. Springer, Heidelberg (2000)"},{"key":"37_CR2","doi-asserted-by":"crossref","unstructured":"Cardelli, L.: On Process Rate Semantics. Theoretical Computer Science (in press, 2008), http:\/\/dx.doi.org\/10.1016\/j.tcs.2007.11.012","DOI":"10.1016\/j.tcs.2007.11.012"},{"key":"37_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1007\/BFb0039622","volume-title":"STACS 87","author":"H. Carstensen","year":"1987","unstructured":"Carstensen, H.: Decidability Questions for Fairness in Petri Nets. In: Brandenburg, F.J., Wirsing, M., Vidal-Naquet, G. (eds.) STACS 1987. LNCS, vol.\u00a0247, pp. 396\u2013407. Springer, Heidelberg (1987)"},{"key":"37_CR4","doi-asserted-by":"crossref","unstructured":"Esparza, J., Nielsen, M.: Decidability Issues for Petri Nets, Technical report BRICS RS-94-8 (1994)","DOI":"10.7146\/brics.v1i8.21662"},{"key":"37_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-9455-6","volume-title":"Denumerable Markov Chains","author":"J.G. Kemeny","year":"1976","unstructured":"Kemeny, J.G., Snell, J.L., Knapp, A.W.: Denumerable Markov Chains. Springer, Heidelberg (1976)"},{"key":"37_CR6","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"37_CR7","volume-title":"Computation: finite and infinite machines","author":"M.L. Minsky","year":"1967","unstructured":"Minsky, M.L.: Computation: finite and infinite machines. Prentice-Hall, Englewood Cliffs (1967)"},{"key":"37_CR8","doi-asserted-by":"crossref","unstructured":"Soloveichik, D., Cook, M., Winfree, E., Bruck, J.: Computation with Finite Stochastic Chemical Reaction Networks. Natural Computing (in press, 2008), http:\/\/dx.doi.org\/10.1007\/s11047-008-9067-y","DOI":"10.1007\/s11047-008-9067-y"}],"container-title":["Lecture Notes in Computer Science","CONCUR 2008 - Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85361-9_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T07:47:27Z","timestamp":1557733647000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85361-9_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540853602","9783540853619"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85361-9_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}