{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:34Z","timestamp":1761611194189},"reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540558224"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0084793","type":"book-chapter","created":{"date-parts":[[2006,11,24]],"date-time":"2006-11-24T13:12:14Z","timestamp":1164373934000},"page":"207-221","source":"Crossref","is-referenced-by-count":50,"title":["The weakest compositional semantic equivalence preserving nexttime-less linear temporal logic"],"prefix":"10.1007","author":[{"given":"Roope","family":"Kaivola","sequence":"first","affiliation":[]},{"given":"Antti","family":"Valmari","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Bolognesi, T. & Brinksma, E.: Introduction to the ISO Specification Language LOTOS, in The Formal Description Technique LOTOS, North-Holland, 1989, pp. 23\u201373"},{"key":"16_CR2","unstructured":"Bolognesi, T. & Caneve, M.: Equivalence Verification: Theory, Algorithms and a Tool, in The Formal Description Technique LOTOS, North-Holland, 1989, pp. 303\u2013326"},{"key":"16_CR3","unstructured":"Browne, M. C. & Clarke, E. M. & Gr\u00fcmberg, O.: Characterizing Kripke Structures in Temporal Logic, in Ehrig, H. & Kowalski, R. & Levi, G. & Montanari, U. (eds.): TAPSOFT '87, vol. I, LNCS, vol. 249, Springer-Verlag, 1987, pp. 256\u2013270"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Clarke, E. M. & Long, D. & McMillan, K. L.: Compositional Model Checking, in Proceedings of the Fourth IEEE Symposium on Logic in Computer Science, 1989, pp. 353\u2013362","DOI":"10.1109\/LICS.1989.39190"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Cleaveland, R. & Hennessy, M.: Testing Equivalence as a Bisimulation Equivalence, in Proceedings of the Workshop on Automatic Verification Methods for Finite State Systems, LNCS, vol. 407, Springer-Verlag, 1990, pp. 11\u201323","DOI":"10.1007\/3-540-52148-8_2"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Cleaveland, R. & Parrow, J. & Steffen, B.: The Concurrency Workbench, in Proceedings of the Workshop on Automatic Verification Methods for Finite State Systems, LNCS, vol. 407, Springer-Verlag, 1990, pp. 24\u201337","DOI":"10.1007\/3-540-52148-8_3"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Emerson, E. A. & Clarke, E. M.: Characterising Correctness Properties of Parallel Programs Using Fixpoints, in Proceedings of the 7th ICALP, LNCS, vol. 85, Springer-Verlag, 1980, pp. 169\u2013181","DOI":"10.1007\/3-540-10003-2_69"},{"key":"16_CR8","unstructured":"Graf, S. & Steffen, B.: Compositional Minimization of Finite-State Processes, in Kurshan, R. P. & Clarke, E. M. (eds.): Proceedings of CAV'90, LNCS, vol. 531, Springer-Verlag, 1990, pp. 186\u2013196"},{"key":"16_CR9","unstructured":"Kaivola, R. & Valmari, A.: Using Truth-Preserving Reductions to Improve the Clarity of Kripke-Models, in Baeten, J. C. M. & Groote, J. F. (eds.): Proceedings of CONCUR'91, LNCS, vol. 527, Springer-Verlag, 1991, pp. 361\u2013375"},{"key":"16_CR10","unstructured":"Kemppainen, J. & Levanto, M. & Valmari, A. & Clegg, M.: \u201dARA\u201d Puts Advanced Reachability Analysis Techniques Together, in Proceedings of the Fifth Nordic Workshop in Programming Environment Research, Tampere University of Technology, Software Systems Laboratory Report 14, 1992"},{"key":"16_CR11","unstructured":"Lamport, L.: What Good is Temporal Logic?, in Proceedings of the IFIP 9th World Computer Congress, 1983, pp. 657\u2013668"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Lichtenstein, O. & Pnueli, A.: Checking that Finite State Concurrent Programs Satisfy Their Linear Specification, in Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, 1985, pp. 97\u2013107","DOI":"10.1145\/318593.318622"},{"key":"16_CR13","unstructured":"Milner, R.: Communication and Concurrency, Prentice Hall, 1989"},{"key":"16_CR14","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/BF00268075","volume":"23","author":"E.-R. Olderog","year":"1986","unstructured":"Olderog, E.-R. & Hoare, C. A. R.: Specification-Oriented Semantics for Communicating Processes, in Acta Informatica, vol. 23, 1986, pp. 9\u201366","journal-title":"Acta Informatica"},{"key":"16_CR15","unstructured":"Stirling, C.: Comparing Linear and Branching Time Temporal Logics, University of Edinburgh, LFCS Report Series ECS-LFCS-87-24, 1987"},{"key":"16_CR16","unstructured":"Valmari, A.: Compositional State Space Generation, in Proceedings of the 11th International Conference on Application and Theory of Petri Nets, 1990, pp. 43\u201362, to appear also in Advances in Petri Nets 92, LNCS, Springer-Verlag, 1992"},{"key":"16_CR17","unstructured":"Valmari, A. & Tienari, M.: An Improved Failures Equivalence for Finite-State Systems with a Reduction Algorithm, in Protocol Specification, Testing and Verification XI, North-Holland, 1991, pp. 3\u201318"},{"key":"16_CR18","unstructured":"Valmari, A. & Tienari, M.: Compositional Failure-based Semantic Models for Basic LOTOS, A manuscript submitted for publication, 1992, 30 p."},{"key":"16_CR19","unstructured":"Walker, D.: Bisimulation Equivalence and Divergence in CCS, University of Edinburgh, LFCS Report Series ECS-LFCS-87-29, 1987"}],"container-title":["Lecture Notes in Computer Science","CONCUR '92"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0084793.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T22:07:23Z","timestamp":1607551643000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0084793"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540558224"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/bfb0084793","relation":{},"subject":[]}}