{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:47:17Z","timestamp":1748072837115},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540521488"},{"type":"electronic","value":"9783540469056"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-52148-8_3","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:23:27Z","timestamp":1330205007000},"page":"24-37","source":"Crossref","is-referenced-by-count":83,"title":["The concurrency workbench"],"prefix":"10.1007","author":[{"given":"Rance","family":"Cleaveland","sequence":"first","affiliation":[]},{"given":"Joachim","family":"Parrow","sequence":"additional","affiliation":[]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Bloom, B., S. Istrail and A. Meyer. \u201cBisimulation Can't Be Traced.\u201d Proceedings of the ACM Symposium on Principles of Programming Languages, 1988.","DOI":"10.1145\/73560.73580"},{"key":"3_CR2","unstructured":"Bochmann, G., \u201cUsage of Protocol Development Tools: The Results of a Survey.\u201d In Proceeding of the Seventh IFIP Symposium on Protocol Specification, Testing, and Verification, 1987, North-Holland."},{"key":"3_CR3","unstructured":"Boudol, G., de Simone, R. and Vergamini, D. \u201cExperiment with Auto and Autograph an a Simple Case Sliding Window Protocol.\u201d Inria Report 870, July 1988"},{"key":"3_CR4","unstructured":"Clarke, E.M. \u201cCompositional Model Checking.\u201d This volume."},{"issue":"2","key":"3_CR5","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, E. and Sistla, A.P. \u201cAutomatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications.\u201d ACM Transactions on Programming Languages and Systems, v. 8, n. 2, 1986, pp. 244\u2013263.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Cleaveland, R. \u201cTableau-Based Model Checking in the Propositional Mu-Calculus.\u201d University of Sussex Technical Report 2\/89, March 1989.","DOI":"10.1007\/BF00264284"},{"key":"3_CR7","unstructured":"Cleaveland, R. and Hennessy, M.C.B. \u201cTesting Equivalence as a Bisimulation Equivalence.\u201d This volume."},{"key":"3_CR8","unstructured":"Cleaveland, R., Parrow, J and Steffen, B. The Concurrency Workbench: Operating Instructions, University of Edinburgh, Laboratory for Foundations of Computer Science, Technical Note 10, September 1988."},{"key":"3_CR9","unstructured":"Cleaveland, R., Parrow, J and Steffen, B. The Concurrency Workbench: A Semantics-Based Verification Tool for Finite-State Systems, University of Edinburgh, Laboratory for Foundations of Computer Science, Technical Report ECS-LFCS-89-83, June 1989."},{"key":"3_CR10","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R. DeNicola","year":"1983","unstructured":"DeNicola, R. and Hennessy, M.C.B. \u201cTesting Equivalences for Processes.\u201d Theoretical Computer Science, v. 34, 1983, pp. 83\u2013133.","journal-title":"Theoretical Computer Science"},{"key":"3_CR11","unstructured":"Emerson, E.A. and Lei, C.-L. \u201cEfficient Model Checking in Fragments of the Propositional Mu-Calculus.\u201d In Proceedings of the First Annual Symposium on Logic in Computer Science, 1986, pp. 267\u2013278."},{"key":"3_CR12","unstructured":"Fernandez, J.-C. Ald\u00e9baran: Une Syst\u00e8me de V\u00e9rification par R\u00e9duction de Processus Communicants. Ph.D. Thesis, Universit\u00e9 de Grenoble, 1988."},{"key":"3_CR13","volume-title":"Algebraic Theory of Processes","author":"M.C.B. Hennessy","year":"1988","unstructured":"Hennessy, M.C.B. Algebraic Theory of Processes. MIT Press, Boston, 1988."},{"key":"3_CR14","unstructured":"Hillerstr\u00f6m, M. Verification of CCS-processes. M.Sc. Thesis, Computer Science Department, Aalborg University, 1987."},{"key":"3_CR15","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R. Communicating Sequential Processes. Prentice-Hall, London, 1985."},{"key":"3_CR16","volume-title":"Introduction to Automata Theory, Languages and Computation","author":"J. Hopcroft","year":"1979","unstructured":"Hopcroft, J. and Ullman, J. Introduction to Automata Theory, Languages and Computation. Addison-Wesley, Reading, 1979."},{"key":"3_CR17","unstructured":"Jonsson, B., Kahn, A., and Parrow, J. \u201cImplementing a Model Checking Algorithm by Adapting Existing Automated Tools.\u201d This volume."},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1007\/BFb0029004","volume-title":"Proceedings of the Sixth Annual Symposium on Theoretical Aspects of Computer Science","author":"B. Jonsson","year":"1989","unstructured":"Jonsson, B. and Parrow, J. \u201cDeciding Bisimulation Equivalences for a Class of Non-Finite-State Programs.\u201d In Proceedings of the Sixth Annual Symposium on Theoretical Aspects of Computer Science, 1989. Lecture Notes in Computer Science 349, pp. 421\u2013433. Springer-Verlag, Berlin, 1989."},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Kanellakis, P. and Smolka, S.A. \u201cCCS Expressions, Finite State Processes, and Three Problems of Equivalence.\u201d In Proceedings of the Second ACM Symposium on the Principles of Distributed Computing, 1983.","DOI":"10.1145\/800221.806724"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Larsen, K.G. \u201cProof Systems for Hennessy-Milner Logic with Recursion.\u201d In Proceedings of CAAP, 1988.","DOI":"10.1007\/BFb0026106"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Larsen, K. and A. Skou. \u201cBisimulation through Probabilistic Testing.\u201d Proceedings of the ACM Symposium on Principles of Programming Languages, 1989.","DOI":"10.1145\/75277.75307"},{"key":"3_CR22","unstructured":"Lee, C.-H. \u201cImplementering av CCS med v\u00e4rde\u00f6verf\u00f6ring.\u201d SICS Technical Report 1989 (in Swedish)."},{"key":"3_CR23","volume-title":"Proceedings of the Workshop on Specification and Verification of Concurrent Systems","author":"J. Malhotra","year":"1988","unstructured":"Malhotra, J., Smolka, S.A., Giacalone, A. and Shapiro, R. \u201cWinston: A Tool for Hierarchical Design and Simulation of Concurrent Systems.\u201d In Proceedings of the Workshop on Specification and Verification of Concurrent Systems, University of Stirling, Scotland, 1988."},{"key":"3_CR24","unstructured":"Milner, R. Communication and Concurrency. Prentice Hall 1989."},{"issue":"6","key":"3_CR25","doi-asserted-by":"crossref","first-page":"973","DOI":"10.1137\/0216062","volume":"16","author":"R. Paige","year":"1987","unstructured":"Paige, R. and Tarjan, R.E. \u201cThree Partition Refinement Algorithms.\u201d SIAM Journal of Computing, v. 16, n. 6, December 1987, pp. 973\u2013989.","journal-title":"SIAM Journal of Computing"},{"key":"3_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/3-540-18625-5_46","volume-title":"Proceedings of the Foundations of Software Technology and Theoretical Computer Science","author":"J. Parrow","year":"1987","unstructured":"Parrow, J. \u201cSubmodule Construction as Equation Solving in CCS.\u201d In Proceedings of the Foundations of Software Technology and Theoretical Computer Science, Lecture Notes in Computer Science 287, pp. 103\u2013123. Springer-Verlag, Berlin, 1987."},{"key":"3_CR27","unstructured":"Parrow, J. \u201cVerifying a CSMA\/CD-Protocol with CCS.\u201d In Proceeding of the Seventh IFIP Symposium on Protocol Specification, Testing, and Verification, 1987, North-Holland."},{"key":"3_CR28","unstructured":"Richier, J., Rodriguez, C., Sifakis, J. and Voiron, J., \u201cVerification in XESAR of the Sliding Window Protocol.\u201d In Proceedings of the Seventh IFIP Symposium on Protocol Specification, Testing, and Verification, 1987, North-Holland."},{"key":"3_CR29","doi-asserted-by":"crossref","unstructured":"Steffen, B. \u201cCharacteristic Formulae.\u201d In Proceedings ICALP, 1989.","DOI":"10.1007\/BFb0035794"},{"key":"3_CR30","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0304-3975(87)90012-0","volume":"49","author":"C. Stirling","year":"1987","unstructured":"Stirling, C. \u201cModal Logics for Communicating Systems.\u201d Theoretical Computer Science, v. 49, 1987, pp. 311\u2013347.","journal-title":"Theoretical Computer Science"},{"key":"3_CR31","doi-asserted-by":"crossref","unstructured":"Stirling, C. and Walker, D.J. \u201cLocal Model Checking in the Model Mu-Calculus\u201d, In Proceedings TAPSOFT, 1989.","DOI":"10.1007\/3-540-50939-9_144"},{"key":"3_CR32","doi-asserted-by":"crossref","unstructured":"Walker, D.J. \u201cBisimulation Equivalence and Divergence in CCS.\u201d In Proceedings of the Third Annual Symposium on Logic in Computer Science, 1988, pp. 186\u2013192.","DOI":"10.1109\/LICS.1988.5117"},{"key":"3_CR33","unstructured":"Walker, D.J. \u201cAnalysing Mutual Exclusion Algorithms Using CCS.\u201d University of Edinburgh Technical Report ECS-LFCS-88-45, 1988."}],"container-title":["Lecture Notes in Computer Science","Automatic Verification Methods for Finite State Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-52148-8_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T03:05:37Z","timestamp":1640919937000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-52148-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540521488","9783540469056"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/3-540-52148-8_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}