{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T16:21:06Z","timestamp":1725898866608},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540591320"},{"type":"electronic","value":"9783540491989"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0014438","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T18:08:44Z","timestamp":1134324524000},"page":"351-367","source":"Crossref","is-referenced-by-count":11,"title":["An object-oriented airport: Specification and refinement in Maude"],"prefix":"10.1007","author":[{"given":"Ulrike","family":"Lechner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Lengauer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Wirsing","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,26]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"E. Astesiano and G. Reggio. An outline of the SMoLCS approach. In Mathematical Model for the Semantics of Parallelism, Lecture Notes in Computer Science 280. Springer-Verlag, 1986.","DOI":"10.1007\/3-540-18419-8_11"},{"issue":"5","key":"19_CR2","doi-asserted-by":"crossref","first-page":"512","DOI":"10.1147\/rd.315.0512","volume":"31","author":"E. Astesiano","year":"1987","unstructured":"E. Astesiano and G. Reggio. Direct semantics of concurrent languages in the SMoLCS approach. IBM Journal of Research and Development, 31(5):512\u2013534, 1987.","journal-title":"IBM Journal of Research and Development"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"M. Bidoit and R. Hennicker. A general framework for modular implementations of modular system specifications. In M.-C. Gaudel and J.-P. Jouannaud, editors, TAP-SOFT '93: Theory and Practice of Software Development, Lecture Notes in Computer Science 668, pages 199\u2013214. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-56610-4_65"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"M. Bidoit, R. Hennicker, and M. Wirsing. Characterizing behavioural and abstractor semantics. In D. Sannella, editor, Programming Languages and Systems \u2014 ESOP '94, Lecture Notes in Computer Science 788, pages 105\u2013119. Springer-Verlag, 1994. Long version: Behavioural and Abstractor Specifications. Technical Report 9414, Institut f\u00fcr Informatik, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen.","DOI":"10.1007\/3-540-57880-3_7"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"G. Costa and G. Reggio. Abstract dynamic data types: a temporal logic approach. In A. Tarlecki, editor, Mathematical Foundations of Computer Science (MFCS '91), Lecture Notes in Computer Science 520, pages 103\u2013112. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54345-7_53"},{"key":"19_CR6","volume-title":"Proc. ISCORE Workshop Amsterdam","author":"G. Denker","year":"1994","unstructured":"G. Denker and H.-D. Ehrich. Action reification in object oriented specifications. In Proc. ISCORE Workshop Amsterdam. Vrije Universiteit Amsterdam, 1994. To appear."},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"H.-D. Ehrich, G. Denker, and A. Sernadas. Constructing systems as object communities. In M.-C. Gaudel and J.-P. Jouannaud, editors, Theory and Practice of Software Development (TAPSOFT '93), Lecture Notes in Computer Science 668, pages 453\u2013467. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-56610-4_82"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"J.L. Fiadeiro and T. Maibaum. Sometimes \u201ctomorrow\u201d is \u201csometime\u201d \u2014 action refinement in a temporal logic of objects. In D. M. Gabbay and H. J. Ohlbach, editors, Temporal Logic (ICTL '94), Lecture Notes in Artificial Intelligence 827, pages 48\u201366. Springer-Verlag, 1994.","DOI":"10.1007\/BFb0013980"},{"key":"19_CR9","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0304-3975(92)90302-V","volume":"105","author":"J. A. Goguen","year":"1992","unstructured":"J. A. Goguen and J. Meseguer. Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Theoretical Computer Science, 105:217\u2013273, 1992.","journal-title":"Theoretical Computer Science"},{"key":"19_CR10","unstructured":"R. Jungclaus, G. Saake, T. Hartmann, and C. Sernadas. Object-oriented specification of information systems: The TROLL language. Technical Report Version 0.01, Report 91-04, December 1991."},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"P. Lincoln, N. Mart\u00ed-Oliet, and J. Meseguer. Specification, transformation, and programming of concurrent systems in rewriting logic. In G. Bleiloch, K. M. Chandy, and S. Jagannathan, editors, Proc. DIMACS Workshop on Specification of Parallel Algorithms, DIMACS Series in Discrete Mathematics and Theoretical Computer Science. American Mathematical Society, May 1994.","DOI":"10.1090\/dimacs\/018\/20"},{"key":"19_CR12","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/0164-1212(93)90048-3","volume":"20","author":"D. R. Maeng","year":"1993","unstructured":"D. R. Maeng, J. W. Cho, and K. Ryu. Concurrency and inheritance in actor-based object-oriented languages. Systems Software, 20:53\u201367, 1993.","journal-title":"Systems Software"},{"issue":"10","key":"19_CR13","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1145\/97946.97958","volume":"25","author":"J. Meseguer","year":"1990","unstructured":"J. Meseguer. A logical theory of concurrent objects. ACM SIGPLAN Notices, 25(10):101\u2013115, Oct 1990.","journal-title":"ACM SIGPLAN Notices"},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"J. Meseguer. Rewriting as a unified model of concurrency. Technical Report SRI-CSL-90-02R, SRI International, February 1990.","DOI":"10.1145\/127056.127091"},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"J. Meseguer. A logical theory of concurrent objects and its realization in the Maude language. Technical Report SRI-CSL-92-08, SRI International, July 1992.","DOI":"10.7551\/mitpress\/2087.003.0017"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"J. Meseguer. Solving the inheritance anomaly in concurrent object-oriented programming. In O. Nierstrasz, editor, ECOOP '93 \u2014 Object-Oriented Programming, Lecture Notes in Computer Science 707, pages 220\u2013246. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-47910-4_13"},{"key":"19_CR17","unstructured":"J. Meseguer and N. Marti-Oliet. Prom abstract data types to logical frameworks. In this volume."},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"J. Meseguer and T. Winkler. Parallel programming in Maude. In J.-P. Ban\u00e2tre and D. Le M\u00e9tayer, editors, Research Directions in High-Level Parallel Programming Languages, Lecture Notes in Computer Science 574, pages 253\u2013293. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55160-3_49"},{"key":"19_CR19","unstructured":"R. Milner. Communication and Concurrency. Series in Computer Science. Prentice\/Hall, Int., 1989."},{"key":"19_CR20","doi-asserted-by":"crossref","unstructured":"F. Orejas, M. Navarro, and A. Sanchez. Implementation and behavioural equivalence: A survey. In M. Bidoit and C. Choppy, editors, Recent Trends in Data Type Specifications, Lecture Notes in Computer Science 655, pages 93\u2013125. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-56379-2_36"},{"key":"19_CR21","unstructured":"B. Salmansberger. Objektorientierte Spezifikation von verteilten Systemen in Maude am Beispiel eines Flughafens. Diplomarbeit, Fakult\u00e4t f\u00fcr Mathematik und Informatik, Universit\u00e4t Passau, 1993."},{"key":"19_CR22","doi-asserted-by":"crossref","unstructured":"R. J. van Glabbeek and U. Goltz. Equivalence notion for concurrent systems and refinement for actions. In A. Kreczmar and G. Mirkowska, editors, Mathematical Foundations of Computer Science (MFCS '89), Lecture Notes in Computer Science 379, pages 237\u2013248. Springer-Verlag, 1989.","DOI":"10.1007\/3-540-51486-4_71"},{"key":"19_CR23","doi-asserted-by":"crossref","unstructured":"R. J. van Glabbeek and U. Goltz. Refinement of actions in causality based models. In J. W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Stepwise Refinement of Distributed Systems, Lecture Notes in Computer Science 430, pages 267\u2013300. Springer-Verlag, 1990.","DOI":"10.1007\/3-540-52559-9_68"},{"key":"19_CR24","doi-asserted-by":"crossref","unstructured":"M. Wirsing. Algebraic specification. In J. V. Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 675\u2013788. Elsevier (North-Holland), 1990.","DOI":"10.1016\/B978-0-444-88074-1.50018-4"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Data Type Specification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014438","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T17:31:50Z","timestamp":1706808710000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0014438"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540591320","9783540491989"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/bfb0014438","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}