{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T19:01:30Z","timestamp":1729623690764,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/time.2002.1027474","type":"proceedings-article","created":{"date-parts":[[2003,6,25]],"date-time":"2003-06-25T18:06:50Z","timestamp":1056564410000},"page":"55-57","source":"Crossref","is-referenced-by-count":2,"title":["Distributed states logic"],"prefix":"10.1109","author":[{"given":"C.","family":"Montangero","sequence":"first","affiliation":[]},{"given":"L.","family":"Semini","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TIME.2002.1027474"},{"key":"ref11","first-page":"118","article-title":"Composing Specifications for Coordination","author":"montangero","year":"1999","journal-title":"COORDINATION'99 Proceedings"},{"key":"ref12","first-page":"28","article-title":"Wolper A. temporal logic for reasoning about partially ordered specifications","year":"1984","journal-title":"Proc 3th ACM Principles of Distributed Computing"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1996.561311"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(98)00021-5"},{"key":"ref15","first-page":"643","article-title":"Distributed versions of linear time temporal logic: A trace perspective","author":"thiagarajan","year":"1998","journal-title":"Lectures on Petri Nets I Basic Models Advances in Petri Nets LNCS 1491"},{"journal-title":"Reasoning About Knowledge","year":"1995","author":"fagin","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5643-5_6"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(90)90096-Z"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1023\/A:1014530313153"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1051\/ita\/1992260201151","article-title":"TTL: A formalism to describe local and global properties of distributed systems","volume":"26","author":"masini","year":"1992","journal-title":"Theoretical Informatics and Applications"},{"key":"ref7","first-page":"117","article-title":"Temporal logics for communicating sequential agents: I","volume":"3","author":"ramanujam","year":"0","journal-title":"International Journal of Foundations of Computer Science"},{"journal-title":"Parallel Program Design A Foun-dation","year":"1988","author":"chandy","key":"ref2"},{"journal-title":"Logic Engineering The Case of Description and Hybrid Logics","year":"2000","author":"areces","key":"ref1"},{"journal-title":"Metric and Layered Temporal Logic for Time Granularity","year":"1996","author":"montanari","key":"ref9"}],"event":{"name":"Ninth International Symposium on Temporal Representation and Reasoning","acronym":"TIME-02","location":"Manchester, UK"},"container-title":["Proceedings Ninth International Symposium on Temporal Representation and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/7975\/22066\/01027474.pdf?arnumber=1027474","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,2,24]],"date-time":"2018-02-24T18:32:43Z","timestamp":1519497163000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1027474\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/time.2002.1027474","relation":{},"subject":[]}}