{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T13:04:14Z","timestamp":1754485454871},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540568834"},{"type":"electronic","value":"9783540477761"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56883-2_8","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:47:57Z","timestamp":1330256877000},"page":"129-144","source":"Crossref","is-referenced-by-count":5,"title":["Analyzing concurrent systems using the Concurrency Workbench"],"prefix":"10.1007","author":[{"given":"Rance","family":"Cleaveland","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"issue":"n.5","key":"8_CR1","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1145\/362946.362970","volume":"12","author":"K. A. Bartlett","year":"1969","unstructured":"Bartlett, K.A., Scantlebury, R.A., and Wilkinson, P.T. \u201cA Note on Reliable Full-Duplex Transmission over Half-Duplex Links.\u201d Communications of the ACM 12, n. 5, pp. 260\u2013261, May 1969.","journal-title":"Communications of the ACM"},{"key":"8_CR2","volume-title":"Data Networks","author":"D. Bertsekas","year":"1987","unstructured":"Bertsekas, D. and Gallager, R. Data Networks. Prentice-Hall, Englewood Cliffs, 1987."},{"issue":"n.3","key":"8_CR3","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S. D. Brookes","year":"1984","unstructured":"Brookes, S.D., Hoare, C.A.R., and Roscoe, A.W. \u201cA Theory of Communicating Sequential Processes.\u201d Journal of the ACM, v. 31, n. 3, July 1984, pp. 560\u2013599.","journal-title":"Journal of the ACM"},{"key":"8_CR4","unstructured":"Bruns, G. and Anderson, S. \u201cThe Formalisation and Analysis of a Communications Protocol.\u201d Submitted for publication."},{"key":"8_CR5","volume-title":"Lecture Notes in Computer Science","author":"U. Celikkan","year":"1993","unstructured":"Celikkan, U. and Cleaveland, R. \u201cOn Computing Diagnostic Information for Preorder Checking.\u201d To appear in Proceedings of the 1992 Workshop on Computer-Aided Verification. Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1993."},{"key":"8_CR6","unstructured":"Celikkan, U. and Cleaveland, R. \u201cComputing Diagnostic Tests for Incorrect Processes.\u201d With U. Celikkan. To appear in Proceedings of the Twelfth International Symposium on Protocol Specification, Testing and Verification."},{"issue":"n.2","key":"8_CR7","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 A CM Transactions on Programming Languages and Systems, v. 8, n. 2, pp. 244\u2013263, 1986.","journal-title":"A CM Transactions on Programming Languages and Systems"},{"key":"8_CR8","first-page":"463","volume-title":"Computer-Aided Verification '90","author":"R. Cleaveland","year":"1991","unstructured":"Cleaveland, R. \u201cOn Automatically Distinguishing Inequivalent Processes.\u201d In Computer-Aided Verification '90, pp. 463\u2013477. American Mathematical Society, Providence, 1991. Also Lecture Notes in Computer Science 531, Springer-Verlag, Berlin, 1991."},{"key":"8_CR9","first-page":"287","volume-title":"A Semantics-Based Tool for the Verification of Finite-State Systems","author":"R. Cleaveland","year":"1990","unstructured":"Cleaveland, R., Parrow, J. and Steffen, B. \u201cA Semantics-Based Tool for the Verification of Finite-State Systems.\u201d In Proceedings of the Ninth IFIP Symposium on Protocol Specification, Testing and Verification, June 1989, pp. 287\u2013302. North-Holland, Amsterdam, 1990."},{"key":"8_CR10","first-page":"24","volume-title":"Lecture Notes in Computer Science 407","author":"R. Cleaveland","year":"1989","unstructured":"Cleaveland, R., Parrow, J. and Steffen, B. \u201cThe Concurrency Workbench.\u201d In Proceedings of the Workshop on Automatic Verification Methods for Finite-State Systems, pp. 24\u201337. Lecture Notes in Computer Science 407, Springer-Verlag, Berlin, 1989."},{"key":"8_CR11","unstructured":"Cleaveland, R., Parrow, J. and Steffen, B. \u201cThe Concurrency Workbench: A Semantics-Based Tool for the Verification of Finite-State Systems.\u201d Technical Report 91\u201326, North Carolina State University, 1991. To appear in ACM TOPLAS."},{"key":"8_CR12","volume-title":"Lecture Notes in Computer Science 510","author":"R. Cleaveland","year":"1991","unstructured":"Cleaveland, R. and Steffen, B. \u201cComputing Behavioural Relations, Logically.\u201d In Proceedings International Colloquium on Automata, Languages and Programming. Lecture Notes in Computer Science 510, Springer-Verlag, Berlin, 1991."},{"key":"8_CR13","volume-title":"Lecture Notes in Computer Science 575","author":"R. Cleaveland","year":"1992","unstructured":"Cleaveland, R. and Steffen, B. \u201cA Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus.\u201d In Proceedings of Computer-Aided Verification '91, Lecture Notes in Computer Science 575. Springer-Verlag, Berlin, 1992."},{"key":"8_CR14","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, pp. 83\u2013133, 1983.","journal-title":"Theoretical Computer Science"},{"key":"8_CR15","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":"8_CR16","first-page":"613","volume-title":"Information Processing 89","author":"R. Glabbeek van","year":"1989","unstructured":"van Glabbeek, R. and Weijland, P. \u201cBranching Time and Abstraction in Bisimulation Semantics.\u201d In Information Processing 89, pp. 613\u2013618. North-Holland, Amsterdam, 1989."},{"key":"8_CR17","unstructured":"Godskesen, J.C., Larsen, K.G., and Zeeberg, M. \u201cTAV\u2014Tools for Automatic Verification.\u201d Technical Report R89-19, Aalborg University, 1989."},{"key":"8_CR18","unstructured":"Goyer, J.H. Communications Protocols for the B-HIVE Multicomputer. Master's Thesis, North Carolina State University, 1991."},{"issue":"n.1","key":"8_CR19","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1002\/j.1538-7305.1990.tb00102.x","volume":"69","author":"Z. Har'el","year":"1990","unstructured":"Har'el, Z. and Kurshan, R.P. \u201cSoftware for Analytical Development of Communications Protocols.\u201d AT&T Technical Journal, v. 69, n. 1, pp. 45\u201359. February, 1990.","journal-title":"AT&T Technical Journal"},{"key":"8_CR20","volume-title":"Algebraic Theory of Processes","author":"M. C. B. B. Hennessy","year":"1988","unstructured":"Hennessy, M.C.B. Algebraic Theory of Processes. MIT Press, Boston, 1988."},{"key":"8_CR21","volume-title":"Communicating Sequential Processes","author":"C. A. R. R. Hoare","year":"1985","unstructured":"Hoare, C.A.R. Communicating Sequential Processes. Prentice-Hall, London, 1985."},{"key":"8_CR22","volume-title":"Design and Validation of Computer Protocols","author":"G. Holzmann","year":"1991","unstructured":"Holzmann, G. Design and Validation of Computer Protocols. Prentice-Hall, Englewood Cliffs, 1991."},{"key":"8_CR23","volume-title":"Lecture Notes in Computer Science 299","author":"K. G. Larsen","year":"1988","unstructured":"Larsen, K.G. \u201cProof Systems for Hennessy-Milner Logic with Recursion.\u201d In Proceedings of CAAP, Lecture Notes in Computer Science 299, Springer-Verlag, Berlin, 1988."},{"key":"8_CR24","unstructured":"Larsen, K.G. and Thomsen, B. \u201cCompositional Proofs by Partial Specification of Processes.\u201d Report R 87-20, University of Aalborg, July 1987."},{"key":"8_CR25","volume-title":"Winston: A Tool for Hierarchical Design and Simulation 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":"8_CR26","unstructured":"Milner, R. Communication and Concurrency. Prentice Hall 1989."},{"key":"8_CR27","unstructured":"Moller, F. \u201cThe Edinburgh Concurrency Workbench (Version 6.0).\u201d Technical Note LFCS-TN-34, University of Edinburgh, 1991."},{"key":"8_CR28","volume-title":"Lecture Notes in Computer Science 104","author":"D. M. R. R. Park","year":"1981","unstructured":"Park, D.M.R. \u201cConcurrency and Automata on Infinite Sequences.\u201d In Proceedings of the 5\n\n                  th\n                \nGI Conference, Lecture Notes in Computer Science 104. Springer-Verlag, Berlin, 1981."},{"key":"8_CR29","first-page":"373","volume-title":"Verifying a CSMA\/CD-Protocol with CCS","author":"J. Parrow","year":"1988","unstructured":"Parrow, J. \u201cVerifying a CSMA\/CD-Protocol with CCS.\u201d In Proceeding of the Eighth IFIP Symposium on Protocol Specification, Testing, and Verification, pp. 373\u2013387. North-Holland, Amsterdam, 1988."},{"key":"8_CR30","volume-title":"Proceedings of the Seventh IFIP Symposium on Protocol Specification, Testing, and Verification","author":"J. Richier","year":"1987","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. North-Holland, Amsterdam, 1987."},{"key":"8_CR31","first-page":"477","volume-title":"Computer-Aided Verification '90","author":"V. Roy","year":"1991","unstructured":"Roy, V. and de Simone, R. \u201cAuto\/Autograph.\u201d In Computer-Aided Verification '90, pp. 477\u2013491. American Mathematical Society, Providence, 1991."},{"key":"8_CR32","first-page":"186","volume-title":"Bisimulation Equivalence and Divergence in CCS","author":"D. J. Walker","year":"1988","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. Computer Society Press, Los Alamitos, 1988."}],"container-title":["Lecture Notes in Computer Science","Functional Programming, Concurrency, Simulation and Automated Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56883-2_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T00:56:55Z","timestamp":1619571415000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56883-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540568834","9783540477761"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/3-540-56883-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}