{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:12:46Z","timestamp":1725459166835},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540619949"},{"type":"electronic","value":"9783540495888"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0037412","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T15:15:55Z","timestamp":1138202155000},"page":"307-316","source":"Crossref","is-referenced-by-count":0,"title":["A deductive database support to the specification of concurrent systems"],"prefix":"10.1007","author":[{"given":"Patrizia","family":"Asirelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefania","family":"Gnesi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria Cristina","family":"Rossi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,26]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"Manna, Z. and Pnueli, A. (1989) The Anchored Version of the Temporal Framework, in Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, Lecture Notes in Computer Science, 354, Springer-Verlag, 201\u2013284.","DOI":"10.1007\/BFb0013024"},{"issue":"1","key":"20_CR2","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1145\/4904.4999","volume":"33","author":"E. A. Emerson","year":"1986","unstructured":"Emerson, E. A. and Halpern, J. Y. (1986) Sometimes and Not Never Revisited: on Branching Time versus Linear Time Temporal Logic. Journal of ACM, 33 (1), 151\u2013178.","journal-title":"Journal of ACM"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"De Nicola, R. and Vaandrager, F. W. (1990) Action versus State based Logics for Transition Systems. Proceedings Ecole de Printemps on Semantics of Concurrency. Lecture Notes in Computer Science, 469, Springer-Verlag, 407\u2013419.","DOI":"10.1007\/3-540-53479-2_17"},{"key":"20_CR4","unstructured":"R. Milner: Communication and Concurrency, Prentice Hall, 1989."},{"key":"20_CR5","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/BF01384048","volume":"4","author":"A. Fantechi","year":"1994","unstructured":"A. Fantechi, S. Gnesi, G. Ristori, M. Carenini, M. Vanocchi, P. Moreschini: Assisting Requirement Formalization by Means of Natural Language Translation Formal Methods in System Design, 4, 243\u2013263 (1994)","journal-title":"Formal Methods in System Design"},{"key":"20_CR6","unstructured":"P. Asirelli, P. Inverardi, D. Aquilino, D. Apuzzo, G. Bottone, M.C. Rossi: Gedblog Reference Manual. Revised Version: Nota interna B4-18; Aprile 1995."},{"key":"20_CR7","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1006\/jvlc.1994.1021","volume":"5","author":"P. Asirelli","year":"1994","unstructured":"P. Asirelli, D. Di Grande, P. Inverardi and F. Nicodemi: Graphics by a logical Database Management System\u201d Journal of Visual Languages and Computing (1994),5,365\u2013388.","journal-title":"Journal of Visual Languages and Computing"},{"issue":"7","key":"20_CR8","doi-asserted-by":"crossref","first-page":"761","DOI":"10.1016\/0169-7552(93)90047-8","volume":"25","author":"R. Nicola De","year":"1993","unstructured":"R. De Nicola, A. Fantechi, S. Gnesi, G. Ristori: An action-based framework for verifying logical and behavioural properties of concurrent system Computer Networks and LSDN Systems,25, (7), pp. 761\u2013778, 1993.","journal-title":"Computer Networks and LSDN Systems"},{"key":"20_CR9","unstructured":"M. C. Rossi: Sistema logico detuttivo per il supporto allo svilutto di sistemi ed all'analisi di dati telemetrici Tesi di Laurea, Scienze dell'informazione, Universit\u00e0 di Pisa, Febbraio 1996."},{"key":"20_CR10","unstructured":"P. Asirelli, S. Gnesi, M.C. Rossi: Synthesis of temporal logic formulae: an approach to software design IEI Internal Report"}],"container-title":["Lecture Notes in Computer Science","SOFSEM'96: Theory and Practice of Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0037412","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T14:34:35Z","timestamp":1555425275000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0037412"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540619949","9783540495888"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/bfb0037412","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}