{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T16:21:11Z","timestamp":1725898871388},"publisher-location":"Berlin, Heidelberg","reference-count":48,"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\/bfb0014430","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T13:08:44Z","timestamp":1134306524000},"page":"219-235","source":"Crossref","is-referenced-by-count":9,"title":["Local specification of distributed families of sequential objects"],"prefix":"10.1007","author":[{"given":"Hans-Dieter","family":"Ehrich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amilcar","family":"Sernadas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,26]]},"reference":[{"key":"11_CR1","series-title":"LNCS 655","volume-title":"Recent Trends in Data Type Specification","author":"E. Astesiano","year":"1992","unstructured":"E. Astesiano and G. Reggio. Algebraic Specification of Concurrency. Recent Trends in Data Type Specification, LNCS 655, Springer-Verlag, Berlin 1992"},{"key":"11_CR2","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1109\/MS.1985.230050","volume":"2","author":"A. Borgida","year":"1985","unstructured":"A. Borgida. Features of Languages for the Development of Information Systems at the Conceptual Level. IEEE Software 2 (1985), 63\u201373","journal-title":"IEEE Software"},{"key":"11_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/151299.151302","volume":"2","author":"M. Broy","year":"1993","unstructured":"M. Broy. Functional Specification of Time-Sensitive Communicating Systems. ACM Transactions on Software Engineering and Methodology 2 (1993), 1\u201346","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"11_CR4","unstructured":"S. Conrad and H.-D. Ehrich. An Elementary Logic for Object Specification and Verification. In U. Lipeck and G. Vossen, editors, Workshop Formale Grundlagen f\u00fcr den Entwurf von Informationssystemen, Tutzing, pages 197\u2013206. Technical Report Univ. Hannover, No. 03\/94, 1994"},{"key":"11_CR5","volume-title":"Informatik-Bericht 92-02","author":"S. Conrad","year":"1992","unstructured":"S. Conrad, M. Gogolla, and R. Herzig. TROLL light: A Core Language for Specifying Objects. Informatik-Bericht 92-02, TU Braunschweig, 1992"},{"issue":"1","key":"11_CR6","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/320434.320440","volume":"1","author":"P. P. Chen","year":"1976","unstructured":"P. P. Chen. The Entity-Relationship Moodel-Toward a Unified View of Data. ACM Transactions on Database Systems, Vol. 1, No. 1, 1976, 9\u201336","journal-title":"ACM Transactions on Database Systems"},{"key":"11_CR7","series-title":"Technical Report IR-357","volume-title":"Working Papers of the International Workshop on Information Systems \u2014 Correctness and Reusability, IS-CORE'94","author":"G. Denker","year":"1994","unstructured":"G. Denker. Object Reification (Extended Abstract). Working Papers of the International Workshop on Information Systems \u2014 Correctness and Reusability, IS-CORE'94. R. Wieringa and R. Feenstra, eds. Technical Report IR-357, VU Amsterdam 1994"},{"key":"11_CR8","unstructured":"G. Denker. Transactions in Object-Oriented Specifications. This volume"},{"key":"11_CR9","first-page":"119","volume-title":"Towards an Algebraic Semantics for Database Specification","author":"H.-D. Ehrich","year":"1988","unstructured":"H.-D. Ehrich, K. Drosten, and M. Gogolla. Towards an Algebraic Semantics for Database Specification. In: R. Meersmann and A. Sernadas (eds.). Proc. 2nd IFIP WG 2.6 Working Conf. on Database Semantics \u201cData and Knowledge\u201d (DS-2), Albufeira (Portugal), 1988. North-Holland, Amsterdam, 119\u2013135"},{"issue":"2","key":"11_CR10","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/0169-023X(92)90008-Y","volume":"9","author":"G. Engels","year":"1992","unstructured":"G. Engels, M. Gogolla, U. Hohenstein, K. H\u00fclsmann, P. L\u00f6hr-Richter, G. Saake, and H.-D. Ehrich. Conceptual modelling of database applications using an extended ER model. Data & Knowledge Engineering, North-Holland, Vol. 9, No. 2, 1992, 157\u2013204","journal-title":"Data & Knowledge Engineering, North-Holland"},{"key":"11_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-94709-3","volume-title":"Algebraische Spezifikation Abstrakter Datentypen","author":"H.-D. Ehrich","year":"1989","unstructured":"H.-D. Ehrich, M. Gogolla, and U. Lipeck. Algebraische Spezifikation Abstrakter Datentypen. Teubner-Verlag, Stuttgart 1989"},{"key":"11_CR12","series-title":"LNCS 489","first-page":"203","volume-title":"Proc. REX\/FOOL School\/Workshop","author":"H.-D. Ehrich","year":"1991","unstructured":"H.-D. Ehrich, J. Goguen, and A. Sernadas. A Categorial Theory of Objects as Observed Processes. Proc. REX\/FOOL School\/Workshop, J. W. deBakker et. al. (eds.), LNCS 489, Springer-Verlag, Berlin 1991, 203\u2013228"},{"key":"11_CR13","first-page":"412","volume-title":"LNCS series","author":"H.-D. Ehrich","year":"1986","unstructured":"H.-D. Ehrich. Key Extensions of Abstract Data Types, Final Algebras, and Database Semantics. In: D. Pitt et al. (eds.): Proc. Workshop on Category Theory and Computer Programming. Springer, Berlin, LNCS series, 1986, 412\u2013433"},{"key":"11_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of Algebraic Specification 1","author":"H. Ehrig","year":"1985","unstructured":"H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1. Springer-Verlag, Berlin 1985"},{"key":"11_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of Algebraic Specification 2","author":"H. Ehrig","year":"1985","unstructured":"H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 2. Springer-Verlag, Berlin 1985"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"H.-D. Ehrich and A. Sernadas. Fundamental Object Concepts and Constructions. Information Systems \u2014 Correctness and Reusability, Proc. ISCORE Workshop'91 (G. Saake and A. Sernadas, eds.), Informatik-Berichte 91-03, Techn. Univ. Braunschweig 1991, 1\u201324","DOI":"10.1007\/978-3-642-77312-9_1"},{"key":"11_CR17","unstructured":"H.-D. Ehrich, G. Saake, A. Sernadas, and C. Sernadas. Distributed Temporal Logic for Concurrent Object Families (Extended Abstract). Proc. ISCORE Workshop '94, R. Wieringa, ed. World Scientific Publishers. To appear 1995"},{"key":"11_CR18","unstructured":"J. Fiadeiro and T. Maibaum. Towards Object Calculi. Information Systems \u2014 Correctness and Reusability, Proc. ISCORE Workshop'91 (G. Saake and A. Sernadas, eds.), Informatik-Berichte 91-03, Techn. Univ. Braunschweig 1991, 129\u2013178"},{"key":"11_CR19","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/BF01212304","volume":"4","author":"J. Fiadeiro","year":"1992","unstructured":"J. Fiadeiro and T. Maibaum. Temporal Theories as Modularisation Units for Concurrent System Specification. Formal Aspects of Computing 4 (1992), 239\u2013272","journal-title":"Formal Aspects of Computing"},{"key":"11_CR20","first-page":"243","volume-title":"Object-Oriented Databases: Analysis, Design and Construction (Proc. 4th IFIP WG 2.6 Working Conference DS-4, Windermere (UK))","author":"J. Fiadeiro","year":"1991","unstructured":"J. Fiadeiro, C. Sernadas, T. Maibaum, and G. Saake. Proof-Theoretic Semantics of Object-Oriented Specification Constructs. In: R. Meersman, W. Kent, and S. Khosla (eds.). Object-Oriented Databases: Analysis, Design and Construction (Proc. 4th IFIP WG 2.6 Working Conference DS-4, Windermere (UK)), Amsterdam, 1991. North-Holland, 243\u2013284"},{"key":"11_CR21","doi-asserted-by":"crossref","unstructured":"M. Gogolla, S. Conrad, and R. Herzig. Sketching Concepts and Computational Model of TROLL light. In A. Miola, editor, Proc. 3rd Int. Conf. Design and Implementation of Symbolic Computation Systems (DISCO'93), pages 17\u201332. Springer, LNCS 722, 1993","DOI":"10.1007\/BFb0013165"},{"key":"11_CR22","unstructured":"J. A. Goguen and J. Meseguer. Unifying functional, object-oriented and relational programming with logical semantics. Research Direction in Object-Oriented Programming, B.Shriver, P.Wegner (eds.), MIT Press 1987, 417\u2013477"},{"key":"11_CR23","volume-title":"Object-Oriented Databases: Analysis, Design and Construction (Proc. 4th IFIP WG 2.6 Working Conference DS-4, Windermere (UK))","author":"J. A. Goguen","year":"1991","unstructured":"J. A. Goguen and D. Wolfram. On Types and POOPS. In: R. Meersman, W. Kent, and S. Khosla (eds.). Object-Oriented Databases: Analysis, Design and Construction (Proc. 4th IFIP WG 2.6 Working Conference DS-4, Windermere (UK)), Amsterdam, 1991. North-Holland"},{"key":"11_CR24","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"M. Hennessy and R. Milner. Algebraic Laws for Nondeterminism and Concurrency. Journal of the ACM 32 (1985), 137\u2013161","journal-title":"Journal of the ACM"},{"key":"11_CR25","volume-title":"Communicating Sequential Processes","author":"C. A. R. Hoare","year":"1985","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs, NJ, 1985"},{"key":"11_CR26","volume-title":"Informatik-Bericht 94-03","author":"T. Hartmann","year":"1994","unstructured":"T. Hartmann, G. Saake, R. Jungclaus, P. Hartel, and J. Kusch. Revised Version of the Modeling Language TROLL. Informatik-Bericht 94-03, TU Braunschweig 1994"},{"key":"11_CR27","volume-title":"Informatik-Bericht 91-04","author":"R. Jungclaus","year":"1991","unstructured":"R. Jungclaus, G. Saake, T. Hartmann, and C. Sernadas. Object-Oriented Specification of Information Systems: The TROLL Language. Informatik-Bericht 91-04, TU Braunschweig, 1991"},{"key":"11_CR28","volume-title":"Advanced Studies in Computer Science","author":"R. Jungclaus","year":"1993","unstructured":"R. Jungclaus. Modeling of Dynamic Object Systems, a Logic-based Approach. Advanced Studies in Computer Science. Vieweg Verlag, Braunschweig\/Wiesbaden, 1993"},{"key":"11_CR29","doi-asserted-by":"crossref","unstructured":"K: Lodaya, M. Mukund, R. Ramanujam, and P.S. Thiagarajan. Models and Logics for True Concurrency. in P.S. Thiagarajan (ed.): Some Models and Logics for Concurrency. Advanced School on the Algebraic, Logical and Categorical Foundations of Concurrency. Gargnano del Garda, 1991","DOI":"10.1007\/BF02811341"},{"volume-title":"Readings in Artificial Intelligence & Databases","year":"1989","key":"11_CR30","unstructured":"J. Mylopoulos and M. Brodie, (eds.). Readings in Artificial Intelligence & Databases. Morgan Kaufmann Publ. San Mateo, 1989"},{"key":"11_CR31","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, Englewood Cliffs, 1989"},{"key":"11_CR32","series-title":"Report SRI-CSL-93-05","volume-title":"Rewriting Logic as a Logical and Semantic Framework","author":"N. Marti-Oliet","year":"1993","unstructured":"N. Marti-Oliet and J. Meseguer. Rewriting Logic as a Logical and Semantic Framework. Report SRI-CSL-93-05, SRI International, Menlo Park 1993"},{"key":"11_CR33","unstructured":"N. Marti-Oliet and J. Meseguer. General Logics and Logical Frameworks. In: D. M. Gabbay (ed.). What is a Logical System?. Oxford University Press 1994. To appear"},{"key":"11_CR34","series-title":"LNCS 354","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/BFb0013024","volume-title":"Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency","author":"Z. Manna","year":"1989","unstructured":"Z. Manna and A. Pnueli. The Anchored Version of the Temporal Framework. In: J. deBakker, W. deRoever, and G. Rozenberg (eds.). Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency. LNCS 354, Springer-Verlag, Berlin, 1989, 201\u2013284"},{"key":"11_CR35","series-title":"LNCS 474","first-page":"213","volume-title":"Proc. 1st IS\/KI Workshop, Ulm (Germany), 1990","author":"G. Saake","year":"1991","unstructured":"G. Saake. Conceptual Modeling of Database Applications. In: Karagiannis, D. (ed.): Proc. 1st IS\/KI Workshop, Ulm (Germany), 1990. Springer, Berlin, LNCS 474, 1991, 213\u2013232"},{"key":"11_CR36","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/0169-023X(91)90015-P","volume":"6","author":"G. Saake","year":"1991","unstructured":"G. Saake. Descriptive Specification of Database Object Behaviour. Data & Knowledge Engineering 6 (1991), 47\u201374","journal-title":"Data & Knowledge Engineering"},{"key":"11_CR37","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0306-4379(80)90009-5","volume":"5","author":"A. Sernadas","year":"1980","unstructured":"A. Sernadas. Temporal Aspects of Logical Procedure Definition. Information Systems, Vol. 5, 1980, 167\u2013187","journal-title":"Information Systems"},{"issue":"1","key":"11_CR38","first-page":"7","volume":"1","author":"A. Sernadas","year":"1990","unstructured":"A. Sernadas, H.-D. Ehrich, and J.-F. Costa. Prom processes to objects. The INESC Journal of Research and Development 1:1, pages 7\u201327, 1990","journal-title":"The INESC Journal of Research and Development"},{"key":"11_CR39","doi-asserted-by":"crossref","first-page":"479","DOI":"10.1016\/0169-023X(91)90025-S","volume":"6","author":"C. Sernadas","year":"1991","unstructured":"C. Sernadas and J. Fiadeiro. Towards Object-Oriented Conceptual Modelling. Data & Knowledge Engineering 6 (1991), 479\u2013508","journal-title":"Data & Knowledge Engineering"},{"key":"11_CR40","unstructured":"G. Saake, R. Jungclaus, and H.-D. Ehrich. Object-Oriented Specification and Stepwise Refinement. In J. de Meer, V. Heymer, and R. Roth, editors, Proc. Open Distributed Processing, Berlin (D), 8.-11. Okt. 1991 (IFIP Transactions C: Communication Systems, Vol. 1), pages 99\u2013121. North-Holland, 1992"},{"key":"11_CR41","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1142\/S0218215793000198","volume":"2","author":"G. Saake","year":"1993","unstructured":"G. Saake, R. Jungclaus, and T. Hartmann. Application Modelling in Heterogenous Environments Using an Object Specification Language. International Journal of Intelligent and Cooperative Information Systems 2 (1993), 425\u2013449","journal-title":"International Journal of Intelligent and Cooperative Information Systems"},{"key":"11_CR42","series-title":"Tech. Report","volume-title":"The GNOME Language: Syntax, Semantics and Calculus","author":"A. Sernadas","year":"1994","unstructured":"A. Sernadas and J. Ramos. The GNOME Language: Syntax, Semantics and Calculus. Tech. Report, Institute Superior T\u00e9cnico, Lisboa 1994"},{"key":"11_CR43","unstructured":"A. Sernadas, C. Sernadas, and J.F. Costa. Object Specification Logic. Internal report, INESC, University of Lisbon, 1992. (to appear in Journal of Logic and Computation)"},{"key":"11_CR44","first-page":"107","volume-title":"Object-Oriented Specification of Databases: An Algebraic Approach","author":"A. Sernadas","year":"1987","unstructured":"A. Sernadas, C. Sernadas, and H.-D. Ehrich. Object-Oriented Specification of Databases: An Algebraic Approach. In P.M. Stoecker and W. Kent, editors, Proc. 13th Int. Conf. on Very Large Databases VLDB'87, pages 107\u2013116. VLDB Endowment Press, Saratoga (CA), 1987"},{"key":"11_CR45","series-title":"Technical report","volume-title":"OBLOG-Object-Oriented Logic: An Informal Introduction","author":"A. Sernadas","year":"1991","unstructured":"A. Sernadas, C. Sernadas, P. Gouveia, P. Resende, and J. Gouveia. OBLOG-Object-Oriented Logic: An Informal Introduction. Technical report, INESC, Lisbon, 1991"},{"volume-title":"Foundations of Knowledge Base Management","year":"1989","key":"11_CR46","unstructured":"J. W. Schmidt and C. Thanos (eds.). Foundations of Knowledge Base Management. Springer-Verlag, Berlin, 1989"},{"key":"11_CR47","unstructured":"G. Winskel: Events in Computation. PhD thesis, University of Edinburgh"},{"key":"11_CR48","doi-asserted-by":"crossref","unstructured":"G. Winskel and M. Nielsen. Models for Concurrency. Report DAIMI PB-463, Computer Science Department, Aarhus University 1993","DOI":"10.7146\/dpb.v22i463.6936"}],"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\/BFb0014430","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T10:03:26Z","timestamp":1586599406000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0014430"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540591320","9783540491989"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/bfb0014430","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}