{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:19:40Z","timestamp":1725664780571},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540610427"},{"type":"electronic","value":"9783540498742"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61042-1_50","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:11:25Z","timestamp":1330290685000},"page":"278-297","source":"Crossref","is-referenced-by-count":3,"title":["Priorities for modeling and verifying distributed systems"],"prefix":"10.1007","author":[{"given":"Rance","family":"Cleaveland","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerald","family":"L\u00fcttgen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V.","family":"Natarajan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steve","family":"Sims","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"17_CR1","series-title":"volume 17 of Cambridge Tracts in Theoretical Computer Science","volume-title":"Applications of Process Algebra","year":"1990","unstructured":"J. Baeten, editor. Applications of Process Algebra, volume 17 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, England, 1990."},{"key":"17_CR2","doi-asserted-by":"crossref","first-page":"127","DOI":"10.3233\/FI-1986-9202","volume":"IX","author":"J. Baeten","year":"1986","unstructured":"J. Baeten, J. Bergstra, and J. Klop. Syntax and defining equations for an interrupt mechanism in process algebra. Fundamenta Informaticae IX, pages 127\u2013168, 1986.","journal-title":"Fundamenta Informaticae"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"G. Bhat and R. Cleaveland. Efficient local model-checking for fragments of the modal \u039c-calculus. To appear in Proceedings of Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '96), 1996.","DOI":"10.1007\/3-540-61042-1_41"},{"key":"17_CR4","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"T. Bolognesi","year":"1987","unstructured":"T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 14:25\u201359, 1987.","journal-title":"Computer Networks and ISDN Systems"},{"key":"17_CR5","series-title":"volume 663 of Lecture Notes in Computer Science","first-page":"220","volume-title":"Computer Aided Verification (CAV '92)","author":"G. Bruns","year":"1992","unstructured":"G. Bruns. A case study in safety-critical design. In G. Bochmann and D. Probst, editors, Computer Aided Verification (CAV '92), volume 663 of Lecture Notes in Computer Science, pages 220\u2013233, Montr\u00e9al, June\/July 1992. Springer-Verlag."},{"key":"17_CR6","first-page":"246","volume-title":"CCS with priority choice","author":"J. Camilleri","year":"1991","unstructured":"J. Camilleri and G. Winskel. CCS with priority choice. In Sixth Annual Symposium on Logic in Computer Science (LICS '91), pages 246\u2013255, Amsterdam, July 1991. IEEE Computer Society Press."},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"R. Cleaveland. Analyzing concurrent systems using the Concurrency Workbench. In P. 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"},{"issue":"1\/2","key":"17_CR8","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. Hennessy. Priorities in process algebra. Information and Computation, 87(1\/2):58\u201377, July\/August 1990.","journal-title":"Information and Computation"},{"key":"17_CR9","first-page":"153","volume-title":"volume 1019 of Lecture Notes in Computer Science","author":"R. Cleaveland","year":"1995","unstructured":"R. Cleaveland, E. Madelaine, and S. Sims. Generating front-ends for verification tools. In E. Brinksma, W. R. Cleaveland, K. G. Larsen, T. Margaria, and B. Steffen, editors, First International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '95), volume 1019 of Lecture Notes in Computer Science, pages 153\u2013173, Aarhus, Denmark, May 1995. Springer-Verlag."},{"issue":"1","key":"17_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":"17_CR11","doi-asserted-by":"crossref","unstructured":"A. Cribbens. Solid-state interlocking (SSI): an integrated electronic signalling system for mainline railways. IEE Proceedings, 134, Pt. B(3), May 1987.","DOI":"10.1049\/ip-b.1987.0024"},{"key":"17_CR12","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"D. Kozen","year":"1983","unstructured":"D. Kozen. Results on the propositional \u039c-calculus. Theoretical Computer Science, 27:333\u2013354, 1983.","journal-title":"Theoretical Computer Science"},{"key":"17_CR13","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, London, 1989."},{"key":"17_CR14","series-title":"volume 880 of Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/3-540-58715-2_127","volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"V. Natarajan","year":"1994","unstructured":"V. Natarajan, L. Christoff, I. Christoff, and R. Cleaveland. Priorities and abstraction in process algebra. In P. Thiagarajan, editor, Foundations of Software Technology and Theoretical Computer Science, volume 880 of Lecture Notes in Computer Science, pages 217\u2013230, Madras, India, Dec. 1994. Springer-Verlag."},{"key":"17_CR15","series-title":"volume 510 of Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/3-540-54233-7_136","volume-title":"Automata, Languages and Programming (ICALP '91)","author":"W. Yi","year":"1991","unstructured":"W. Yi. CCS + time = an interleaving model for real time systems. In J. L. Albert, B. Monien, and M. R. Artalejo, editors, Automata, Languages and Programming (ICALP '91), volume 510 of Lecture Notes in Computer Science, pages 217\u2013228, Madrid, July 1991. Springer-Verlag."}],"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-61042-1_50.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T10:15:19Z","timestamp":1640945719000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61042-1_50"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540610427","9783540498742"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-61042-1_50","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}