{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:49:16Z","timestamp":1725490156404},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540417682"},{"type":"electronic","value":"9783540452416"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45241-9_1","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T10:24:00Z","timestamp":1188296640000},"page":"1-13","source":"Crossref","is-referenced-by-count":6,"title":["A Model Checker for Value-Passing Mu-Calculus Using Logic Programming"],"prefix":"10.1007","author":[{"given":"C. R.","family":"Ramakrishnan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,3,29]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM TOPLAS, 8(2), 1986.","DOI":"10.1145\/5397.5399"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"William Chan. Temporal logic queries. In Computer Aided Verification (CAV), 2000.","DOI":"10.1007\/10722167_34"},{"issue":"1","key":"1_CR3","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/227595.227597","volume":"43","author":"W. Chen","year":"1996","unstructured":"W. Chen and D. S. Warren. Tabled evaluation with delaying for general ogic programs. Journal of the ACM, 43(1):20\u201374, January 1996.","journal-title":"Journal of the ACM"},{"key":"1_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1007\/3-540-61474-5_97","volume-title":"Computer Aided Verificaon (CAV)","author":"J.-C. Fernandez","year":"1996","unstructured":"J.-C. Fernandez, H. Garavel, A. Kerbrat, R. Mateescu, L. Mounier, and M Sighireanu. CADP (CAESAR\/ALDEBERAN development package): protocol validation and verification toolbox. In Computer Aided Verificaon (CAV), volume 1102 of Lecture Notes in Computer Science, pages 437\u2013440, 1996."},{"key":"1_CR5","unstructured":"M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In International Conference on Logic Programming, pages 1070\u20131080, 1988."},{"key":"1_CR6","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"D. Kozen","year":"1983","unstructured":"D. Kozen. Results on the propositional \u03bc-calculus. Theoretical Computer Science, 27:333\u2013354, 1983.","journal-title":"Theoretical Computer Science"},{"key":"1_CR7","unstructured":"R. Mateescu. Local model checking of an alternation-free value-based modal mu-calculus. In Workshop on Verification, Model Checking, and Abstract Interpretation (VMCAI), 1998."},{"key":"1_CR8","unstructured":"R. Milner. Communication and Concurrency. International Series in Computer Science. Prentice Hall, 1989."},{"key":"1_CR9","unstructured":"M. Mukund, C. R. Ramakrishnan, I. V. Ramakrishnan, and R. Verma. Symbolic bisimulation using tabled constraint logic programming. In International Workshop on Tabulation in Parsing and Deduction (TAPD), 2000."},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"J. Rathke and M. Hennessy. Local model checking for value-passing processes. In International Symposium on Theoretical Aspects of Computer Software, 1997.","DOI":"10.1007\/BFb0014555"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, S. A. Smolka, T. L. Swift, and D. S. Warren. Efficient model checking using tabled resolution. In Proceedings of the 9th International Conference on Computer-Aided Verification (CAV\u2019 97), Haifa, Israel, July 1997. Springer-Verlag.","DOI":"10.1007\/3-540-63166-6_16"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"C.R. Ramakrishnan, I.V. Ramakrishnan, S.A. Smolka, Y. Dong, X. Du, A. Roychoudhury, and V.N. Venkatakrishnan. XMC: A logicprogramming-based verification toolset. In Computer Aided Verification (CAV), 2000. XMC is available from http:\/\/www.cs.sunysb.edu\/$\u00a1m$lmc .","DOI":"10.1007\/10722167_48"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"A. van Gelder, K. A. Ross, and J. S. Schlipf. The well-founded semantics for general logic programs. Journal of the ACM, 38(3), 1991.","DOI":"10.1145\/116825.116838"},{"key":"1_CR14","unstructured":"The XSB logic programming system. Available from http:\/\/xsb.sourceforge.net ."}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45241-9_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T13:08:26Z","timestamp":1556802506000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45241-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540417682","9783540452416"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-45241-9_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}