{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:15:26Z","timestamp":1725455726147},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540638117"},{"type":"electronic","value":"9783540696513"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0025039","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T07:56:54Z","timestamp":1132387014000},"page":"123-145","source":"Crossref","is-referenced-by-count":2,"title":["A dense-time temporal logic with nice compositionality properties"],"prefix":"10.1007","author":[{"given":"Antonio","family":"Cau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Willem-Paul","family":"de Roever","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"10_CR1","unstructured":"P Aczel. On an inference rule for parallel composition, 1983. Unpublished, University of Manchester."},{"issue":"4","key":"10_CR2","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/BF01872848","volume":"2","author":"K. R. Apt","year":"1988","unstructured":"K. R. Apt, N. Francez, and S. Katz. Appraising fairness in languages for distributed programming. Distributed Computing, 2(4):226\u2013241, 1988.","journal-title":"Distributed Computing"},{"issue":"2","key":"10_CR3","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1016\/0304-3975(91)90224-P","volume":"82","author":"M. Abadi","year":"1991","unstructured":"M. Abadi and L. Lamport. The existence of refinement mappings. Theoretical Computer Science, 82(2):253\u2013284, May 1991.","journal-title":"Theoretical Computer Science"},{"issue":"4","key":"10_CR4","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0020-0190(85)90056-0","volume":"21","author":"B. Alpern","year":"1985","unstructured":"B. Alpern and F.B. Schneider. Defining liveness. Information Processing Letters, 21(4):181\u2013185, 1985.","journal-title":"Information Processing Letters"},{"key":"10_CR5","unstructured":"B. Alpern and F. Schneider. Proving boolean combinations of deterministic properties. In Proceedings of the second symposium on logic in computer science, pages 131\u2013137. IEEE, June 1987."},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"H. Barringer, R. Kuiper, and A. Pnueli. Now you may compose temporal logic specifications. In Proceedings of 16th ACM Symposium on Theory of Computing, pages 51\u201363, 1984.","DOI":"10.1145\/800057.808665"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"H. Barringer, R. Kuiper, and A. Pnueli. A really abstract concurrent model and its temporal semantics. In Proc. 13th ACM Symp. Princ. of Prog. Lang., pages 173\u2013183, 1986.","DOI":"10.1145\/512644.512660"},{"issue":"4","key":"10_CR8","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1305\/ndjfl\/1093870149","volume":"23","author":"J.P. Burgess","year":"1982","unstructured":"J.P. Burgess. Axioms for tense logic, i. \u201csince\u201d and \u201cuntil\u201d. Notre Dame Journal of Formal Logic, 23(4):367\u2013374, October 1982.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"J.P. Burgess. Basic tense logic. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic., volume II, pages 89\u2013133. Reidel Publishers, 1984.","DOI":"10.1007\/978-94-009-6259-0_2"},{"key":"10_CR10","unstructured":"A. Cau. Compositional Verification and Specification of Refinement for Reactive Systems in Dense Time Temporal Logic. PhD thesis, Christian-Albrechts-Universit\u00e4t zu Kiel, 1995. Available as report no. 9601."},{"issue":"2","key":"10_CR11","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/s002360050039","volume":"33","author":"A. Cau","year":"1996","unstructured":"A. Cau and P. Collette. Parallel composition of assumption-commitment specifications: a unifying approach for shared variable and distributed message passing concurrency. Acta Informatica, 33(2):153\u2013176, 1996.","journal-title":"Acta Informatica"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"E. Diepstraten and R. Kuiper. Abadi & Lamport and Stark: towards a proof theory for stuttering, dense domains and refinements mappings. In LNCS 430: Proc. of the REX Workshop on Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, pages 208\u2013238. Springer-Verlag, 1990.","DOI":"10.1007\/3-540-52559-9_66"},{"key":"10_CR13","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1984","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, London, 1984."},{"issue":"4","key":"10_CR14","doi-asserted-by":"publisher","first-page":"596","DOI":"10.1145\/69575.69577","volume":"5","author":"C.B. Jones","year":"1983","unstructured":"C.B. Jones. Tentative steps towards a development method for interfering programs. ACM Transactions on Programming Languages and Systems, 5(4):596\u2013619, 1983.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Y. Kesten, Z. Manna, and A. Pnueli. Temporal verification of simulation and refinement. In J.W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, LNCS 803: A Decade of Concurrency, Reflections and Perspectives, pages 273\u2013346. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-58043-3_22"},{"key":"10_CR16","first-page":"657","volume-title":"Information Processing 83: Proc. of the IFIP 9th World Congress","author":"L. Lamport","year":"1983","unstructured":"L. Lamport. What good is temporal logic. In R.E.A. Manson, editor, Information Processing 83: Proc. of the IFIP 9th World Congress, pages 657\u2013668. Elsevier Science Publishers, North Holland, 1983."},{"issue":"3","key":"10_CR17","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"L. Lamport. The temporal logic of actions. ACM TOPLAS, 16(3):872\u2013923, May 1994.","journal-title":"ACM TOPLAS"},{"issue":"4","key":"10_CR18","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1109\/TSE.1981.230844","volume":"7","author":"J. Misra","year":"1981","unstructured":"J. Misra and K.M. Chandy. Proofs of networks of processes. IEEE Transactions on Software Engineering, 7(4):417\u2013426, July 1981.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. An exercise in the verification of multi-process programs. Technical report, Stanford University, 1989.","DOI":"10.1007\/978-1-4612-4476-9_34"},{"key":"10_CR20","unstructured":"E.W. Stark. Foundations of a Theory of Specification for Distributed Systems. PhD thesis, Massachusetts Inst. of Technology, 1984. Available as Report No. MIT\/LCSfIR-342."},{"key":"10_CR21","doi-asserted-by":"crossref","first-page":"342","DOI":"10.1007\/978-1-4471-3550-0_18","volume-title":"5th Refinement Workshop","author":"J. Zwiers","year":"1992","unstructured":"J. Zwiers, J. Coenen, and W.-P. de Roever. A note on compositional refinement. In C. B. Jones, R. C. Shaw, and T. Denvir, editors, 5th Refinement Workshop, Workshops in Computing, pages 342\u2013366, London, January 1992. BCS-FACS, Springer Verlag."}],"container-title":["Lecture Notes in Computer Science","Computer Aided Systems Theory \u2014 EUROCAST'97"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0025039","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T01:39:03Z","timestamp":1586569143000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0025039"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540638117","9783540696513"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/bfb0025039","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}