{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T15:03:38Z","timestamp":1729609418204,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/time.2004.1314429","type":"proceedings-article","created":{"date-parts":[[2004,11,13]],"date-time":"2004-11-13T00:14:14Z","timestamp":1100304854000},"page":"125-132","source":"Crossref","is-referenced-by-count":0,"title":["Compositional temporal logic based on partial order"],"prefix":"10.1109","author":[{"given":"A.","family":"Alexander","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W.","family":"Reisig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","first-page":"262","DOI":"10.1007\/3-540-56863-8_51","article-title":"Compositional liveness properties of EN-systems","volume":"691 of lncs","author":"gomm","year":"1993","journal-title":"Application and Theory of Petri Nets 1993 14th International Conference Proceedings"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/3-540-63139-9_39","article-title":"A compositional partial order semantics for Petri net components","volume":"1248 of lncs","author":"kindler","year":"1997","journal-title":"Application and Theory of Petri Nets 1997 18th International Conference Proceedings"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1145\/177492.177726"},{"key":"ref13","first-page":"402","article-title":"Composition: A way to make proofs harder","volume":"1536 of lncs","author":"lamport","year":"1997","journal-title":"Proc Int Symp Compositionality The Significant Difference COMPOS'97"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1007\/978-1-4612-0931-7"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1007\/BFb0014000"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1016\/0304-3975(81)90110-9"},{"year":"1996","author":"reynolds","article-title":"Changing nothing is sometimes doing something: Fairness in extensonal semantics","key":"ref17"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1016\/0304-3975(93)90151-I"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1007\/978-3-642-61455-2_14"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1145\/800057.808665"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1109\/CSD.2003.1207711"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1007\/BFb0025039"},{"key":"ref7","article-title":"Nonsequential processes – a Petri net view","volume":"13","author":"best","year":"1988","journal-title":"EATCS Monographs on Theoretical Computer Science"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1145\/203095.201069"},{"key":"ref1","first-page":"327","article-title":"Decomposing specifications of concurrent systems","author":"abadi","year":"1994","journal-title":"Proc of the Working Conference on Programming Concepts Methods and Calculi (PROCOMET'94) volume A-56 of IFIP Transactions"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1007\/BFb0013980"}],"event":{"name":"Proceedings. 11th International Symposium on Temporal Representation and Reasoning, 2004. TIME 2004.","start":{"date-parts":[[2004,7,3]]},"location":"Tatihou, Normandie, France","end":{"date-parts":[[2004,7,3]]}},"container-title":["Proceedings. 11th International Symposium on Temporal Representation and Reasoning, 2004. TIME 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9184\/29135\/01314429.pdf?arnumber=1314429","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T11:52:41Z","timestamp":1497613961000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1314429\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/time.2004.1314429","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}