{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:19:52Z","timestamp":1725455992224},"publisher-location":"Berlin\/Heidelberg","reference-count":14,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354058241X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0013989","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T07:34:32Z","timestamp":1132731272000},"page":"195-209","source":"Crossref","is-referenced-by-count":0,"title":["First-order future interval logic"],"prefix":"10.1007","author":[{"given":"G.","family":"Kutty","sequence":"first","affiliation":[]},{"given":"L. E.","family":"Moser","sequence":"additional","affiliation":[]},{"given":"P. M.","family":"Melliar-Smith","sequence":"additional","affiliation":[]},{"given":"L. K.","family":"Dillon","sequence":"additional","affiliation":[]},{"given":"Y. S.","family":"Ramakrishna","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"no.1","key":"13_CR1","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0304-3975(89)90138-2","volume":"65","author":"M. Abadi","year":"1989","unstructured":"Abadi, M., \u201cThe power of temporal proofs,\u201d Theoretical Computer Science, vol. 65, no. 1, pp. 35\u201383, June 1989.","journal-title":"Theoretical Computer Science"},{"issue":"no.2","key":"13_CR2","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1145\/77600.77617","volume":"37","author":"M. Abadi","year":"1990","unstructured":"Abadi, M. and Manna, Z., \u201cNon-clausal deduction in first-order temporal logic,\u201d Journal of the ACM, vol. 37, no. 2, pp. 279\u2013317, April 1990.","journal-title":"Journal of the ACM"},{"key":"13_CR3","unstructured":"Cardell-Oliver, R., \u201cThe specification and verification of sliding window protocols in higher order logic,\u201d Technical Report No. 183, Computer Laboratory, University of Cambridge, October 1989."},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Dillon, L. K., Kutty, G., Moser, L. E., Melliar-Smith, P. M., Ramakrishna, Y. S., \u201cGraphical specifications for concurrent software systems,\u201d Proceedings of the 14th International Conference on Software Engineering, Melbourne, Australia, pp. 214\u2013224, May 1992.","DOI":"10.1145\/143062.143116"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Garson, J. W., \u201cQuantification in modal logic,\u201d in Handbook of Philosophical Logic, Gabbay, D. and Guenthner, F. (eds.), vol. II, pp. 249\u2013307, D. Reider Publishing Co., 1984.","DOI":"10.1007\/978-94-009-6259-0_5"},{"key":"13_CR6","first-page":"138","volume-title":"Lecture Notes in Computer Science 697","author":"G. Kutty","year":"1993","unstructured":"Kutty, G., Ramakrishna, Y. S., Moser, L. E., Dillon, L. K., Melliar-Smith, P. M., \u201cA Graphical Interval Logic toolset for verifying concurrent systems,\u201d Proceedings of the 5th Conference on Computer Aided Verification, Elounda, Crete, Greece, Lecture Notes in Computer Science 697, Springer Verlag, pp. 138\u2013153, June 1993."},{"key":"13_CR7","unstructured":"Kutty, G., Moser, L. E., Melliar-Smith, P. M., Ramakrishna, Y. S., Dillon, L. K., \u201cAxiomatizations of interval logics,\u201d to appear in Fundamenta Informaticae."},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Koymans, R., \u201cSpecifying message passing systems requires extending temporal logic,\u201d Proceedings of the Colloquium on Temporal Logic in Specification, Lecture Notes in Computer Science 398, pp. 213\u2013223, Springer-Verlag, 1989.","DOI":"10.1007\/3-540-51803-7_28"},{"key":"13_CR9","unstructured":"Manna, Z. and Pnueli, A., \u201cVerification of concurrent programs: A temporal proof system,\u201d Foundations of Computer Science IV: Distributed Systems, Mathematical Centre Tracts, 159, Amsterdam, pp. 163\u2013255, 1983."},{"key":"13_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The temporal logic of reactive and concurrent systems","author":"Z. Manna","year":"1992","unstructured":"Manna, Z. and Pnueli, A., The temporal logic of reactive and concurrent systems, Springer-Verlag, New York, Inc., 1992."},{"key":"13_CR11","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/BF02259750","volume":"no. 5","author":"K. Paliwoda","year":"1991","unstructured":"Paliwoda, K. and Sanders, J. W., \u201cAn incremental specification of the sliding window protocol,\u201d Distributed Computing, no. 5, pp. 83\u201394, 1991.","journal-title":"Distributed Computing"},{"key":"13_CR12","first-page":"51","volume-title":"Lecture Notes in Computer Science 652","author":"Y. S. Ramakrishna","year":"1992","unstructured":"Ramakrishna, Y. S., Dillon, L. K., Moser, L. E., Melliar-Smith P. M., Kutty, G., \u201cAn automata-theoretic decision procedure for future interval logic,\u201d Proceedings of the Twelfth Conference on Foundations of Software Technology and Theoretical Computer Science, New Delhi, India, Lecture Notes in Computer Science 652, Springer-Verlag, pp. 51\u201367, December 1992."},{"key":"13_CR13","unstructured":"Richier, J. L., Rodriguez, C, Sifakis, J. and Voiron, J.,\u201cVerification in Xesar of the sliding window protocol,\u201d Proceedings of the IFIP WG 6.1 7th International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland, pp. 235\u2013248, May 1987."},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Schwartz, R. L., Melliar-Smith, P. M. and Vogt, F., \u201cAn interval based temporal logic,\u201d Proceedings of the ACM Workshop on the Logics of Programming, pp. 443\u2013457, June 1983.","DOI":"10.1007\/3-540-12896-4_380"}],"container-title":["Lecture Notes in Computer Science","Temporal Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0013989","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:35:06Z","timestamp":1586579706000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013989"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354058241X"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0013989","relation":{},"subject":[]}}