{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T04:11:34Z","timestamp":1770351094747,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540551799","type":"print"},{"value":"9783540467632","type":"electronic"}],"license":[{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55179-4_5","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T09:52:04Z","timestamp":1330249924000},"page":"37-47","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["An action based framework for verifying logical and behavioural properties of concurrent systems"],"prefix":"10.1007","author":[{"given":"R.","family":"De Nicola","sequence":"first","affiliation":[]},{"given":"A.","family":"Fantechi","sequence":"additional","affiliation":[]},{"given":"S.","family":"Gnesi","sequence":"additional","affiliation":[]},{"given":"G.","family":"Ristori","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"issue":"1","key":"5_CR1","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/0304-3975(84)90067-7","volume":"30","author":"D. Austry","year":"1984","unstructured":"D. Austry, G. Boudol: Alg\u00e8bre de Processus et Synchronization. Theoretical Computer Science, 30, (1) 1984, pp. 91\u2013131.","journal-title":"Theoretical Computer Science"},{"key":"5_CR2","unstructured":"T. Bolognesi, M. Caneve: Squiggles: a Tool for the Analysis of LOTOS Specifications, in \u201cFormal Description Techniques\u201d (K. Turner, ed.), North-Holland, 1989."},{"issue":"12","key":"5_CR3","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/0304-3975(88)90098-9","volume":"59","author":"M. C. Browne","year":"1988","unstructured":"M.C. Browne, E.M. Clarke, O. Gr\u00fcmberg: Characterizing Finite Kripke Structures in Propositional Temporal Logic. Theoretical Computer Science, 59 (1,2), 1988, pp. 115\u2013131.","journal-title":"Theoretical Computer Science"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"A. Boujjani, S. Graf, J. Sifakis: A Logic for the Description of Behaviours and Properties of Concurrent Systems. In Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, (de Bakker, J.et al., eds.) LNCS 354, Springer-Verlag, 1989, pp. 398\u2013410.","DOI":"10.1007\/BFb0013027"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"J. Bradfield, C. Stirling: Verifying Temporal Properties of Processes. in Concur 90 (J. C. P. Baeten, J. W. Klop, eds), LNCS 458, Springer-Verlag, 1990, pp. 115\u2013125.","DOI":"10.1007\/BFb0039055"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"J. C. M. Baeten, W. P. Weijland: Process Algebra. Cambridge Tracts in Theoretical Computer Science 18. Cambridge University Press, 1990.","DOI":"10.1017\/CBO9780511624193"},{"issue":"2","key":"5_CR7","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E. M. Clarke","year":"1986","unstructured":"E.M. Clarke, E.A. Emerson, A.P. Sistla: Automatic Verification of Finite State Concurrent Systems using Temporal Logic Specifications. ACM Toplas, 8 (2), 1986, pp. 244\u2013263.","journal-title":"ACM Toplas"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"R. Cleaveland, J. Parrow, B. Steffen: The Concurrency Workbench. In Automatic Verification Methods for Finite State Systems (J. Sifakis, ed.) LNCS 407, Springer-Verlag, 1990, pp. 24\u201337.","DOI":"10.1007\/3-540-52148-8_3"},{"key":"5_CR9","unstructured":"R. de Simone, D. Vergamini: Aboard AUTO, I.N.R.I.A. Technical Report 111 (1990)."},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"R. De Nicola, F. W. Vaandrager: Three Logics for Branching Bisimulations (Extended Abstract) in LICS '90, IEEE Computer Society Press, 1990, pp. 118\u2013129.","DOI":"10.1109\/LICS.1990.113739"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"R. De Nicola, F. W. Vaandrager: Action versus State based Logics for Transition Systems. In Semantics of Systems of Concurrent Processes (I. Guessarian.ed.), LNCS 469, 1990, pp. 407\u2013419.","DOI":"10.1007\/3-540-53479-2_17"},{"issue":"1","key":"5_CR12","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1145\/4904.4999","volume":"33","author":"E. A. Emerson","year":"1986","unstructured":"E. A. Emerson, J. Y. Halpern: \u201cSometimes\u201d and \u201cNot Never\u201d Revisited: on Branching Time versus Linear Time Temporal Logic. Journal of ACM, 33, 1, 1986, pp. 151\u2013178.","journal-title":"Journal of ACM"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"E. A. Emerson, J. Srinivasan: Branching Time Temporal Logic. In Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, (de Bakker et al., eds.) LNCS 354, Springer-Verlag, 1989, pp. 123\u2013172.","DOI":"10.1007\/BFb0013022"},{"key":"5_CR14","volume-title":"TAV Users Manual, Internal Report","author":"J. C. Godskesen","year":"1989","unstructured":"J. C. Godskesen, K. G. Larsen, M. Zeeberg: TAV Users Manual, Internal Report, Aalborg University Center, Denmark, (1989)."},{"key":"5_CR15","unstructured":"H. Garavel, J Sifakis: Compilation and Verification of LOTOS Specifications, in Protocol Specification, Testing and Verification, X, (L. Logrippo et al., eds.) North Holland, 1990."},{"key":"5_CR16","volume-title":"An Algebraic Theory of Processes","author":"M. Hennessy","year":"1988","unstructured":"M. Hennessy: An Algebraic Theory of Processes, MIT Press, Cambridge, 1988."},{"key":"5_CR17","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"M. Hennessy, R. Milner: Algebraic Laws for Nondeterminism and Concurrency. Journal of ACM, 32, 1985, pp. 137\u2013161.","journal-title":"Journal of ACM"},{"key":"5_CR18","unstructured":"C. A. R. Hoare: Communicating Sequential Processes. Prentice Hall International, 1985."},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"B. Jonsson, A.H. Khan, J. Parrow: Implementing a model checking algorithm by adapting existing automated tools. In Automatic Verification Methods for Finite State Systems (J. Sifakis, ed.) LNCS 407, Springer-Verlag, 1990, pp. 179\u2013188.","DOI":"10.1007\/3-540-52148-8_15"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"D. Kozen: Results on the Propositional \u039c-calculus, Theoretical Computer Science, 27, 1983.","DOI":"10.1016\/0304-3975(82)90125-6"},{"key":"5_CR21","unstructured":"K. G. Larsen: Proof Systems for Hennessy-Milner Logic with Recursion, in Proceedings CAAP '88 (M. Dauchet & M. Nivat eds) LNCS 299, Springer-Verlag, 1988."},{"key":"5_CR22","unstructured":"R. Milner: Communication and Concurrency, Prentice Hall International, 1989."},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Z. Manna, A. Pnueli: The Anchored Version of the Temporal Framework, in Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, (de Bakker et al., eds.) LNCS 354, Springer-Verlag, 1989.","DOI":"10.1007\/BFb0013024"},{"key":"5_CR24","unstructured":"E. Madeleine, D. Vergamini: AUTO: A Verification Tool for Distributed Systems Using Reduction of Finite Automata Networks, in Formal Description Techniques II (S.T. Vuong, ed.), North-Holland, 1990."},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"C. Stirling: Temporal Logics for CCS, in Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, (de Bakker et. al., eds.) LNCS 354, Springer-Verlag, 1989, pp. 660\u2013672.","DOI":"10.1007\/BFb0013039"},{"key":"5_CR26","unstructured":"R. J. van Glabbeek, W. P. Weijland: Branching Time and Abstraction in Bisimulation Semantics. In Information Processing '89 (G.X. Ritter, ed.), North Holland, 1989, pp. 613\u2013618."}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55179-4_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:31:14Z","timestamp":1742592674000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55179-4_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540551799","9783540467632"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-55179-4_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992]]},"assertion":[{"value":"29 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}