{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:48:54Z","timestamp":1772164134368,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[1988,11,1]],"date-time":"1988-11-01T00:00:00Z","timestamp":594345600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[1988,11]]},"DOI":"10.1145\/68210.69241","type":"proceedings-article","created":{"date-parts":[[2004,2,4]],"date-time":"2004-02-04T18:03:45Z","timestamp":1075917825000},"page":"271-282","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Interactive blackbox debugging for concurrent languages"],"prefix":"10.1145","author":[{"given":"G.","family":"Goldszmidt","sequence":"first","affiliation":[{"name":"Computer Science Department, Technion, Haifa"}]},{"given":"S.","family":"Katz","sequence":"additional","affiliation":[{"name":"Computer Science Department, Technion, Haifa"}]},{"given":"S.","family":"Yemini","sequence":"additional","affiliation":[{"name":"IBM TJ. Watson Research Center, Yorktown Heights, New York"}]}],"member":"320","published-online":{"date-parts":[[1988,11]]},"reference":[{"key":"e_1_3_2_1_1_2","doi-asserted-by":"publisher","DOI":"10.5555\/10665.10671"},{"key":"e_1_3_2_1_2_2","volume-title":"Programming in Prolog","author":"CLOCKSIN W.","year":"1984","unstructured":"CLOCKSIN W. , and MELLISH C. , Programming in Prolog , Springer-Verlag , 1984 . CLOCKSIN W., and MELLISH C., Programming in Prolog, Springer-Verlag, 1984."},{"key":"e_1_3_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010224"},{"key":"e_1_3_2_1_4_2","unstructured":"GOLDSZMIDT G. \"Debugging Tools for Concurrent Languages\" M.Sc. Thesis Technion Israel institute of Technology in preparation.  GOLDSZMIDT G. \"Debugging Tools for Concurrent Languages\" M.Sc. Thesis Technion Israel institute of Technology in preparation."},{"key":"e_1_3_2_1_5_2","volume-title":"TR","author":"GORDON A.","year":"1985","unstructured":"GORDON A. , \"Ordering Errors in Distributed Programs\", Ph.D. Thesis, Univ. of Wisconsin-Madison , TR 611, August 1985 . GORDON A., \"Ordering Errors in Distributed Programs\", Ph.D. Thesis, Univ. of Wisconsin-Madison, TR 611, August 1985."},{"key":"e_1_3_2_1_6_2","volume-title":"December","author":"HALIM N.","year":"1985","unstructured":"HALIM N. and PERSHING J. , The Yorktown NIL Compiler: Language Reference , December 1985 . HALIM N. and PERSHING J., The Yorktown NIL Compiler: Language Reference, December 1985."},{"key":"e_1_3_2_1_7_2","volume-title":"OCCAM Programming Manual","author":"INMOS","year":"1984","unstructured":"INMOS Limited , OCCAM Programming Manual , Prentice Hall Series on Computer Science, 1984 . INMOS Limited, OCCAM Programming Manual, Prentice Hall Series on Computer Science, 1984."},{"key":"e_1_3_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/13677.22723"},{"key":"e_1_3_2_1_9_2","volume-title":"The C Programming Language","author":"KERNIGHAN B.","year":"1978","unstructured":"KERNIGHAN B. and RITCHIE D. , The C Programming Language , Prentice-Hall , Englewood Cliffs , New Jersey. 1978 . KERNIGHAN B. and RITCHIE D., The C Programming Language, Prentice-Hall, Englewood Cliffs, New Jersey. 1978."},{"key":"e_1_3_2_1_10_2","volume-title":"GIT Project No. G36-605","author":"LEBLANC R.","year":"1986","unstructured":"LEBLANC R. , \"Interactive Monitoring of Distributed Systems\" , GIT Project No. G36-605 , Georgia Institute of Technology , July 1986 . LEBLANC R., \"Interactive Monitoring of Distributed Systems\", GIT Project No. G36-605, Georgia Institute of Technology, July 1986."},{"key":"e_1_3_2_1_11_2","volume-title":"Bell Laboratories","author":"LESK M.","year":"1975","unstructured":"LESK M. , \"Lex - A Lexical Analyzer Generator\", Comp . Sci. TR 39 , Bell Laboratories , Murray Hill , New Jersey , October 1975 . LESK M., \"Lex - A Lexical Analyzer Generator\", Comp. Sci. TR 39, Bell Laboratories, Murray Hill, New Jersey, October 1975."},{"key":"e_1_3_2_1_12_2","first-page":"215","volume-title":"The Correcmess Problem in Computer Science, Intl. lecture series in Computer Science","author":"MANNA Z.","year":"1981","unstructured":"MANNA Z. and PNUELI A. , \"Verification of concurrent programs : the temporal framework \", in The Correcmess Problem in Computer Science, Intl. lecture series in Computer Science , Academic Press , London , pp. 215 - 273 , 1981 . MANNA Z. and PNUELI A., \"Verification of concurrent programs: the temporal framework\", in The Correcmess Problem in Computer Science, Intl. lecture series in Computer Science, Academic Press, London, pp. 215-273, 1981."},{"key":"e_1_3_2_1_13_2","volume-title":"Ada Joint Program Office","year":"1982","unstructured":"Reference Manual for the Ada Programming Language, U.S. Department of Defense , Ada Joint Program Office , July 1982 . Reference Manual for the Ada Programming Language, U.S. Department of Defense, Ada Joint Program Office, July 1982."},{"key":"e_1_3_2_1_14_2","volume-title":"TR GIT-ICS-83\/21","author":"ROBBINS A","year":"1983","unstructured":"ROBBINS A , \"The design of a passive monitor for distributed programs\", M.Sc. Thesis , Georgia Institute of Technology , TR GIT-ICS-83\/21 , August 1983 . ROBBINS A, \"The design of a passive monitor for distributed programs\", M.Sc. Thesis, Georgia Institute of Technology, TR GIT-ICS-83\/21, August 1983."},{"key":"e_1_3_2_1_15_2","volume-title":"MIT\/LCSffR-264","author":"SCHIFFENBAUER R.","year":"1981","unstructured":"SCHIFFENBAUER R. , \"Interactive Debugging in a Distributed Computational Environment\", M.Sc. Thesis , Massachusetts institute of Technology , MIT\/LCSffR-264 , August 1981 . SCHIFFENBAUER R., \"Interactive Debugging in a Distributed Computational Environment\", M.Sc. Thesis, Massachusetts institute of Technology, MIT\/LCSffR-264, August 1981."},{"key":"e_1_3_2_1_16_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380151105"},{"key":"e_1_3_2_1_17_2","doi-asserted-by":"publisher","DOI":"10.1145\/800226.806853"}],"event":{"name":"WPDD88: 1988 Workshop on Parallel & Distributed Debugging","location":"Madison Wisconsin USA","acronym":"WPDD88","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/68210.69241","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/68210.69241","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T17:38:30Z","timestamp":1750268310000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/68210.69241"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,11]]},"references-count":17,"alternative-id":["10.1145\/68210.69241","10.1145\/68210"],"URL":"https:\/\/doi.org\/10.1145\/68210.69241","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/69215.69241","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[1988,11]]},"assertion":[{"value":"1988-11-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}