{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:19:57Z","timestamp":1725455997064},"publisher-location":"Berlin\/Heidelberg","reference-count":20,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354058241X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0013987","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T07:34:32Z","timestamp":1132731272000},"page":"165-179","source":"Crossref","is-referenced-by-count":0,"title":["Efficient computation of nested fix-points, with applications to model checking"],"prefix":"10.1007","author":[{"given":"B.","family":"Vergauwen","sequence":"first","affiliation":[]},{"given":"J.","family":"Lewi","sequence":"additional","affiliation":[]},{"given":"I.","family":"Avau","sequence":"additional","affiliation":[]},{"given":"A.","family":"Pot\u00e9","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Andersen, H. R.: Model Checking and Boolean Graphs, ESOP'92, LNCS 582, 1992","DOI":"10.1007\/3-540-55253-7_1"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Andersen, H. R.: Verification of Temporal Properties of Concurrent Systems, PhD thesis, Aarhus University, DAIMI PB \u2014 445, 1993","DOI":"10.7146\/dpb.v22i445.6762"},{"key":"11_CR3","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":"11_CR4","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":"11_CR5","doi-asserted-by":"crossref","unstructured":"Cleaveland, R.: Tableau-based model checking in the propositional mucalculus, Acta Informatica, 1990","DOI":"10.1007\/BF00264284"},{"key":"11_CR6","unstructured":"Cleaveland, R., Klein, M., Steffen, B.: Faster Model Checking for the Modal MuCalculus, CAV'92, LNCS 663"},{"key":"11_CR7","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":"11_CR8","doi-asserted-by":"crossref","unstructured":"Cleaveland, R. and Steffen, B.: A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus, CAV'91, LNCS 575, 1992","DOI":"10.1007\/3-540-55179-4_6"},{"key":"11_CR9","unstructured":"Emerson, E.A., Lei, C.-L.: Efficient model checking in fragments of the propositional \u03bc-calculus, LICS, 267\u2013278, 1986"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Kozen, D.: Results on the propositional mu-calculus, TCS 17, 1983","DOI":"10.7146\/dpb.v11i146.7420"},{"key":"11_CR11","unstructured":"Larsen, K.G.: Efficient Local Correctness Checking, CAV'92, LNCS 663"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Larsen, K.G.: Proof systems for Hennessy-Milner logic with recursion, CAAP, 1988, see also TCS, 72, 1990","DOI":"10.1016\/0304-3975(90)90038-J"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Lichtenstein, O., Pnueli, A.: Checking that finite state concurrent programs satisfy their linear specification, (Proc.) 12th ACM annual Symposium on Principles of Programming Languages, pp. 97\u2013107, 1985","DOI":"10.1145\/318593.318622"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Stirling, C., Walker, D.: Local model checking in the modal mu-calculus, TCS, October 1991, see also LNCS 351, 369\u2013383, CAAP 1989","DOI":"10.1007\/3-540-50939-9_144"},{"key":"11_CR15","unstructured":"Stirling, C.: Modal and Temporal Logics, in Handbook of Logic in Computer Sciences, Volume 2. Edited by S. Abramsky, M. Gabbay and T.S.E. Maibaum; Oxford Science Publications, 1992"},{"key":"11_CR16","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A. Tarski","year":"1955","unstructured":"Tarski, A.: A Lattice-Theoretical Fixpoint Theorem and its Applications, Pacific Journal of Mathematics, 5: 285\u2013309, 1955","journal-title":"Pacific Journal of Mathematics"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Vergauwen, B., Lewi, J.: A linear algorithm for solving fixed points equations on transition systems, CAAP'92, LNCS 581, 322\u2013341","DOI":"10.1007\/3-540-55251-0_18"},{"key":"11_CR18","unstructured":"Vergauwen, B., Lewi, J.: A Linear Local Model Checking Algorithm for CTL, CONCUR'93, LNCS 715"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"Winskel, G.: A note on model checking the modal nu-calculus, ICALP, LNCS 372, 1989, see also TCS 83, 1991","DOI":"10.1016\/0304-3975(91)90043-2"},{"key":"11_CR20","unstructured":"Xinxin, L.: Specification and Decomposition in Concurrency, PhD thesis, Aalborg University, 1992, R 92-2005"}],"container-title":["Lecture Notes in Computer Science","Temporal Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0013987","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:35:26Z","timestamp":1586579726000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013987"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354058241X"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/bfb0013987","relation":{},"subject":[]}}