{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:20:39Z","timestamp":1725664839922},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540635338"},{"type":"electronic","value":"9783540695936"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63533-5_22","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:28:51Z","timestamp":1330280931000},"page":"418-441","source":"Crossref","is-referenced-by-count":6,"title":["An efficient technique for deadlock analysis of large scale process networks"],"prefix":"10.1007","author":[{"given":"J. M. R.","family":"Martin","sequence":"first","affiliation":[]},{"given":"S. A.","family":"Jassim","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"22_CR1","unstructured":"P. Brinch Hansen: Operating System Principles, Prentice-Hall 1973."},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"S. D. Brookes and A. W. Roscoe: Deadlock Analysis in Networks of Communicating Processes, Distributed Computing (1991)4, Springer Verlag.","DOI":"10.1007\/BF01784721"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"K. M. Chandy and J. Misra: Deadlock Absence Proofs for Networks of Communicating Processes, Information Processing Letters. Volume 9 number 4 1979.","DOI":"10.1016\/0020-0190(79)90065-6"},{"key":"22_CR4","unstructured":"N. Dathi: Deadlock and Deadlock-Freedom, Oxford University D. Phil Thesis 1990."},{"key":"22_CR5","volume-title":"Technological University Eindhoven, The Netherlands 1965","author":"E. W. Dijkstra","year":"1968","unstructured":"E. W. Dijkstra: Cooperating Sequential Processes, Technological University Eindhoven, The Netherlands 1965. (Reprinted in Programming Languages, F. Genuys, ed., Academic Press, New York 1968.)"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"E. W. Dijkstra: A Class of Simple Communication Patterns, Selected Writings on Computing: A Personal Perspective, Springer-Verlag 1982.","DOI":"10.1007\/978-1-4612-5695-3"},{"key":"22_CR7","unstructured":"S. Even: Graph Algorithms, Computer Science Press, Inc. 1979."},{"key":"22_CR8","unstructured":"FDR User Manual and Tutorial: Formal Systems (Europe) Ltd. 3 Alfred Street, Oxford OXl 4EH. Available at ftp:\/\/ftp.comlab.ox.ac.uk\/pub\/Packages\/FDR"},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare: Communicating Sequential Processes, Prentice Hall 1985","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"E. Knapp: Deadlock Detection in Distributed Databases, ACM Computing Surveys, Vol 19, No 4, December 1987.","DOI":"10.1145\/45075.46163"},{"key":"22_CR11","unstructured":"J. M. R. Martin: The Design and Construction of Deadlock-Free Concurrent Systems, D. Phil. Thesis, University of Buckingham (Department of Mathematics, Statistics and Computer Science) 1996. Available at http:\/\/www.hensa.ac.uk\/parallel\/theory\/formal\/csp"},{"key":"22_CR12","unstructured":"J. M. R. Martin, I. East, and S. Jassim: Design Rules for Deadlock-Freedom, Transputer Communications, September 1994"},{"key":"22_CR13","unstructured":"J. M. R. Martin and S. A. Jassim: A Tool for Proving Deadlock Freedom, in Parallel Programming and Java, Proceedings of the 20th World Occam and Transputer User Group Technical Meeting, IOS Press 1997"},{"key":"22_CR14","unstructured":"J. M. R. Martin and S. A. Jassim: How to Design Deadlock-Free Networks Using CSP and Verification Tools \u2014 A Tutorial Introduction, in Parallel Programming and Java, Proceedings of the 20th World Occam and Transputer User Group Technical Meeting, IOS Press 1997"},{"key":"22_CR15","unstructured":"A. N. Parashkevov and J. Yantchev: ARC-A Tool for Efficient Refinement and Equivalence Checking for CSP, IEEE International Conference on Algorithms and Architectures for Parallel Programming (ICA3PP) '96, Singapore 1996."},{"key":"22_CR16","unstructured":"A. W. Roscoe: Routing Messages Through Networks: An Exercise in Deadlock Avoidance, Proceedings of the 7th occam User Group Technical Meeting, IOS Press 1988."},{"key":"22_CR17","unstructured":"A. W. Roscoe: Notes on CSP, Oxford University Lecture Notes 1995"},{"key":"22_CR18","unstructured":"A. W. Roscoe and Naiem Dathi: The Pursuit of Deadlock-Freedom, Oxford University Computing Laboratory (Technical Monograph PRG-57) 1986."},{"key":"22_CR19","unstructured":"A. W. Roscoe: Model Checking CSP, A Classical Mind, Prentice Hall 1994."},{"key":"22_CR20","doi-asserted-by":"crossref","unstructured":"A. W. Roscoe, P. H. B. Gardiner, M. H. Goldsmith, J. R. Hulance, D. M. Jackson and J. B. Scattergood: Hierarchical compression for model-checking CSP or how to check 1020 dining philosophers for deadlock, in TACAS'95 Workshop, pages 133\u2013152, LNCS 1019, Springer-Verlag 1995.","DOI":"10.1007\/3-540-60630-0_7"},{"key":"22_CR21","unstructured":"P. H. Welch, G. R. R. Justo, and C. J. Willcock: High Level Paradigms for Deadlock-Free High-Performance Systems, Transputer Applications and Systems '93, IOS Press 1993."},{"key":"22_CR22","doi-asserted-by":"crossref","unstructured":"J. Yantchev and C. R. Jesshope: Adaptive, low latency, deadlock-free packet routing for networks of processors, IEE Proceeding, Vol 136, Pt. E, No 3, May 1989","DOI":"10.1049\/ip-e.1989.0025"}],"container-title":["Lecture Notes in Computer Science","FME '97: Industrial Applications and Strengthened Foundations of Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63533-5_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T06:50:09Z","timestamp":1640933409000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63533-5_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540635338","9783540695936"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-63533-5_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}