{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,20]],"date-time":"2026-05-20T22:22:00Z","timestamp":1779315720801,"version":"3.51.4"},"reference-count":15,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[1977,7,1]],"date-time":"1977-07-01T00:00:00Z","timestamp":236563200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["J. ACM"],"published-print":{"date-parts":[[1977,7]]},"DOI":"10.1145\/322017.322028","type":"journal-article","created":{"date-parts":[[2002,7,27]],"date-time":"2002-07-27T11:26:10Z","timestamp":1027769170000},"page":"484-503","update-policy":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":24,"title":["Semantics of the Domain of Flow Diagrams"],"prefix":"10.1145","volume":"24","author":[{"given":"John C.","family":"Reynolds","sequence":"first","affiliation":[{"name":"School of Computer and Information Science, Syracuse University, Syracuse, NY"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[1977,7]]},"reference":[{"key":"e_1_2_1_2_2","first-page":"17","volume-title":"Edinburgh.","author":"Nt~ LANDIN","year":"1969"},{"key":"e_1_2_1_3_2","first-page":"98 133","volume-title":"May 1975","author":"Eou H","year":"1976"},{"key":"e_1_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.1145\/321992.321997"},{"key":"e_1_2_1_5_2","volume-title":"Edinburgh U","author":"Go~tm N","year":"1973"},{"key":"e_1_2_1_6_2","unstructured":"MJLNER R Implementation and applicatmns of Scott's logic for computable functmns Proc ACM Conf on Proving Assertions about Programs SIGPLAN Notices (ACM) 7 1 (Jan. 1972) 1-6 10.1145\/800235.807067   MJLNER R Implementation and applicatmns of Scott's logic for computable functmns Proc ACM Conf on Proving Assertions about Programs SIGPLAN Notices (ACM) 7 1 (Jan. 1972) 1-6 10.1145\/800235.807067"},{"key":"e_1_2_1_7_2","first-page":"283","volume-title":"Plsa","year":"1973"},{"key":"e_1_2_1_8_2","unstructured":"MoR~m F.L. The next 700 programming language decrlptlons Unpubhshed  MoR~m F.L. The next 700 programming language decrlptlons Unpubhshed"},{"key":"e_1_2_1_9_2","first-page":"452","volume":"5","author":"Tg IN","year":"1976","journal-title":"SlAM J. Comptng"},{"key":"e_1_2_1_10_2","unstructured":"R~v~OLOS j C Notes on a lattice-theoretic approach to the theory of computation Systems and Infor~at~on Science Syracuse U Syracuse N Y. Oct 1972  R~v~OLOS j C Notes on a lattice-theoretic approach to the theory of computation Systems and Infor~at~on Science Syracuse U Syracuse N Y. Oct 1972"},{"key":"e_1_2_1_11_2","volume-title":"Proc Fourth Annual Princeton Conf on Inform. Scl and Syst,, 1970","author":"Scott D.","year":"1970"},{"key":"e_1_2_1_12_2","first-page":"31","volume-title":"D The Lattice of Flow Diagrams Proc. Symp on Semantics of Algorithmic Languages. E Engeler, Ed , Springer Lecture Note Series No. 188","author":"Scott","year":"1971"},{"key":"e_1_2_1_13_2","first-page":"97","volume-title":"Proc. 1971 Dalhousle Conf., Springer Lecture Note Series No. 274","author":"ScoTr D","year":"1971"},{"key":"e_1_2_1_14_2","first-page":"19","volume-title":"Polytechnic Insutute of Brooklyn","volume":"21","author":"Scott D","year":"1971"},{"key":"e_1_2_1_15_2","volume-title":"Oxford U Comptng Lab","year":"1974"},{"key":"e_1_2_1_16_2","first-page":"214","volume-title":"Sprmger-Verlag","year":"1975"}],"container-title":["Journal of the ACM"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/dl.acm.org\/doi\/10.1145\/322017.322028","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/dl.acm.org\/doi\/pdf\/10.1145\/322017.322028","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:02:18Z","timestamp":1750208538000},"score":1,"resource":{"primary":{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/dl.acm.org\/doi\/10.1145\/322017.322028"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1977,7]]},"references-count":15,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1977,7]]}},"alternative-id":["10.1145\/322017.322028"],"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/doi.org\/10.1145\/322017.322028","relation":{},"ISSN":["0004-5411","1557-735X"],"issn-type":[{"value":"0004-5411","type":"print"},{"value":"1557-735X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1977,7]]},"assertion":[{"value":"1977-07-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}