{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,4]],"date-time":"2025-01-04T18:40:42Z","timestamp":1736016042566,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540638889"},{"type":"electronic","value":"9783540696612"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0000470","type":"book-chapter","created":{"date-parts":[[2005,10,5]],"date-time":"2005-10-05T10:30:36Z","timestamp":1128508236000},"page":"170-184","source":"Crossref","is-referenced-by-count":2,"title":["A linear temporal logic approach to objects with transactions"],"prefix":"10.1007","author":[{"given":"Grit","family":"Denker","sequence":"first","affiliation":[]},{"given":"Jaime","family":"Ramos","sequence":"additional","affiliation":[]},{"given":"Carlos","family":"Caleiro","sequence":"additional","affiliation":[]},{"given":"Am\u00edlcar","family":"Sernadas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,9,7]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"H. Barringer, R. Kuiper, and A. Pnueli. A Really Abstract Concurrent Model and its Temporal Logic. ACM Symp. Principles of Programming Languages, pages 173\u2013183, 1989.","DOI":"10.1145\/512644.512660"},{"key":"12_CR2","volume-title":"Concurrency and Communication in Transaction Logic","author":"A.J. Bonner","year":"1996","unstructured":"Bonner, A.J. and Kifer, M. Concurrency and Communication in Transaction Logic. In M. Maher, editor, Proc. Joint Int. Conf. and Symp. on Logic Programming (JICSLP96), September 2\u20136, 1996, Bonn, Germany. The MIT Press, 1996."},{"key":"12_CR3","unstructured":"P. Borba and J. Goguen. On Refinement and FOOPS. Technical Report, PRG-TR-17-94, Oxford University Computing Laboratory, Programming Research Group, 1994."},{"key":"12_CR4","unstructured":"G. Denker. Reification \u2014 Changing Viewpoint but Preserving Truth. In M. Haveraan, O. Owe, and O.-J. Dahl, editors, Recent Trends in Data Types Specification, Proc. 11th Workshop on Specification of Abstract Data Types joint with the 8th General COMPASS Meeting. Oslo, Norway, September 1995. Selected papers., pages 182\u2013199. Springer, 1996. LNCS 1130."},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"G. Denker. Semantic Refinement of Concurrent Object Systems Based on Serializability. In B. Freitag, C. B. Jones, C. Lengauer, and H.-J. Schek, editors, Object Orientation with Parallelism and Persistence, pages 105\u2013126. Kluwer Academic Publ., 1996.","DOI":"10.1007\/978-1-4613-1437-0_6"},{"key":"12_CR6","unstructured":"G. Denker and P. Hartel. Troll \u2014 An Object Oriented Formal Method for Distributed Information System Design: Syntax and Pragmatics. Technical Report 97-03, TU Braunschweig, 1997. http:\/\/www.cs.tu-bs.de\/idb\/publications\/pub_97"},{"key":"12_CR7","unstructured":"H.-D. Ehrich. Object Specification. Technical Report 96-07, TU Braunschweig, 1996. http:\/\/www.cs.tu-bs.de\/idb\/publications\/pub_96"},{"key":"12_CR8","first-page":"219","volume-title":"LNCS 906","author":"H.-D. Ehrich","year":"1995","unstructured":"H.-D. Ehrich and A. Sernadas. Local Specification of Distributed Families of Sequential Objects. In E. Astesiano, G. Reggio, and A. Tarlecki, editors, Recent Trends in Data Types Specification, Proc. 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, S.Margherita, Italy, May\/June 1994, Selected papers, pages 219\u2013235. Springer, Berlin, LNCS 906, 1995."},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"J.L. Fiadeiro and T. Maibaum. Sometimes \u201cTommorrow\u201d is \u201cSometime\u201d \u2014 Action Refinement in a Temporal Logic of Objects. In D. M. Gabbay and H. J. Ohlbach, editors, Proc. First Int. Conf. on Temporal Logic, ICTL, Bonn, Germany, July 1994, pages 48\u201366. Springer, 1994. LNAI 827.","DOI":"10.1007\/BFb0013980"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"M. Huhn. Action Refinement and Property Inheritance in Systems of Sequential Agents. In Proc. 7th Int. Conf. on Concurrency Theory, Concur'96, 26\u201329 August, Pisa, Italy. Springer, 1996. LNCS 1119.","DOI":"10.1007\/3-540-61604-7_81"},{"key":"12_CR11","unstructured":"M. Huhn, H. Wehrheim, and G. Denker. Action Refinement in System Specification: Comparing a Process Algebraic and an Object-Oriented Approach. In U. Herzog and H. Hermanns, editors, GI\/ITG-Fachgespr\u00e4ch: \u201cFormale Beschreibungstechniken f\u00fcr verteilte Systeme\u201d, 20\/21. Juni 1996, Universit\u00e4t Erlangen, Germany, number 29\/9 in Arbeitsbericht des IMMD, pages 77\u201388, 1996."},{"issue":"2","key":"12_CR12","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1145\/226163.226166","volume":"14","author":"R. Jungclaus","year":"1996","unstructured":"R. Jungclaus, G. Saake, T. Hartmann, and C. Sernadas. Troll \u2014 A Languag for Object-Oriented Specification of Information Systems. ACM Transactions on Information Systems, 14(2):175\u2013211, April 1996.","journal-title":"ACM Transactions on Information Systems"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"D. Kozen and J. Tiuryn. Logics of Programs. In J. Van Leeuwen, editor, Handbook of Theoretical Computer Science B \u2014 Formal Models and Semantics, chapter 789\u2013840. 1990.","DOI":"10.1016\/B978-0-444-88074-1.50019-6"},{"key":"12_CR14","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1145\/69624.357207","volume":"5","author":"L. Lamport","year":"1983","unstructured":"L. Lamport. Specifying Concurrent Program Modules. ACM Trans. on Programming Languages and Systems, 5:190\u2013222, January 1983.","journal-title":"ACM Trans. on Programming Languages and Systems"},{"issue":"3","key":"12_CR15","doi-asserted-by":"crossref","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"L. Lamport. The Temporal Logic of Actions. ACM Trans. on Programming Languages and Systems, 16(3):872\u2013923, May 1994.","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"12_CR16","first-page":"351","volume-title":"LNCS 906","author":"U. Lechner","year":"1995","unstructured":"U. Lechner, C. Lengauer, and M. Wirsing. An Object-Oriented Airport: Specification and Refinement in Maude. In Astesiano, E. and Reggio, G. and Tarlecki, A., editor, Recent Trends in Data Types Specification, Proc. 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, S.Margherita, Italy, May\/June 1994, Selected papers, pages 351\u2013367. Springer, Berlin, LNCS 906, 1995."},{"issue":"5","key":"12_CR17","doi-asserted-by":"crossref","first-page":"699","DOI":"10.1006\/jsco.1996.0072","volume":"22","author":"C. Liu","year":"1996","unstructured":"C. Liu and M. A. Orgun. Dealing with Multiple Granularity of Time in Temporal Logic Programming. Journal of Symbolic Computation, 22(5 & 6):699\u2013720, 1996.","journal-title":"Journal of Symbolic Computation"},{"issue":"2","key":"12_CR18","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1142\/S0129054192000103","volume":"3","author":"K. Lodaya","year":"1992","unstructured":"K. Lodaya, R. Ramanujam, and P.S. Thiagarajan. Temporal Logics for Communicating Sequential Agents. Int. Journal of Foundations of Computer Science, 3(2):117\u2013159, 1992.","journal-title":"Int. Journal of Foundations of Computer Science"},{"key":"12_CR19","unstructured":"J. McCarthy and P. Hayes. Some Philosophical Problems from the Standpoint of Artificial Intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence 4, pages 463\u2013502. Edinburgh University Press, 1969."},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"V. R. Pratt. Semantical Considerations on Floyd-Hoare Logic. In Proc. 17th Ann. IEEE Symp. on Foundations of Computer Science, pages 109\u2013121, 1976.","DOI":"10.1109\/SFCS.1976.27"},{"issue":"2","key":"12_CR21","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1016\/0004-3702(93)90109-O","volume":"64","author":"R. Reiter","year":"1993","unstructured":"R. Reiter. Proving Properties of States in the Situation calculus. Artificial Intelligence, 64(2):337\u2013351, 1993.","journal-title":"Artificial Intelligence"},{"key":"12_CR22","volume-title":"Technical Report","author":"A. Sernadas","year":"1994","unstructured":"A. Sernadas and J. Ramos. The GNOME Language: Syntax, Semantics and Calculus. Technical Report, Instituto Superior T\u00e9chnico (IST), Dept. Mathem\u00e1tica, Av. Roviso Pais, 1096 Lisboa Codex, Portugal, 1994."},{"issue":"5","key":"12_CR23","doi-asserted-by":"crossref","first-page":"603","DOI":"10.1093\/logcom\/5.5.603","volume":"5","author":"A. Sernadas","year":"1995","unstructured":"A. Sernadas, C. Sernadas, and J.F. Costa. Object Specification Logic. Journal of Logic and Computation, 5(5):603\u2013630, October 1995.","journal-title":"Journal of Logic and Computation"},{"key":"12_CR24","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0169-023X(96)00004-3","volume":"19","author":"A. Sernadas","year":"1996","unstructured":"A. Sernadas, C. Sernadas, and J. Ramos. A temporal logic approach to object certification. Data & Knowledge Engineering, 19:267\u2013294, 1996.","journal-title":"Data & Knowledge Engineering"},{"key":"12_CR25","first-page":"483","volume-title":"LNCS 906","author":"E. Zucca","year":"1995","unstructured":"E. Zucca. Implementation of data structures in an imperative framework. In E. Astesiano, G. Reggio, and A. Tarlecki, editors, Recent Trends in Data Types Specification, Proc. 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, S.Margherita, Italy, May\/June 1994, Selected papers, pages 483\u2013498. Springer, Berlin, 1995. LNCS 906."}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0000470","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,4]],"date-time":"2025-01-04T18:13:07Z","timestamp":1736014387000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0000470"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540638889","9783540696612"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/bfb0000470","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}