Unified Framework for the Specification and Run-time Detection of Dynamic Properties in Distributed Computations, The Journal of Systems and Software, vol.3, pp.33-287, 1986. ,
Concurrency Control and Recovery in Database Systems, 1987. ,
Encapsulating Plurality, Proceedings of the 7th European Conference on Object-Oriented Programming (ECOOP'93), pp.57-79, 1993. ,
DOI : 10.1007/3-540-47910-4_5
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.11.926
« Some Specification Steps of a Spanning Tree Algorithm with an Object-Oriented Approach, Proceedings of the 1st IFIP Workshop on Formal Methods for Open Object-Based Distributed Systems (FMOODS'96), pp.115-131, 1996. ,
The Primary- Backup Approach. Distributed Systems, 1993. ,
« Distributed Snapshots: Determining Global States of Distributed Systems, ACM Transactions on Computer Systems, vol.3, issue.1, pp.63-75, 1985. ,
Unreliable Failure Detectors for Reliable Distributed Systems, Proceedings of the 10th ACM Symposium on Principles of Distributed Computing (PODC'91), pp.325-340, 1991. ,
« Designing an Extensible Distributed Language with Meta-Level Architecture, Proceedings of ECOOP'93, pp.482-501, 1993. ,
« The Implementation of a CORBA Group Communication Service, Theory and Practice of Object Systems, vol.4, issue.2, 1998. ,
Perspectives on Distributed Network Protocols: A Case for Building Blocks, MILCOM 1986, IEEE Military Communications Conference: Communications-Computers: Teamed for the 90's, 1986. ,
DOI : 10.1109/MILCOM.1986.4805648
Design Patterns: Elements of Reusable Object-Oriented Software, 1995. ,
The Big Misunderstanding, Proceedings of 6th IEEE Computer Society Workshop on Future Trends in Distributed Computing Systems, pp.183-188, 1997. ,
« System Support for Object Groups, Proceedings of the 13th Conference on Object-Oriented Programming: Systems, Languages and Applications (OOPSLA'98), 1998. ,
An Aspect-Oriented and CORBA-Compliant ORB Architecture, Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processingthe (Middleware'98), 1998. ,
« Un schéma abstrait d'itération répartie, Techniques et Sciences Informatiques, pp.259-267, 1989. ,
« Object-Oriented Frameworks for Distributed Systems: A Survey, 1998. ,
IS 10746-1, IUT-T Rec X901, ODP Reference Model Part-1. Overview and Guide to Use, 1996. ,
« The Temporal Logic of Actions », ACM Transactions on Programming Languages and Systems, pp.872-923, 1994. ,
« Hybrid Group Reflective Architecture for Object-Oriented Concurrent Reflective Programming, Proceedings of ECOOP'91, pp.231-247, 1991. ,
Epistemic Logic for AI and Computer Science, 1995. ,
« Etude et implantation de mécanismes réflexifs dans un langage concurrent, Thèse de Doctorat de l, 1999. ,
Parallel Program Design: A Foundation, 1988. ,
Implementing fault-tolerant replicated objects using Psync, Proceedings of the Eighth Symposium on Reliable Distributed Systems, 1989. ,
DOI : 10.1109/RELDIS.1989.72747
« A Consistent Global State Algorithm to Debug Distributed Object-Oriented Applications, Proceedings of the 2nd International Workshop on Automated and Algorithmic Debugging (AA- DEBUG'95), 1995. ,
Object-Oriented Modeling and Design, 1991. ,
un protocole à métaobjets pour la synchronisation d'objets concurrents, pp.241-272, 1998. ,