{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:27:03Z","timestamp":1725470823830},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540356332"},{"type":"electronic","value":"9783540356363"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11784180_26","type":"book-chapter","created":{"date-parts":[[2006,9,26]],"date-time":"2006-09-26T10:12:21Z","timestamp":1159265541000},"page":"338-352","source":"Crossref","is-referenced-by-count":2,"title":["Accelerated Modal Abstractions of Labelled Transition Systems"],"prefix":"10.1007","author":[{"given":"Miguel Valero","family":"Espada","sequence":"first","affiliation":[]},{"given":"Jaco","family":"van de Pol","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"26_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/978-3-540-24732-6_15","volume-title":"Model Checking Software","author":"D. Bosnacki","year":"2004","unstructured":"Bosnacki, D., Ioustinova, N., Sidorova, N.: Using fairness to make abstractions work. In: Graf, S., Mounier, L. (eds.) SPIN 2004. LNCS, vol.\u00a02989, pp. 198\u2013215. Springer, Heidelberg (2004)"},{"key":"26_CR2","doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Grumberg, O., Long, D.E.: Model checking and abstraction. Journal of the ACM, 343\u2013354 (1992)","DOI":"10.1145\/143165.143235"},{"key":"26_CR3","unstructured":"Dams, D.: Abstract Interpretation and Partition Refinement for Model Checking. PhD thesis, Eindhoven University of Technology (1996)"},{"key":"26_CR4","doi-asserted-by":"crossref","unstructured":"Dams, D., Gerth, R.: The bounded retransmission protocol revisited. ENTCS\u00a09 (2000)","DOI":"10.1016\/S1571-0661(05)80425-6"},{"key":"26_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/978-3-540-24622-0_19","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"Y. Fang","year":"2004","unstructured":"Fang, Y., Piterman, N., Pnueli, A., Zuck, L.: Liveness with invisible ranking. In: Steffen, B., Levi, G. (eds.) VMCAI 2004. LNCS, vol.\u00a02937, pp. 223\u2013238. Springer, Heidelberg (2004)"},{"key":"26_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"426","DOI":"10.1007\/3-540-44685-0_29","volume-title":"CONCUR 2001 - Concurrency Theory","author":"P. Godefroid","year":"2001","unstructured":"Godefroid, P., Huth, M., Jagadeesan, R.: Abstraction-based model checking using modal transition systems. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, pp. 426\u2013440. Springer, Heidelberg (2001)"},{"key":"26_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"536","DOI":"10.1007\/BFb0014338","volume-title":"Algebraic Methodology and Software Technology","author":"J.F. Groote","year":"1996","unstructured":"Groote, J.F., van de Pol, J.C.: A bounded retransmission protocol for large data packets. In: Nivat, M., Wirsing, M. (eds.) AMAST 1996. LNCS, vol.\u00a01101, pp. 536\u2013550. Springer, Heidelberg (1996)"},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"Harel, D., Pnueli, A., Stavi, J.: Propositional dynamic logic of context-free programs. Foundations of Computer Science, 310\u2013321 (1981)","DOI":"10.1109\/SFCS.1981.38"},{"key":"26_CR9","series-title":"Lecture Notes in Computer Science","first-page":"295","volume-title":"Automata, Languages and Programming","author":"M. Hennessey","year":"1980","unstructured":"Hennessey, M., Milner, R.: On observing nondeterminism and concurrency. In: de Bakker, J.W., van Leeuwen, J. (eds.) ICALP 1980. LNCS, vol.\u00a085, pp. 295\u2013309. Springer, Heidelberg (1980)"},{"key":"26_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/3-540-48168-0_11","volume-title":"Computer Science Logic","author":"Y. Kesten","year":"1999","unstructured":"Kesten, Y., Pnueli, A.: Verifying liveness by augmented abstraction. In: Flum, J., Rodr\u00edguez-Artalejo, M. (eds.) CSL 1999. LNCS, vol.\u00a01683, pp. 141\u2013145. Springer, Heidelberg (1999)"},{"key":"26_CR11","first-page":"203","volume-title":"Proc. of Logic in Computer Science (LICS)","author":"K.G. Larsen","year":"1988","unstructured":"Larsen, K.G., Thomsen, B.: A modal process logic. In: Proc. of Logic in Computer Science (LICS), pp. 203\u2013210. IEEE Computer Society Press, Los Alamitos (1988)"},{"key":"26_CR12","first-page":"108","volume-title":"Proc. of Logic in Computer Science (LICS)","author":"K.G. Larsen","year":"1990","unstructured":"Larsen, K.G., Xinxin, L.: Equation solving using modal transition systems. In: Proc. of Logic in Computer Science (LICS), pp. 108\u2013117. IEEE, Los Alamitos (1990)"},{"key":"26_CR13","doi-asserted-by":"crossref","unstructured":"Loiseaux, C., Graf, S., Sifakis, J., Bouajjani, A., Bensalem, S.: Property preserving abstractions for the verification of concurrent systems. Formal Methods in System Design, 11\u201344 (1995)","DOI":"10.1007\/BF01384313"},{"key":"26_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-540-30579-8_10","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"A. Pnueli","year":"2005","unstructured":"Pnueli, A.: Abstraction for liveness. In: Cousot, R. (ed.) VMCAI 2005. LNCS, vol.\u00a03385, pp. 146\u2013164. Springer, Heidelberg (2005)"},{"key":"26_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/978-3-540-27815-3_32","volume-title":"Algebraic Methodology and Software Technology","author":"J.C. Pol van de","year":"2004","unstructured":"van de Pol, J.C., Valero Espada, M.: Modal abstraction in \u03bcCRL. In: Rattray, C., Maharaj, S., Shankland, C. (eds.) AMAST 2004. LNCS, vol.\u00a03116, pp. 409\u2013425. Springer, Heidelberg (2004)"},{"key":"26_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/3-540-36377-7_12","volume-title":"The Essence of Computation","author":"D. Schmidt","year":"2002","unstructured":"Schmidt, D.: Structure-preserving binary relations for program abstraction. In: Mogensen, T.\u00c6., Schmidt, D.A., Sudborough, I.H. (eds.) The Essence of Computation. LNCS, vol.\u00a02566, pp. 245\u2013268. Springer, Heidelberg (2002)"},{"key":"26_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"546","DOI":"10.1007\/978-3-540-24730-2_40","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S. Shoham","year":"2004","unstructured":"Shoham, S., Grumberg, O.: Monotonic abstraction-refinement for CTL. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol.\u00a02988, pp. 546\u2013560. Springer, Heidelberg (2004)"},{"key":"26_CR18","series-title":"Texts in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3550-5","volume-title":"Modal and Temporal Properties of Processes","author":"C. Stirling","year":"2001","unstructured":"Stirling, C.: Modal and Temporal Properties of Processes. Texts in Computer Science. Springer, Heidelberg (2001)"},{"key":"26_CR19","unstructured":"Valero Espada, M.: Modal Abstraction and Replication of Processes with Data. PhD thesis, Free University Amsterdam (2005)"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11784180_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,21]],"date-time":"2019-04-21T05:49:17Z","timestamp":1555825757000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11784180_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540356332","9783540356363"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/11784180_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}