{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T00:56:48Z","timestamp":1725584208546},"publisher-location":"Boston, MA","reference-count":19,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780792395638"},{"type":"electronic","value":"9781461522713"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/978-1-4615-2271-3_5","type":"book-chapter","created":{"date-parts":[[2011,5,28]],"date-time":"2011-05-28T19:35:16Z","timestamp":1306611316000},"page":"89-102","source":"Crossref","is-referenced-by-count":6,"title":["Static Deadlock Analysis for CSP-Type Communications"],"prefix":"10.1007","author":[{"given":"Peter B.","family":"Ladkin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Barbara B.","family":"Simons","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","series-title":"Springer-Verlag","first-page":"1","volume-title":"A static analysis of CSP programs In E. Clarke and D. Kozen, editorsLogics of Programsvolume 164 ofLecture Notes in Computer Science","author":"KR Apt","year":"1983","unstructured":"K. R. Apt. A static analysis of CSP programs In E. Clarke and D. Kozen, editorsLogics of Programsvolume 164 ofLecture Notes in Computer Sciencepages 1\u201317. Springer-Verlag, 1983."},{"issue":"4","key":"5_CR2","doi-asserted-by":"publisher","first-page":"599","DOI":"10.1145\/29873.31334","volume":"9","author":"JE Cuny","year":"1987","unstructured":"J.E. Cuny and L. Snyder. Conversion from data-driven to synchronous execution in loop programs.ACM Transactions on Programming Languages and Systems9(4):599\u2013617, Oct 1987.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"3","key":"5_CR3","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1145\/24039.24041","volume":"9","author":"J Ferrante","year":"1987","unstructured":"J. Ferrante, K.J. Ottenstein, and J.D. Warren. The program dependence graph and its use in optimization.ACM Transactions on Programming Languages and Systems9(3):319\u2013349, July 1987.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"5_CR4","volume-title":"An overview of the Fortran D programming system. Technical Report COMP TR91-154, Rice University","author":"S Hiranandani","year":"1991","unstructured":"S. Hiranandani, K. Kennedy, C. Koelbel, U. Kremer, and C.-W. Tseng. An overview of the Fortran D programming system. Technical Report COMP TR91\u2013154, Rice University, Houston, TX, Mar 1991."},{"key":"5_CR5","volume-title":"Compiler support for machine-independent parallel programming in Fortran D. Technical Report COMP TR91-149, Rice University","author":"S Hiranandani","year":"1991","unstructured":"S. Hiranandani, K. Kennedy, and C.-W. Tseng. Compiler support for machine-independent parallel programming in Fortran D. Technical Report COMP TR91\u2013149, Rice University, Houston, TX, 1991."},{"key":"5_CR6","volume-title":"Personal communications, 1991 and","author":"J Hafner","year":"1992","unstructured":"J. Hafner and P. Narendran. Personal communications, 1991 and 1992."},{"key":"5_CR7","volume-title":"Communicating Sequential Processes. Prentice Hall International","author":"CAH Hoare","year":"1985","unstructured":"C.A.H. Hoare.Communicating Sequential Processes.Prentice Hall International, 1985."},{"key":"5_CR8","series-title":"Dorset House","volume-title":"Strategies for Real-Time System Specification","author":"DJ Hatley","year":"1988","unstructured":"D.J. Hatley and I.A. PirbhaiStrategies for Real-Time System Specification.Dorset House, 1988."},{"key":"5_CR9","series-title":"Prentice Hall International","volume-title":"System Development","author":"MA Jackson","year":"1986","unstructured":"M.A. Jackson.System Development.Prentice Hall International, 1986."},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"P.B. Ladkin and B.B. Simons. Compile-time analysis of communicating processes. Technical Report RJ 8488, IBM Almaden Research Center, Nov 1991. Short version inProceedings of the Sixth ACM International Conference on Supercomputing248\u2013259, ACM Press, 1992.","DOI":"10.1145\/143369.143417"},{"key":"5_CR11","volume-title":"Simple NP-complete deadlock and reachability problems. Technical Report TR 03.456","author":"PB Ladkin","year":"1992","unstructured":"P.B. Ladkin and B.B. Simons. Simple NP-complete deadlock and reachability problems. Technical Report TR 03.456, IBM Santa Teresa Laboratory, San Jose, CA, Nov 1992."},{"key":"5_CR12","volume-title":"Static analysis of concurrent communicating loops. Technical Report RJ","author":"PB Ladkin","year":"1992","unstructured":"P.B. Ladkin and B.B. Simons. Static analysis of concurrent communicating loops. Technical Report RJ 8625, IBM Almaden Research Center, Feb 1992."},{"key":"5_CR13","series-title":"Springer-Verlag","volume-title":"Static analysis of interprocess communication. To appear as a monograph in the series Lecture Notes in Computer Science","author":"PB Ladkin","year":"1994","unstructured":"P.B. Ladkin and B.B. Simons. Static analysis of interprocess communication. To appear as a monograph in the seriesLecture Notes in Computer Science.Springer-Verlag, 1994."},{"key":"5_CR14","volume-title":"An algorithm for analyzing communicating processes. Technical Report LIX\/RR\/90\/12, Ecole Polytechnique,Laboratoire d\u2019Informatique","author":"N Mercouroff","year":"1990","unstructured":"N. Mercouroff. An algorithm for analyzing communicating processes. Technical Report LIX\/RR\/90\/12, Ecole Polytechnique, Laboratoire d\u2019Informatique, Palaiseaux Cedex, France, 1990."},{"key":"5_CR15","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/BFb0023738","volume-title":"Computer Aided Verification: Proceedings of CAV\u201990","author":"W Peng","year":"1991","unstructured":"W. Peng and S. Purushothaman. A unified approach to the deadlock detection problem in networks of communicating finite state machines. In E.M. Clarke and R.P. Kurshan, editorsComputer Aided Verification: Proceedings of CAV\u201990volume 531 ofLecture Notes in Computer Sciencepages 243\u2013252. Springer-Verlag, 1991."},{"key":"5_CR16","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1007\/BF01185558","volume":"29","author":"W Peng","year":"1992","unstructured":"W. Peng and S. Purushothaman. Analysis of a class of communicating finite state machines.Acta Informatica29:499\u2013522, 1992.","journal-title":"Acta Informatica"},{"issue":"1","key":"5_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01407862","volume":"19","author":"J Reif","year":"1990","unstructured":"J. Reif and S.A. Smolka Data flow analysis of distributed communicating processes.International Journal of Parallel Programming19(1):1\u201331, Feb 1990.","journal-title":"International Journal of Parallel Programming"},{"key":"5_CR18","unstructured":"B.B. Simons. A polynomial time algorithm for compile-time deadlock analysis when the communication graph is a tree. In Preparation."},{"issue":"5","key":"5_CR19","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1145\/69586.69587","volume":"26","author":"RN Taylor","year":"1983","unstructured":"R.N. Taylor. A general-purpose algorithm for analyzing concurrent programs.Communications of the ACM26(5):362\u2013376, May 1983.","journal-title":"Communications of the ACM"}],"container-title":["Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4615-2271-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,28]],"date-time":"2019-03-28T02:51:22Z","timestamp":1553741482000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4615-2271-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9780792395638","9781461522713"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-1-4615-2271-3_5","relation":{},"subject":[],"published":{"date-parts":[[1995]]}}}