{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T08:52:35Z","timestamp":1648716755283},"publisher-location":"London","reference-count":29,"publisher":"Springer London","isbn-type":[{"value":"9783540198031","type":"print"},{"value":"9781447135548","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-1-4471-3554-8_6","type":"book-chapter","created":{"date-parts":[[2013,1,17]],"date-time":"2013-01-17T09:34:10Z","timestamp":1358415250000},"page":"84-100","source":"Crossref","is-referenced-by-count":0,"title":["An Order-sorted Approach to Active Objects"],"prefix":"10.1007","author":[{"given":"Georg","family":"Reichwein","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","volume-title":"Springer Verlag","author":"H Ehrig","year":"1985","unstructured":"H. Ehrig and B. Mahr: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. Springer Verlag 1985"},{"key":"6_CR2","first-page":"675","volume-title":"Formal Models and Semantics, Handbook of Theoretical Computer Science, Vol","author":"M Wirsing","year":"1990","unstructured":"M. Wirsing: Algebraic Specification. in L. van Leeuwen (ed.): Formal Models and Semantics, Handbook of Theoretical Computer Science, Vol. B, Elsevier 1990, pp. 675\u2013788"},{"key":"6_CR3","first-page":"18","volume-title":"Symp. on Logic in Computer Science","author":"J Goguen","year":"1987","unstructured":"J. Goguen and J. Meseguer: Order-sorted Algebra Solves the Constructor-Selector, Multiple Representation and Coercion Problem. in Proc. 2\u201c\n d\n Symp. on Logic in Computer Science, IEEE Computer Soc. Press, 1987, pp. 18\u201329"},{"key":"6_CR4","unstructured":"H.-D. Ehrich, M. Gogolla and A. Sernadas: Objects and their Specification. in M. Bidoit and C. Choppy (eds.): Specification of Abstract Data Types,Springer Verlag, in print"},{"key":"6_CR5","unstructured":"G. Reggio: Entities: Institutions for Dynamic Systems. in H. Ehrig, K.P. Jantke, F. Orejas and H. Reichel (eds.): Specification of Abstract Data Types, LNCS 534, Springer Verlag 1991"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"E. Astesiano, A. Giovini, G. Reggio, E. Zucca: An Integrated Algebraic Approach to the Specification of Data Types, Processes, and Objects. in Algebraic Methods\u2013Tools and Applications, LNCS 394, Springer Verlag 1989, pp. 91\u2013116","DOI":"10.1007\/BFb0015037"},{"key":"6_CR7","doi-asserted-by":"publisher","volume-title":"Algebraic Specification Techniques in Object-Oriented Programming Environments","author":"R Breu","year":"1991","unstructured":"R. Breu: Algebraic Specification Techniques in Object-Oriented Programming Environments. LNCS, Springer Verlag 1991","DOI":"10.1007\/3-540-54972-2"},{"key":"6_CR8","unstructured":"E. Astesiano, E. Zucca: A Semantic Model for Dynamic Systems. this volume"},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1016\/0304-3975(90)90049-N","volume":"71","author":"H Ehrig","year":"1990","unstructured":"H. Ehrig, F. Parisi-Presicce, P. Boehm, C. Rieckhoff, Ch. Dimitrovici, M. Grosse-Rhode: Combining Data Type Specification and Recursive Process Specifications using Projection Algebras. Theoretical Computer Science 71 (1990), pp. 347\u2013380","journal-title":"Theoretical Computer Science"},{"key":"6_CR10","first-page":"415","volume-title":"Object Oriented Databases: Analysis, Design and Construction, North Holland","author":"R Wieringa","year":"1991","unstructured":"R. Wieringa: Equational Specification of Dynamic Objects. in R. Meers-man, W. Kent and S. Khosla (eds.): Object Oriented Databases: Analysis, Design and Construction, North Holland 1991, pp. 415\u2013438"},{"key":"6_CR11","first-page":"7","volume":"1","author":"A Sernadas","year":"1990","unstructured":"A. Sernadas, H.-D. Ehrich and F. Costa: From Processes to Objects. The INESC Journal of Research and Development\n 1 (1990), pp. 7\u201327","journal-title":"The Inesc Journal of Research and Development"},{"key":"6_CR12","first-page":"39","volume-title":"Object Oriented Databases: Analysis, Design and Construction, North Holland","author":"A Sernadas","year":"1991","unstructured":"A. Sernadas and H.-D. Ehrich: What is an Object, After All? in R. Meers-man, W. Kent and S. Khosla (eds.): Object Oriented Databases: Analysis, Design and Construction, North Holland 1991, pp. 39\u201370"},{"key":"6_CR13","volume-title":"Prentice-hall","author":"M Barr","year":"1990","unstructured":"M. Barr and C. Wells: Category Theory for Computing Science. Prentice-Hall 1990"},{"key":"6_CR14","unstructured":"J. Goguen and D. Wolfram: On Types and FOOPS. in R. Meersman and W. Kent (eds.): Proc. IFIP 2.6 Working Conf. DS-.4, North Holland, 1990"},{"key":"6_CR15","volume-title":"Algebraic Semantics of Active Objects. Technical Report","author":"G Reichwein","year":"1992","unstructured":"G. Reichwein and C. Sernadas: Algebraic Semantics of Active Objects. Technical Report, INESC, Lisbon 1992"},{"key":"6_CR16","unstructured":"C. Sernadas, P. Gouveia and G. Reichwein: Temporal Equational Reasoning about Object Specifications. Technical Report, INESC, Lisbon 1992 (to be submitted)"},{"key":"6_CR17","first-page":"288","volume-title":"Proc 2nd Workshop Computer Science Logic, LNCS 385, Springer Verlag","author":"G Saake","year":"1989","unstructured":"G. Saake and U. Lipeck: Using Finite-Linear Temporal Logic for Specifying Database Dynamics. in E. B\u00f6rger, H. Kleine B\u00fcning and M. Richter (eds.): Proc\n 2nd\n Workshop Computer Science Logic, LNCS 385, Springer Verlag 1989, pp. 288\u2013300"},{"key":"6_CR18","unstructured":"J. Goguen, T. Winkler, J. Meseguer, K. Futatsugi and J.-P. Jouannaud: Introducing OBJ. in J. Goguen, D. Coleman and R. Gallimore (eds.): Applications of Algebraic Specification Using OBJ, Cambridge University Press, 1992"},{"key":"6_CR19","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1016\/0743-1066(92)90027-Z","volume":"12","author":"JP Jouannaud","year":"1992","unstructured":"J.-P. Jouannaud, C. Kirchner, H. Kirchner and A. M\u00e9grelis: Programming with Equalities, Subsorts, Overloading, and Parametrization in OBJ. Journal of Logic Programming 12 (1992), pp. 257\u2013279","journal-title":"Journal of Logic Programming"},{"key":"6_CR20","volume-title":"A Categorial Theory of Superposition. Technical Report","author":"J Fiadeiro","year":"1992","unstructured":"J. Fiadeiro and G. Reichwein: A Categorial Theory of Superposition. Technical Report, INESC, Lisbon 1992 (submitted)"},{"key":"6_CR21","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J Goguen","year":"1992","unstructured":"J. Goguen and R. Burstall: Institutions: Abstract Model Theory for Specification and Programming. Journal of the ACM 39 (1992), pp. 95\u2013146","journal-title":"Journal of the Acm"},{"key":"6_CR22","first-page":"289","volume-title":"Resolution of Equations in Algebraic Structures, Vol. 2, Academic Press","author":"G Smolka","year":"1989","unstructured":"G. Smolka, W. Nutt, J. Goguen and J. Meseguer: Order-sorted Equational Computation. in H. Ait and M. Nivat (eds.): Resolution of Equations in Algebraic Structures, Vol. 2, Academic Press 1989, pp. 289\u2013367"},{"key":"6_CR23","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/359605.359618","volume":"20","author":"J Guttag","year":"1977","unstructured":"J. Guttag: Abstract Data Types and the Development of Data Structures. Communications of the ACM 20 (1977), pp. 396\u2013404","journal-title":"Communications of the Acm"},{"key":"6_CR24","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1109\/TSE.1977.229904","volume":"3","author":"L Lamport","year":"1977","unstructured":"L. Lamport: Proving the Correctness of Multiprocess Programs. IEEE Transactions on Software Engineering 3 (1977), pp. 125\u2013143","journal-title":"Ieee Transactions on Software Engineering"},{"key":"6_CR25","first-page":"257","volume-title":"Applied General Systems Research, Plenum","author":"J Goguen","year":"1978","unstructured":"J. Goguen and S. Ginali: A Categorical Approach to General Systems Theory. in G. Klir (ed.): Applied General Systems Research, Plenum 1978, pp. 257\u2013270"},{"key":"6_CR26","unstructured":"J.-F. Costa, A. Sernadas, C. Sernadas and H.-D. Ehrich: Object Interaction. to appear in Proc. Mathematical Foundations of Computer Science \u201882"},{"key":"6_CR27","unstructured":"J.-F. Costa and A. Sernadas: Algebraic Theory of Transition Systems Implementation. private communication"},{"key":"6_CR28","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1007\/BFb0038182","volume-title":"New Results and New Trends in Computer Science, LNCS 555, Springer Verlag","author":"AB Cremers","year":"1991","unstructured":"A.B. Cremers and T.N. Hibbard: Axioms for Concurrent Processes. in H. Maurer (ed.): New Results and New Trends in Computer Science, LNCS 555, Springer Verlag 1991, pp. 54\u201368"},{"key":"6_CR29","first-page":"72","volume":"2","author":"G Reichwein","year":"1991","unstructured":"G. Reichwein: Objects and their Data Spaces. The INESC Journal of Research and Development 2 (1991), pp. 72\u201391","journal-title":"The Inesc Journal of Research and Development"}],"container-title":["Workshops in Computing","Modelling Database Dynamics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3554-8_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,10]],"date-time":"2019-05-10T16:31:18Z","timestamp":1557505878000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3554-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540198031","9781447135548"],"references-count":29,"URL":"http:\/\/dx.doi.org\/10.1007\/978-1-4471-3554-8_6","relation":{},"ISSN":["1431-1682"],"issn-type":[{"value":"1431-1682","type":"print"}],"published":{"date-parts":[[1993]]}}}