{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:00:09Z","timestamp":1725663609072},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540556138"},{"type":"electronic","value":"9783540472605"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55613-3_12","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T05:27:12Z","timestamp":1330234032000},"page":"227-244","source":"Crossref","is-referenced-by-count":1,"title":["Abstract description of distributed object systems"],"prefix":"10.1007","author":[{"given":"Thorsten","family":"Hartmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ralf","family":"Jungclaus","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"ACTORS: A Model of Concurrent Computation in Distributed Systems","author":"G. A. Agha","year":"1986","unstructured":"G.A. Agha. ACTORS: A Model of Concurrent Computation in Distributed Systems. The MIT Press, Cambridge, MA, 1986."},{"key":"12_CR2","unstructured":"P. America. POOL-T: A Parallel Object-Oriented Language. In M. Tokoro and A. Yonezawa, editors, Object-Oriented Concurrent Programming, pages 199\u2013220. The MIT Press, 1987."},{"key":"12_CR3","series-title":"LNCS 489","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/BFb0019445","volume-title":"Foundations of Object-Oriented Languages (Proc. REX School\/Workshop)","author":"H.-D. Ehrich","year":"1991","unstructured":"H.-D. Ehrich, J. A. Goguen, and A. Sernadas. A Categorial Theory of Objects as Observed Processes. In J. de Bakker, W. de Roever, and G. Rozenberg, editors, Foundations of Object-Oriented Languages (Proc. REX School\/Workshop), pages 203\u2013228, Noordwijkerhood (NL), 1990. LNCS 489, Springer-Verlag, Berlin, 1991."},{"key":"12_CR4","series-title":"LNCS 394","first-page":"239","volume-title":"Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness (Proc. REX'89)","author":"H.-D. Ehrich","year":"1989","unstructured":"H.-D. Ehrich and A. Sernadas. Algebraic Implementation of Objects over Objects. In W. deRoever, editor, Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness (Proc. REX'89), pages 239\u2013266, Mood (NL), 1989. LNCS 394, Springer Verlag, Berlin, 1989."},{"key":"12_CR5","unstructured":"H.-D. Ehrich and A. Sernadas. Fundamental Object Concepts and Constructions. In G. Saake and A. Sernadas, editors, Information Systems \u2014 Correctness and Reusability, pages 97\u2013128. Technical University Braunschweig, Informatik Bericht 91-03, 1991."},{"issue":"1\/2","key":"12_CR6","first-page":"33","volume":"26","author":"H.-D. Ehrich","year":"1990","unstructured":"H.-D. Ehrich, A. Sernadas, and C. Sernadas. From Data Types to Object Types. Journal on Information Processing and Cybernetics EIK, 26(1\/2):33\u201348, 1990.","journal-title":"Journal on Information Processing and Cybernetics EIK"},{"key":"12_CR7","unstructured":"J. Fiadeiro and T.S.E. Maibaum. Towards Object Calculi. In G. Saake and A. Sernadas, editors, Information Systems \u2014 Correctness and Reusability, pages 129\u2013178. Technical University Braunschweig, Informatik Bericht 91-03, 1991."},{"key":"12_CR8","volume-title":"Object-Oriented Databases: Analysis, Design and Construction (Proc. 4th IFIP WG 2.6 Working Conference DS-4)","author":"J. Fiadeiro","year":"1990","unstructured":"J. Fiadeiro, C. Sernadas, T. Maibaum, and G. Saake. Proof-Theoretic Semantics of Object-Oriented Specification Constructs. In R. Meersman and W. Kent, editors, Object-Oriented Databases: Analysis, Design and Construction (Proc. 4th IFIP WG 2.6 Working Conference DS-4), Windermere (UK), 1990. North-Holland, Amsterdam. In print."},{"key":"12_CR9","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/0004-3702(77)90033-9","volume":"8","author":"C. Hewitt","year":"1977","unstructured":"C. Hewitt. Viewing Control Structures as Patterns of Passing Messages. Artificial Intelligence, 8:323\u2013364, 1977.","journal-title":"Artificial Intelligence"},{"key":"12_CR10","volume-title":"Communicating Sequential Processes","author":"C. A. R. R. Hoare","year":"1985","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs, NJ, 1985."},{"key":"12_CR11","unstructured":"R. Jungclaus, T. Hartmann, G. Saake, and C. Sernadas. Introduction to TROLL \u2014 A Language for Object-Oriented Specification of Information Systems. In G. Saake and A. Sernadas, editors, Information Systems \u2014 Correctness and Reusability, pages 97\u2013128. Technical University Braunschweig, Informatik Bericht 91-03, 1991."},{"key":"12_CR12","unstructured":"R. Jungclaus, G. Saake, and T. Hartmann. Language Features for Object-Oriented Conceptual Modeling. In T. Teory, editor, Proc. 10th Int. Conf. on the ER-Approach, San Mateo (CA), pages 309\u2013324, 1991."},{"key":"12_CR13","series-title":"LNCS 494","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1007\/3540539816_61","volume-title":"Proc. TAPSOFT'91","author":"R. Jungclaus","year":"1991","unstructured":"R. Jungclaus, G. Saake, and C. Sernadas. Formal Specification of Object Systems. In S. Abramsky and T. Maibaum, editors, Proc. TAPSOFT'91, pages 60\u201382, Brighton (UK), 1991. LNCS 494, Springer-Verlag, Berlin."},{"issue":"2","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 Transactions on Programming Languages and Systems, 5(2):190\u2013222, April 1983.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"12_CR15","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1988","unstructured":"B. Meyer. Object-Oriented Software Construction. Prentice-Hall, Englewood Cliffs, NJ, 1988."},{"key":"12_CR16","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, Englewood Cliffs, 1989."},{"key":"12_CR17","unstructured":"O. Nierstrasz. A Guide to Specifying Concurrent Behaviour with Abacus. In D. Tsichritzis, editor, Object Management, pages 267\u2013293. Universit\u00e9 de Gen\u00e8ve, 1990."},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"O. M. Nierstrasz and M. Papathomas. Towards a Type Theory for Active Objects. In Object Management, pages 295\u2013304. Universit\u00e9 de Gen\u00e8ve, 1990.","DOI":"10.1145\/127056.127092"},{"key":"12_CR19","volume-title":"ECOOP\/OOPSLA '90 Proceedings","author":"O. M. Nierstrasz","year":"1990","unstructured":"O. M. Nierstrasz and M. Papathomas. Viewing Objects as Patterns of Communicating Agents. In N. Meyrowitz, editor, ECOOP\/OOPSLA '90 Proceedings, Ottawa, 1990. ACM, 1990. also in [NP90a]."},{"key":"12_CR20","volume-title":"Object-Oriented Databases: Analysis, Design and Construction (Proc. 4th IFIP WG 2.6 Working Conference DS-4)","author":"A. Sernadas","year":"1990","unstructured":"A. Sernadas and H.-D. Ehrich. What Is an Object, After All? In R. Meersman and W. Kent, editors, Object-Oriented Databases: Analysis, Design and Construction (Proc. 4th IFIP WG 2.6 Working Conference DS-4), Windermere (UK), 1990. North-Holland, Amsterdam. In print."},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"A. Sernadas, J. Fiadeiro, C. Sernadas, and H.-D. Ehrich. Abstract Object Types: A Temporal Perspective. In Banieqbal, Baringer, and Pnueli, editors, Temporal Logic in Specification. Springer, LNCS 398, 1989.","DOI":"10.1007\/3-540-51803-7_33"},{"key":"12_CR22","first-page":"225","volume-title":"Information System Concepts: An In-Depth Analysis","author":"A. Sernadas","year":"1989","unstructured":"A. Sernadas, J. Fiadeiro, C. Sernadas, and H.-D. Ehrich. The Basic Building Blocks of Information Systems. In E. Falkenberg and P. Lindgreen, editors, Information System Concepts: An In-Depth Analysis, pages 225\u2013246, Namur (B), 1989. North-Holland, Amsterdam, 1989."},{"key":"12_CR23","doi-asserted-by":"crossref","unstructured":"G. Saake and R. Jungclaus. Specification of Database Applications in the TROLL Language. In Proc. Int. Workshop on the Specification of Database Applications, 1991. To appear.","DOI":"10.1007\/978-1-4471-3864-8_12"},{"key":"12_CR24","volume-title":"Proc. International IFIP Workshop on Open Distributed Processing","author":"G. Saake","year":"1991","unstructured":"G. Saake, R. Jungclaus, and H.-D. Ehrich. Object-Oriented Specification and Stepwise Refinement. In Proc. International IFIP Workshop on Open Distributed Processing, Berlin. North Holland, 1991. To appear."},{"key":"12_CR25","first-page":"107","volume-title":"Proc. 13th Int. Conf. on Very Large Databases VLDB'87","author":"A. Sernadas","year":"1987","unstructured":"A. Sernadas, C. Sernadas, and H.-D. Ehrich. Object-Oriented Specification of Databases: An Algebraic Approach. In P. Hammerslay, editor, Proc. 13th Int. Conf. on Very Large Databases VLDB'87, pages 107\u2013116, Brighton (GB), 1987. Morgan-Kaufmann, Palo Alto, 1987."},{"key":"12_CR26","doi-asserted-by":"crossref","unstructured":"A. Yonezawa, E. Shibayama, T. Takada, and Y. Honda. Modelling and Programming in an Object-Oriented Concurrent Language ABCL\/1. In M. Tokoro and A. Yonezawa, editors, Object-Oriented Concurrent Programming, pages 55\u201389. The MIT Press, 1987.","DOI":"10.1145\/28697.28722"}],"container-title":["Lecture Notes in Computer Science","Object-Based Concurrent Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55613-3_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:33:43Z","timestamp":1619559223000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55613-3_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540556138","9783540472605"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-55613-3_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}