{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,14]],"date-time":"2026-10-14T22:47:28Z","timestamp":1792018048339,"version":"4.4.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540534792","type":"print"},{"value":"9783540468974","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-53479-2_17","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:04:39Z","timestamp":1330189479000},"page":"407-419","source":"Crossref","is-referenced-by-count":172,"title":["Action versus state based logics for transition systems"],"prefix":"10.1007","author":[{"given":"Rocco","family":"Nicola","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Frits","family":"Vaandrager","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"issue":"12","key":"17_CR1","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. Theoret. Comp. Sci., 59 (1,2), 1988, pp. 115\u2013131.","journal-title":"Theoret. Comp. Sci."},{"issue":"2","key":"17_CR2","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":"17_CR3","first-page":"353","volume-title":"Proceedings 4th Annual Symposium on Logic in Computer Science (LICS), Asilomar, California","author":"E.M. Clarke","year":"1989","unstructured":"E.M. Clarke, D.E. Long & K.L. Macmillan: Compositional Model Checking. In Proceedings 4th Annual Symposium on Logic in Computer Science (LICS), Asilomar, California, IEEE Computer Society Press, Washington, 1989, pp. 353\u2013362."},{"key":"17_CR4","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1007\/3-540-52148-8_3","volume":"407","author":"R. Cleaveland","year":"1990","unstructured":"Cleaveland, R., Parrow, J., Steffen, B. The Concurrency Workbench. In Automatic Verification Methods for Finite State Systems (J. Sifakis, ed.) Lecture Notes in Computer Science 407, Springer-Verlag, 1990, pp. 24\u201337.","journal-title":"Lecture Notes in Computer Science"},{"key":"17_CR5","first-page":"118","volume-title":"Three Logics for Branching Bisimulations (Extended Abstract)","author":"R. Nicola De","year":"1990","unstructured":"R. De Nicola, & F.W. Vaandrager: Three Logics for Branching Bisimulations (Extended Abstract) in Proc. of the 5th Annual Symposium on Logic in Computer Science (LICS '90), Philadelphia, USA, June 1990, IEEE Computer Society Press, Los Alamitos, CA, 1990, pp. 118\u2013129."},{"key":"17_CR6","unstructured":"R. De Nicola, & F.W. Vaandrager: Three Logics for Branching Bisimulations, CWI Report CS-R9012, 1990."},{"issue":"1","key":"17_CR7","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":"17_CR8","doi-asserted-by":"crossref","unstructured":"E.A. Emerson & C.L. Lei: Modalities for Model Checking: Branching Time Strikes Back. Science of Computer Programming, 6, 1987.","DOI":"10.1016\/0167-6423(87)90036-0"},{"key":"17_CR9","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/BFb0013022","volume":"354","author":"E. A. Emerson","year":"1989","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, de Roever and Rozenberg, eds.) Lecture Notes in Computer Science 354, Springer-Verlag, 1989, pp. 123\u2013172.","journal-title":"Lecture Notes in Computer Science"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"J.F. Groote & F.W. Vaandrager: An Efficient Algorithm for Branching Bisimulation and Stuttering Equivalence. In Proceedings ICALP '90, Warwick, Lecture Notes in Computer Sciences, Springer-Verlag, 1990.","DOI":"10.1007\/BFb0032063"},{"key":"17_CR11","unstructured":"R.J. van Glabbeek & W.P. Weijland: Branching Time and Abstraction in Bisimulation Semantics (extended abstract). In Information Processing '89 (G.X. Ritter, ed.), Elsevier Science Publishers B.V. (North Holland), 1989, pp. 613\u2013618."},{"key":"17_CR12","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":"17_CR13","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/3-540-52148-8_15","volume":"407","author":"B. Jonsson","year":"1990","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.) Lecture Notes in Computer Science 407, Springer-Verlag, 1990, pp. 179\u2013188.","journal-title":"Lecture Notes in Computer Science"},{"key":"17_CR14","unstructured":"L. Lamport: What Good Is Temporal Logic?, Information Processing '83 (R.E.A. Mason, ed.) Elsevier Science Publishers B.V. (North Holland), 1983, pp. 657\u2013668."},{"key":"17_CR15","unstructured":"K.G. Larsen: Proof Systems for Hennessy-Milner Logic with Recursion, in proceeding CAAP '88 (M. Dauchet & M. Nivat eds) Lecture Notes in Computer Science 299, Springer-Verlag, 1988."},{"key":"17_CR16","doi-asserted-by":"crossref","first-page":"660","DOI":"10.1007\/BFb0013039","volume":"354","author":"C. Stirling","year":"1989","unstructured":"C. Stirling: Temporal Logics for CCS, in Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, (de Bakker, de Roever and Rozenberg, eds.) Lecture Notes in Computer Science 354, Springer-Verlag, 1989, pp. 660\u2013672.","journal-title":"Lecture Notes in Computer Science"}],"container-title":["Lecture Notes in Computer Science","Semantics of Systems of Concurrent Processes"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53479-2_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:12:38Z","timestamp":1619557958000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53479-2_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540534792","9783540468974"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-53479-2_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990]]}}}