{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:02:09Z","timestamp":1725663729017},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540552512"},{"type":"electronic","value":"9783540467991"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55251-0_18","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T04:56:06Z","timestamp":1330232166000},"page":"322-341","source":"Crossref","is-referenced-by-count":13,"title":["A linear algorithm for solving fixed-point equations on transition systems"],"prefix":"10.1007","author":[{"given":"Bart","family":"Vergauwen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Johan","family":"Lewi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0020-0190(88)90029-4","volume":"29","author":"A. Arnold","year":"1988","unstructured":"Arnold, A., Crubille, P.: A linear algorithm to solve fixed-points equations on transition systems, Information Processing Letters, vol.29, 57\u201366, 1988","journal-title":"Information Processing Letters"},{"issue":"No.2","key":"18_CR2","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E. M. Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Transactions on Progr. Languages and Systems, Vol.8, No. 2, pp. 244\u2013263, April 1986","journal-title":"ACM Transactions on Progr. Languages and Systems"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Cleaveland, R.: Tableau-based model checking in the propositional \u03bccalculus, Acta Informatica, 1990","DOI":"10.1007\/BF00264284"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Cleaveland, R., Steffen, B.: Computing Behavioural Relations, Logically, ICALP 91, pp. 127\u2013138, LNCS 510","DOI":"10.1007\/3-540-54233-7_129"},{"key":"18_CR5","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1016\/0304-3975(86)90034-4","volume":"46","author":"A. Dicky","year":"1986","unstructured":"Dicky, A.: An algebraic and algorithmic method of analysing transition systems, TCS, 46, 285\u2013303, 1986","journal-title":"TCS"},{"key":"18_CR6","unstructured":"Emerson, E.A., Lei, C.-L.: Efficient model checking in fragments of the propositional \u03bc-calculus, LICS, 267\u2013278, 1986"},{"key":"18_CR7","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"D. Kozen","year":"1983","unstructured":"Kozen, D.: Results on the propositional \u03bc-calculus, TCS, 27, 333\u2013354, 1983","journal-title":"TCS"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Stirling, C., Walker, D.: Local model checking in the modal mu-calculus, CAAP 1989, pp. 369\u2013383, LNCS 351","DOI":"10.1007\/3-540-50939-9_144"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Tarski, A.: A lattice-theoretic fixpoint theorem and its applications, Pacific Journal of Mathematics, vol 5, 1955","DOI":"10.2140\/pjm.1955.5.285"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Winskel, G.: On the compositional checking of validity, LNCS 458, 481\u2013501, CONCUR'90","DOI":"10.1007\/BFb0039079"}],"container-title":["Lecture Notes in Computer Science","CAAP '92"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55251-0_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:58:20Z","timestamp":1605628700000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55251-0_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540552512","9783540467991"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-55251-0_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}