Bibliography

1
Group Communication. Special Section.
Communications of the ACM, 39(4):50-97, April 1996.

2
Ada 95 Reference Manual, ISO/8652-1995.
Intermetrics, 1995.

3
D. Agrawal, G. Alonso, A. El Abbadi, and I. Stanoi.
Exploiting Atomic Broadcast in Replicated Databases.
In Euro-Par Conf., Passau, Germany, August 1997.

4
P. A. Bernstein and N. Goodman.
The Failure and Recovery Problem for Replicated Databases.
In Proc. of 2nd Symp. on Principles of Distributed Computing, pages 114-122, 1983.

5
K.P. Birman.
Building Secure and Reliable Network Applications.
Prentice Hall, NJ, 1996.

6
A. D. Birrell and B. J. Nelson.
Implementing Remote Procedure Calls.
ACM Transactions on Computer Systems, 2(1):39-59, 1984.

7
A. Burns and A. Wellings.
Concurrency in Ada.
Cambridge University Press, 1995.

8
A. Burns and A.J. Wellings.
Ada 95: An Effective Concurrent Programming Language.
In A. Strohmeier, editor, Proc. of Int. Conf. on Reliable Software Technologies, volume LNCS 1088, pages 58-77, Montreaux, Switzerland, June 1996. Springer.

9
J. Gray and A. Reuter.
Transaction Processing: Concepts and Techniques.
Morgan Kaufmann Publishers, San Mateo, CA, 1993.

10
R. Jiménez Peris, M. Patiño Martínez, S. Arévalo, and F.J. Ballesteros.
TransLib: An Ada 95 Object Oriented Framework for Building Dependable Applications.
Int. Journal of Computer Systems: Science & Engineering, 1999.

11
B. Kemme and G. Alonso.
A Suite of Database Replication Protocols based on Group Communication Primitives.
In Proc. of 18th Int. Conf. on Distributed Computing Systems (ICDCS), pages 156-163. IEEE Computer Society Press, 1999.

12
B. Kemme, F. Pedone, G. Alonso, and A. Schiper.
Processing Transactions over Optimistic Atomic Broadcast Protocols.
In Proc. of 19th Int. Conf. on Distributed Computing Systems (ICDCS), pages 156-163. IEEE Computer Society Press, 1999.
Also in Technical Report No. 325 ETH Zürich, Department of Computer Science.

13
B. Liskov.
Distributed Programming in Argus.
Communications of the ACM, 31(3):300-312, March 1988.

14
M. C. Little and S. K. Shrivastava.
Understanding the Role of Atomic Transactions and Group Communications in Implementing Persistent Replicated Objects.
In Proc. of 8th Workshop on Persistent Object Systems: Design, Implementation and Use, Sept. 1998.

15
G. D. Parrington, S. K. Shrivastava, S. M. Wheater, and M. C. Little.
The Design and Implementation of Arjuna.
USENIX Computing Systems Journal, 8(3):255-308, 1995.

16
M. Patiño Martínez, R. Jiménez Peris, and S. Arévalo.
Synchronizing Group Transactions with Rendezvous in a Distributed Ada Environment.
In Proc. of ACM Symp. on Applied Computing, pages 2-9, Atlanta, Georgia, February 1998. ACM Press.

17
R. Schlichting and F. Schneider.
Fail-stop Processors: An Approach to Designing Fault-tolerant Distributed Computing Systems.
ACM Transactions on Computer Systems, 1(3):22-238, 1989.

18
F. B. Schneider.
Implementing Fault-Tolerant Services Using the State Machine Approach: A Tutorial.
ACM Computing Surveys, 22(4):299-319, 1990.

19
B. Walter.
Nested Transactions with Multiple Commit Points: An Approach to the Structuring of Advanced Database Applications.
In Proc. of 10th Int. Conf. on Very Large Data Bases, pages 161-171, Singapore, August 1984. Morgan Kaufmann Publishers.

20
T. Wolf and A. Strohmeier.
Fault Tolerance by Transparent Replication for Distributed Ada 95.
In M. González-Harbour and J.A. de la Puente, editor, Proc. of Int. Conf. on Reliable Software Technologies, volume LNCS 1622, pages 412-424, Santander, Spain, June 1999. Springer.
Ricardo Jiménez-Peris holds a PhD in Computer Science from the Universidad Politécnica de Madrid. He is currently working on TransLib, an Ada 95 object oriented framework to program fault-tolerant programming systems. He has been assistant professor in computer science at Universidad Politécnica de Madrid since 1990 and he is currently at a research stay at ETH Zürich. He is a member of the Association for Computing Machinery.
Marta Patiño-Martínez received a PhD in computer science from Universidad Politécnica de Madrid. She is currently working on group transactions, an integration of the transaction and group communication models and Transactional Drago an extension of Ada 95 implementing the model. She has been assistant professor in computer science at Universidad Politécnica de Madrid since 1990 and she is currently at a research stay at ETH Zürich. She is a member of the Association for Computing Machinery and the IEEE Computer Society.
Sergio Arévalo is an associate professor of computer science at Universidad Politécnica de Madrid. His research interests include distributed systems, fault-tolerance, operating systems and real-time systems. He has been visiting researcher at ATT Bell Laboratories and research fellow in the European Space Agency. He received a PhD in Computer Science from Universidad Politécnica de Madrid. He is a member of ACM since 1983.


1999-11-17