{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:20Z","timestamp":1761611300874},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540606307"},{"type":"electronic","value":"9783540485094"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60630-0_8","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:50:09Z","timestamp":1330271409000},"page":"153-173","source":"Crossref","is-referenced-by-count":22,"title":["A front-end generator for verification tools"],"prefix":"10.1007","author":[{"given":"Rance","family":"Cleaveland","sequence":"first","affiliation":[]},{"given":"Eric","family":"Madelaine","sequence":"additional","affiliation":[]},{"given":"Steve","family":"Sims","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"8_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 and G. Boudol. Alg\u00e8bre de processus et synchronisation. Theoretical Computer Science, 30:91\u2013131, 1984.","journal-title":"Theoretical Computer Science"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"J.C.M. Baeten and C. Verhoef. A congruence theorem for structured operational semantics with predicates. Technical Report 93\/05, Eindhoven University of Technology, 1994.","DOI":"10.1007\/3-540-57208-2_33"},{"key":"8_CR3","volume-title":"Efficient on-the-fly model checking for CTL*","author":"G. Bhat","year":"1995","unstructured":"G. Bhat, R. Cleaveland, and O. Grumberg. Efficient on-the-fly model checking for CTL*. In Tenth Annual Symposium on Logic in Computer Science (LICS '95), San Diego, July 1995. IEEE Computer Society Press."},{"key":"8_CR4","first-page":"229","volume-title":"Bisimulation can't be traced","author":"B. Bloom","year":"1988","unstructured":"B. Bloom, S. Istrail, and A. Meyer. Bisimulation can't be traced. In Fifteenth Annual ACM Symposium on Principles of Programming Languages (PoPL '88), pages 229\u2013239, San Diego, January 1988. IEEE Computer Society Press."},{"key":"8_CR5","unstructured":"T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. In P.H.J. van Eijk, C.A.Vissers, and M.Diaz, editors, The Formal Description Technique LOTOS, pages 23\u201376. North-Holland, 1989."},{"key":"8_CR6","unstructured":"G. Boudol, V. Roy, R. de Simone, and D. Vergamini. Process calculi, from theory to practice: Verification tools. Rapport de Recherche RR.1098, INRIA, October 1989."},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"R. Cleaveland. Analyzing concurrent systems using the Concurrency Workbench. In P.E. Lauer, editor, Functional Programming, Concurrency, Simulation and Automated Reasoning, volume 693 of Lecture Notes in Computer Science, pages 129\u2013144. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-56883-2_8"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"R. Cleaveland and M.C.B. Hennessy. Testing equivalence as a bisimulation equivalence. In Proceedings of the Workshop on Automatic Verification Methods for Finite-State Systems, pages 11\u201323. Springer-Verlag, 1989.","DOI":"10.1007\/3-540-52148-8_2"},{"issue":"1\/2","key":"8_CR9","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1016\/0890-5401(90)90059-Q","volume":"87","author":"R. Cleaveland","year":"1990","unstructured":"R. Cleaveland and M.C.B. Hennessy. Priorities in process algebra. Information and Computation, 87(1\/2):58\u201377, July\/August 1990.","journal-title":"Information and Computation"},{"issue":"1","key":"8_CR10","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1145\/151646.151648","volume":"15","author":"R. Cleaveland","year":"1993","unstructured":"R. Cleaveland, J. Parrow, and B. Steffen. The Concurrency Workbench: A semantics-based tool for the verification of finite-state systems. ACM Transactions on Programming Languages and Systems, 15(1):36\u201372, January 1993.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"8_CR11","volume-title":"Technical Report Spectre-c 14","author":"J.C. Fernandez","year":"1989","unstructured":"J.C. Fernandez. Ald\u00e9baran: A tool for verification of communicating processes. Technical Report Spectre-c 14, LGI-IMAG, Grenoble, 1989."},{"issue":"100","key":"8_CR12","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1016\/0890-5401(92)90013-6","volume":"2","author":"J.F. Groote","year":"1992","unstructured":"J.F. Groote and F. Vaandrager. Structured operational semantics and bisimulation as a congruence. Information and Computation, 2(100):202\u2013260, 1992.","journal-title":"Information and Computation"},{"key":"8_CR13","unstructured":"G. Kahn. Natural semantics. Technical Report RR.601, INRIA, 1987."},{"key":"8_CR14","unstructured":"K.G. Larsen, J.C. Godskesen, and M. Zeeberg. TAV, tools for automatic verification, user manual. Technical Report R 89-19, Dept of Mathematics and Computer Science, \u00c5lborg university, 1989."},{"key":"8_CR15","first-page":"526","volume-title":"volume 443 of Lecture Notes in Computer Science","author":"K.G. Larsen","year":"1990","unstructured":"K.G. Larsen and L. Xinxin. Compositionality through an operational semantics of contexts. In M.S. Paterson, editor, Automata, Languages and Programming (ICALP '90), volume 443 of Lecture Notes in Computer Science, pages 526\u2013539, Warwick, England, July 1990. Springer-Verlag."},{"key":"8_CR16","unstructured":"E. Madelaine, R. de Simone, and D. Vergamini. ECRINS, user manual, 1988. Technical Documentation."},{"key":"8_CR17","volume-title":"Finiteness conditions and structural construction of automata for all process algebras","author":"E. Madelaine","year":"1990","unstructured":"E. Madelaine and D. Vergamini. Finiteness conditions and structural construction of automata for all process algebras. In R. Kurshan, editor, proceedings of Workshop on Computer Aided Verification, New-Brunswick, June 1990. AMS-DIMACS."},{"key":"8_CR18","series-title":"volume C-2 of IFIP Transactions","volume-title":"Formal Description Techniques, IV","author":"E. Madelaine","year":"1991","unstructured":"E. Madelaine and D. Vergamini. Specification and verification of a sliding window protocol in LOTOS. In K. R. Parker and G. A. Rose, editors, Formal Description Techniques, IV, volume C-2 of IFIP Transactions, Sydney, December 1991. North-Holland."},{"key":"8_CR19","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall, 1989."},{"key":"8_CR20","unstructured":"G. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, University of Aarhus, September 1981."},{"key":"8_CR21","volume-title":"Auto and autograph","author":"V. Roy","year":"1990","unstructured":"V. Roy and R. de Simone. Auto and autograph. In R. Kurshan, editor, proceedings of Workshop on Computer Aided Verification, New-Brunswick, June 1990. AMS-DIMACS."},{"key":"8_CR22","first-page":"433","volume-title":"volume 836 of Lectures Notes in Computer Science","author":"C. Verhoef","year":"1994","unstructured":"C. Verhoef. A congruence theorem for structured operational semantics with predicates and negative premises. In B. Jonsson and J. Parrow, editors, Proceedings CONCUR. 94, Uppsala, Sweden, volume 836 of Lectures Notes in Computer Science, pages 433\u2013448. Springer-Verlag, 1994."}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60630-0_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:01:04Z","timestamp":1605628864000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60630-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540606307","9783540485094"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-60630-0_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}