{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T03:10:36Z","timestamp":1770347436631,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540616047","type":"print"},{"value":"9783540706250","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61604-7_76","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:03:57Z","timestamp":1330293837000},"page":"563-578","source":"Crossref","is-referenced-by-count":2,"title":["Towards automatic temporal logic verification of value passing process algebra using abstract interpretation"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Fantechi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefania","family":"Gnesi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Diego","family":"Latella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"33_CR1","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"T. Bolognesi","year":"1987","unstructured":"T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 14:25\u201359, 1987.","journal-title":"Computer Networks and ISDN Systems"},{"key":"33_CR2","first-page":"207","volume":"n.54","author":"A. Bouali","year":"1994","unstructured":"A. Bouali, S. Gnesi, S. Larosa. The integration Project for the JACK Environment. Bulletin of the EATCS, n.54, October 1994, pages 207\u2013223.","journal-title":"Bulletin of the EATCS"},{"key":"33_CR3","unstructured":"R. Boute. Funmath illustrated: A declarative formalism and application examples. Technical Report Declarative Systems Series n.1, Univerity of Nijmegen, july 1993."},{"issue":"5","key":"33_CR4","doi-asserted-by":"crossref","first-page":"1512","DOI":"10.1145\/186025.186051","volume":"16","author":"E.M. Clarke","year":"1994","unstructured":"E.M.Clarke, O.Grumberg, D.E.Long. Model Checking and Abstraction. ACM TOPLAS, 16(5), 1994, pages 1512\u20131542.","journal-title":"ACM TOPLAS"},{"key":"33_CR5","doi-asserted-by":"crossref","unstructured":"R. Cleaveland and J. Riely. Testing-based Abstractions for Value-Passing Systems. Concur '94: Concurrency Theory, Lecture Notes in Computer Science 836, pages 415\u2013432. Springer-Verlag, 1994.","DOI":"10.1007\/978-3-540-48654-1_31"},{"key":"33_CR6","unstructured":"D.Dams, O.Grumberg, R.Gerth. Automatic Verification of Abstract Interpretation of Reactive Systems: Abstractions Preserving \u201dCTL*, CTL*, CTL*. IFIP Transactions A-56, Conference on Programming Concepts, Methods and Calculi (PRO-COMET'94), E. Olderog (ed.), North Holland, 1994."},{"key":"33_CR7","unstructured":"N. De Francesco, A. Fantechi, S. Gnesi, P.Inverardi. Model Checking of non-finite state processes by Finite Approximations. TACAS'95, Lecture Notes in Computer Science 1019, Springer-Verlag."},{"key":"33_CR8","unstructured":"P. van Eijk. The Lotosphere Integrated Tool Environment. 4th International Conference on Formal Description Techniques (FORTE '91), North-Holland, 1991, pp. 473\u2013476."},{"key":"33_CR9","unstructured":"A. Fantechi, S. Gnesi, C. Laneve. An Expressive Temporal Logic for Basic LOTOS 2nd International Conference on Formal Description Techniques (FORTE '89), North-Holland, 1990, pp. 261\u2013276."},{"key":"33_CR10","unstructured":"A. Fantechi, S. Gnesi, D. Latella. Temporal Logics Verification of LOTOS Specifications Using Abstract Interpretation. CNUCE Internal Report C94-19, Oct. 1994. Available from anonymous ftp as pub\/fantechi\/repC94-19.ps at repl.iei.pi.cnr.it."},{"key":"33_CR11","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/0020-0190(91)90163-C","volume":"39","author":"A. Fantechi","year":"1991","unstructured":"A. Fantechi, S. Gnesi, G. Ristori. Compositionality and Bisimulation: a negative result. Information Processing Letters, vol. 39, July 1991, pp.109\u2013114.","journal-title":"Information Processing Letters"},{"key":"33_CR12","doi-asserted-by":"crossref","unstructured":"F. Fiore and F. Giannotti. An abstract interpreter for the specification language LOTOS. 7h International Conference on Formal Description Techniques \u2014 FORTE '94, 1994.","DOI":"10.1007\/978-0-387-34878-0_25"},{"key":"33_CR13","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0167-6423(94)00018-2","volume":"23","author":"F. Giannotti","year":"1994","unstructured":"F. Giannotti and D. Latella. Gate splitting in LOTOS specifications using abstract interpretation. Science of Computer Programming, (23):127\u2013149, 1994.","journal-title":"Science of Computer Programming"},{"key":"33_CR14","doi-asserted-by":"crossref","unstructured":"S. Gnesi, E. Madelaine, G. Ristori. An Exercise in Protocol Verification. LOTOSPHERE \u2014 Software Development using LOTOS \u2014 Results of the LotoSphere Project; Kluwer Academic Publishers, 1995.","DOI":"10.1007\/978-1-4615-2203-4_13"},{"key":"33_CR15","unstructured":"C.A.R. Hoare. A model for Communicating Sequential Processes. Technical Monograph Prg-22, Computing laboratory, University of Oxford, 1981."},{"key":"33_CR16","unstructured":"R. Langerak. Transformations and Semantics for LOTOS. Ph. D. Thesis \u2014 University of Twente 1992"}],"container-title":["Lecture Notes in Computer Science","CONCUR '96: Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61604-7_76.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T10:50:12Z","timestamp":1640947812000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61604-7_76"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616047","9783540706250"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-61604-7_76","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996]]}}}