References

1

P. Gochet et P. Gribomont, Logique. 2 Méthodes formelles pour l'étude des programmes. Hermès, Paris, 1994.

2

G. Holzmann. Design and Validation of Computer Protocols. Prentice-Hall International Editions, 1991.

3

Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, Berlin, 1992.

4

Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Safety. Springer-Verlag, Berlin, 1995.

5

A. Thayse et al. Approche logique de l'intelligence artificielle. 2 De la logique modale à la logique des bases de données. Dunod, Paris, 1989.

• Ingénierie de systèmes informatiques répartis
• Modèles markoviens en télécommunication