{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:09:57Z","timestamp":1725664197070},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540589761"},{"type":"electronic","value":"9783540491682"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-58976-7_8","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:57:38Z","timestamp":1330257458000},"page":"118-143","source":"Crossref","is-referenced-by-count":1,"title":["Towards first-order concurrent MetateM"],"prefix":"10.1007","author":[{"given":"Mark","family":"Reynolds","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/S0747-7171(89)80070-7","volume":"8","author":"M. Abadi","year":"1989","unstructured":"M. Abadi and Z. Manna. Temporal logic programming. Journal of Symbolic Computation, 8:277\u2013295, 1989.","journal-title":"Journal of Symbolic Computation"},{"key":"8_CR2","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/B978-0-444-88433-6.50020-4","volume-title":"Deductive and Object-Oriented Databases","author":"Malcolm Atkinson","year":"1990","unstructured":"M. Atkinson, F. Bancilhon, D. DeWitt, K. Dittrich, D. Maier, and S. Zdnik. The object-oriented database system manifesto. In [19], pages 223\u2013240."},{"unstructured":"H. Barringer, M. Fisher, D. Gabbay, G. Gough, and R. Owens. MetateM: A framework for programming in temporal logic. In Proc. of REX Workshop: Stepwise Refinement of Distributed Systems \u2014 Models, Formalisms and Correctness, pages 94-129. LNCS Vol 430, Springer-Verlag, 1990.","key":"8_CR3"},{"unstructured":"H. Barringer. The use of temporal logic in the compositional specification of concurrent systems. In A. Galton, editor, Temporal Logics and Their Applications. Academic Press, 1987.","key":"8_CR4"},{"unstructured":"C. Beeri. Formal models for object-oriented databases. In [19], pages 405\u2013430.","key":"8_CR5"},{"unstructured":"J. Castro and J. Kramer. Temporal-causal system specifications. In Proceedings of IEEE. International Conferenceon Computer Systems and Software Engineering (CompEuro90), May 1990.","key":"8_CR6"},{"key":"8_CR7","volume-title":"Sixth International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA\/AIE-93)","author":"M. Finger","year":"1993","unstructured":"M. Finger, M. Fisher, and R. Owens. MetateM at Work: Modelling Reactive Systems Using Executable Temporal Logic. In Sixth International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA\/AIE-93), Edinburgh, U.K., June 1993. Gordon and Breach Publishers."},{"unstructured":"M. Fisher and H. Barringer. Concurrent MetateM Processes \u2014 A language for distributed AI. In Proceedings of the European Simulation Multiconference, June 1991.","key":"8_CR8"},{"unstructured":"M. Fisher and R. Owens. From the Past to the Future: Executing Temporal Logic Programs. In Proceedings of Logic Programming and Automated Reasoning (LPAR), St. Petersberg, Russia, July 1992. (Published in Lecture Notes in Computer Science, volume 624, Springer Verlag).","key":"8_CR9"},{"key":"8_CR10","volume-title":"A Normal Form for First-Order Temporal Formulae","author":"M. Fisher","year":"1992","unstructured":"M. Fisher. A Normal Form for First-Order Temporal Formulae. In Proceedings of Eleventh International Conference on Automated Deduction (CADE), Saratoga Springs, New York, June 1992. (Published in Lecture Notes in Computer Science, volume 607, Springer Verlag)."},{"key":"8_CR11","volume-title":"Parallel Architectures and Languages, Europe (PARLE)","author":"M. Fisher","year":"1993","unstructured":"M. Fisher. Concurrent MetateM \u2014 A Language for Modeling Reactive Systems. In Parallel Architectures and Languages, Europe (PARLE), Munich, Germany, June 1993. Springer-Verlag."},{"unstructured":"M. Fisher. A Survey of Concurrent MetateM \u2014 The Language and its Applications In Proceedings of First International Conference on Temporal Logic (ICTL), Bonn, Germany, July 1994. (Published in Lecture Notes in Computer Science, volume 827, Springer Verlag).","key":"8_CR12"},{"unstructured":"M. Fisher. Private Communication, October 1994.","key":"8_CR13"},{"doi-asserted-by":"crossref","unstructured":"D. Gabbay, I. Hodkinson, and M. Reynolds. Temporal Logic: Mathematical Foundations and Computational Aspects, Vol. 1. Oxford University Press, 1994.","key":"8_CR14","DOI":"10.1007\/BFb0013976"},{"doi-asserted-by":"crossref","unstructured":"D. M. Gabbay. Declarative past and imperative future: Executable temporal logic for interactive systems. In B. Banieqbal, H. Barringer, and A. Pnueli, editors, Proceedings of Colloquium on Temporal Logic in Specification, Altrincham, 1987, pages 67\u201389. Springer-Verlag, 1989. Springer Lecture Notes in Computer Science 398.","key":"8_CR15","DOI":"10.1007\/3-540-51803-7_36"},{"key":"8_CR16","volume-title":"Technical report, Technical Report CS85-02","author":"D. Harel","year":"1985","unstructured":"D. Harel and A. Pnueli. On the development of reactive systems. Technical report, Technical Report CS85-02, Department of Applied Mathematics, The Weizmann Institute of Science, Revohot, Israel, January 1985."},{"doi-asserted-by":"crossref","unstructured":"C. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.","key":"8_CR17","DOI":"10.1007\/978-3-642-82921-5_4"},{"unstructured":"J. Kamp. Tense Logic and the theory of linear order. PhD thesis, Michigan State University, 1968.","key":"8_CR18"},{"unstructured":"W. Kim, J. Nicolas, and S. Nishio, editors. Proceedings of International Conference on Deductive and Object-Oriented Databases, Kyoto, Japan. North-Holland, December 1989.","key":"8_CR19"},{"doi-asserted-by":"crossref","unstructured":"W. Kim and F. Lochosky, editors. Object-Oriented Concepts, Databases and Applications. ACM Press, Addison-Wesley, 1989.","key":"8_CR20","DOI":"10.1145\/63320"},{"issue":"2","key":"8_CR21","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1109\/TSE.1977.229904","volume":"SE-3","author":"L. Lamport","year":"1977","unstructured":"L. Lamport. Proving the correctness of multiprocess programs. IEEE. Trans, on Software Engineering, SE-3(2):125\u2013143, 1977.","journal-title":"IEEE. Trans, on Software Engineering"},{"key":"8_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The Temporal Logic of Reactive and Concurrent Systems: Specification","author":"Z. Manna","year":"1992","unstructured":"Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, New York, 1992."},{"doi-asserted-by":"crossref","unstructured":"B. Moszkowski. Executing Temporal Logic Programs. Cambridge University Press, 1986.","key":"8_CR23","DOI":"10.1007\/3-540-15670-4_6"},{"doi-asserted-by":"crossref","unstructured":"A. Pnueli and R. Rosner. On the synthesis of a reactive module. In Proceedings of the Sixteenth Symposium of Principles of Programming Languages, pages 179\u2013190. ACM, 1989.","key":"8_CR24","DOI":"10.1145\/75277.75293"},{"key":"8_CR25","doi-asserted-by":"crossref","first-page":"510","DOI":"10.1007\/BFb0027047","volume-title":"Current Trends in Concurrency","author":"A. Pnueli","year":"1986","unstructured":"A. Pnueli. Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A. survey of current trends. Number 224 in Lecture Notes in Computer Science. Springer-Verlag, August 1986."},{"unstructured":"M. Reynolds. Axiomatising first-order temporal logic: Until and since over linear time. Technical report, Imperial College, 1992. Submitted to Notre Dame J. Formal Logic.","key":"8_CR26"},{"unstructured":"M. Reynolds. MetateM in intensive care. Technical report, Imperial College, 1993.","key":"8_CR27"},{"issue":"12","key":"8_CR28","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1147\/sj.132.0115","volume":"13","author":"W. Stevens","year":"1974","unstructured":"W. Stevens, G. Myers, and L. Constantine. Structured design. IBM. systems Journal, 13(12):115\u2013139, 1974.","journal-title":"IBM. systems Journal"}],"container-title":["Lecture Notes in Computer Science","Executable Modal and Temporal Logics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58976-7_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:21:55Z","timestamp":1619558515000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58976-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540589761","9783540491682"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-58976-7_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}