Transactions in object-oriented specifications-Reference-Cited by-同舟云学术

Transactions in object-oriented specifications

Published:1995 Issue: Volume: Page:203-218
ISSN:0302-9743
Container-title:Recent Trends in Data Type Specification
language:
Short-container-title:

Author:

Denker G.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0014429

Reference27 articles.

1. L. Aceto and M. Hennessy. Towards Action-Refinement in Process Algebras. Information and Computation, 103:204–269, 1993.

2. H.-D. Ehrich, M. Gogolla, and U.W. Lipeck. Algebraische Spezifikation abstrakter Datentypen — Eine Einführung in die Theorie. Teubner, Stuttgart, 1989.

3. A.K. Elmagarmid, editor. Database Transaction Models for Advanced Applications. Data Management Systems. Morgan Kaufmann, San Mateo, California, 1992.

4. H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 2: Modules and Constraints. Springer, Berlin, 1990.

5. LNCS 430;H.-D. Ehrich,1990

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Specifying Distributed Information Systems: Fundamentals of an Object-Oriented Approach Using Distributed Temporal Logic;IFIP Advances in Information and Communication Technology;1997

2. Object-Oriented Specifications of Distributed Systems in the μ-Calculus and Maude;Electronic Notes in Theoretical Computer Science;1996

3. Semantic Refinement of Concurrent Object Systems Based on Serializability;The Kluwer International Series in Engineering and Computer Science;1996

4. Reification — Changing viewpoint but preserving truth;Recent Trends in Data Type Specification;1996

5. What is an Abstract Data Type, after all?;Recent Trends in Data Type Specification;1995