{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:11:20Z","timestamp":1725484280050},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540431596"},{"type":"electronic","value":"9783540456452"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45645-7_12","type":"book-chapter","created":{"date-parts":[[2007,5,29]],"date-time":"2007-05-29T02:24:22Z","timestamp":1180405462000},"page":"238-255","source":"Crossref","is-referenced-by-count":2,"title":["Tight and Loose Semantics for Transformation Systems"],"prefix":"10.1007","author":[{"given":"Fernando","family":"Orejas","sequence":"first","affiliation":[]},{"given":"Hartmut","family":"Ehrig","sequence":"additional","affiliation":[]},{"given":"Elvira","family":"Pino","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,1,29]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"E. Astesiano. H.-J. Kreowski, B. Krieg-Brueckner, Algebraic Foundations of System specification, IFIP State of the Art Reports, Springer, 1999.","DOI":"10.1007\/978-3-642-59851-7"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"K.R. Apt,, Logic Programming, in Handbook of Theoretical Computer Science, Vol B:Formal Models and Semantics, Chapter 10, Elsevier, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50015-9"},{"key":"12_CR3","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1017\/S0960129500000736","volume":"5","author":"E. Astesiano","year":"1995","unstructured":"Astesiano, E., Zucca, E.: D-oids: A Model for Dynamic Data Types. Mathematical Structures in Computer Science 5 (1995), pp. 257\u2013282","journal-title":"Mathematical Structures in Computer Science"},{"key":"12_CR4","first-page":"105","volume":"64","author":"E. Boerger","year":"1998","unstructured":"Boerger, E., Huggins, J.K.: Abstract State Machines 1988-1998; Commented ASM Bibliography, Bull. EATCS 64 (1998), pp. 105\u2013127","journal-title":"Bull. EATCS"},{"key":"12_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-51722-7","volume-title":"Categorical Methods in Computer Science-with Aspects from Topology","author":"H. Ehrig","year":"1989","unstructured":"H. Ehrig, A Categorical Concept of Constraints for Algebraic specifications; in: Categorical Methods in Computer Science-with Aspects from Topology, (H. Ehrig, H. Herrlich, H.-J. Kreowski, G. Preuss, eds.), Springer LNCS 393 (1989)."},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"H.-D. Ehrich, Object specification, in [AKK 99], 1999.","DOI":"10.1007\/978-3-642-59851-7_12"},{"key":"12_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/978-3-540-46464-8_7","volume-title":"Theory and Applications of Graph Transformations","author":"H. Ehrig","year":"2000","unstructured":"H. Ehrig, R. Heckel, M. Llabres, F. Orejas, J. Padberg, G. Rozenberg A Rule-Based Framework with Incomplete Information, in Theory and Applications of Graph Transformations (H. Ehrig, G. Engels, H.-J. Kreowski, G. Rozenberg eds.), Springer LNCS 1764 (2000) 85\u2013102."},{"issue":"1","key":"12_CR8","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1142\/S0218194092000038","volume":"2","author":"A. Finkelstein","year":"1992","unstructured":"A. Finkelstein, J. Kramer, B. Nuseibeh, M. Goedicke, L. Finkelstein, Viewpoints: A framework for integrating multiple perspectives in system development, Int. J. of Software and Knowledge Engineering 2,1 (1992) 31\u201358.","journal-title":"Int. J. of Software and Knowledge Engineering"},{"issue":"1","key":"12_CR9","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J.A. Goguen","year":"1992","unstructured":"J.A. Goguen, R.M. Burstall. Institutions: Abstract model theory for specification and programming, J. of the ACM 39(1), 95\u2013146, (1992)","journal-title":"J. of the ACM"},{"key":"12_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/BFb0053586","volume-title":"Algebra Transformation Systems and their Composition","author":"M. Grosse-Rhode","year":"1998","unstructured":"Grosse-Rhode, M.: Algebra Transformation Systems and their Composition, Springer LNCS 1382 (1998), pp. 107\u2013122"},{"key":"12_CR11","first-page":"264","volume":"43","author":"Y. Gurevitch","year":"1991","unstructured":"Gurevitch, Y.: Evolving Algebras, A Tutorial Introduction. Bull. EATCS 43 (1991), pp. 264\u2013284","journal-title":"Bull. EATCS"},{"key":"12_CR12","unstructured":"R. Heckel, Open Graph Transformation Systems:A New Approach to the Compositional Modelling of Concurrent and Reactive Systems, PhD Thesis, TU Berlin 1998."},{"key":"12_CR13","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1023\/A:1008734426504","volume":"9","author":"R. Heckel","year":"2001","unstructured":"R. Heckel, H. Ehrig, U. Wolter, A. Corradini, Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems, Applied Categorical Structures 9 (2001) 83\u2013110.","journal-title":"Applied Categorical Structures"},{"issue":"6","key":"12_CR14","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1017\/S0960129500070110","volume":"6","author":"R. Heckel","year":"1996","unstructured":"R. Heckel, A. Corradini, H. Ehrig, M. Loewe, Horizontal and Vertical Structuring of Typed Graph Transformation Systems, Mathematical Structures in Computer Science 6(6) (1996) 613\u2013648.","journal-title":"Mathematical Structures in Computer Science"},{"issue":"1","key":"12_CR15","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/S0743-1066(98)10039-0","volume":"40","author":"P. Lucio","year":"1999","unstructured":"P. Lucio, F. Orejas, E. Pino. An algebraic framework for the definition of compositional semantics of Normal Logic Programs. Journal of Logic Programming 40(1) (1999) 89\u2013124.","journal-title":"Journal of Logic Programming"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Reisig, W.: Petri Nets. EATCS Monographs in TCS 4, Springer Verlag, 1985","DOI":"10.1007\/978-3-642-69968-9"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation, Vol 1 Foundations, World Scientific, 1997","DOI":"10.1142\/9789812384720"},{"key":"12_CR18","unstructured":"G. Schneider, J. Winters, Applying use cases, Addison Wesley, 1998."}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45645-7_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,22]],"date-time":"2020-04-22T12:22:05Z","timestamp":1587558125000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45645-7_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540431596","9783540456452"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-45645-7_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}