{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,3]],"date-time":"2025-06-03T04:09:16Z","timestamp":1748923756302,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":3,"publisher":"ACM","license":[{"start":{"date-parts":[[2004,7,25]],"date-time":"2004-07-25T00:00:00Z","timestamp":1090713600000},"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":[[2004,7,25]]},"DOI":"10.1145\/1011767.1011827","type":"proceedings-article","created":{"date-parts":[[2004,10,7]],"date-time":"2004-10-07T17:39:48Z","timestamp":1097170788000},"page":"371-371","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Brief Announcement"],"prefix":"10.1145","author":[{"given":"Rafael","family":"Ramirez","sequence":"first","affiliation":[{"name":"Pompeu Fabra University, Barcelona, Spain"}]},{"given":"Juanjo","family":"Martinez","sequence":"additional","affiliation":[{"name":"Pompeu Fabra University, Barcelona, Spain"}]}],"member":"320","published-online":{"date-parts":[[2004,7,25]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/876904.881455"},{"key":"e_1_3_2_1_2_1","volume-title":"DCABES","author":"Ramirez R.","year":"2004","unstructured":"Ramirez , R. , Martinez , J. 2004 . Constraint-based Concurrent and Distributed programming in Java , DCABES 2004. Ramirez, R., Martinez, J. 2004. Constraint-based Concurrent and Distributed programming in Java, DCABES 2004."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"McMillan K.L. 1993. Symbolic Model Checking. KAP   McMillan K.L. 1993. Symbolic Model Checking. KAP","DOI":"10.1007\/978-1-4615-3190-6"}],"event":{"name":"PODC04: Principles of Distributed Computing 2004","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","ACM Association for Computing Machinery","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"],"location":"St. John's Newfoundland Canada","acronym":"PODC04"},"container-title":["Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1011767.1011827","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1011767.1011827","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,2]],"date-time":"2025-06-02T20:13:41Z","timestamp":1748895221000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1011767.1011827"}},"subtitle":["constraint-based synchronization and verification of concurrent programs"],"short-title":[],"issued":{"date-parts":[[2004,7,25]]},"references-count":3,"alternative-id":["10.1145\/1011767.1011827","10.1145\/1011767"],"URL":"https:\/\/doi.org\/10.1145\/1011767.1011827","relation":{},"subject":[],"published":{"date-parts":[[2004,7,25]]},"assertion":[{"value":"2004-07-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}