Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ancienne équipe : | ACASA |
- G. Dowek, Th. Hardin, C. Kirchner : “Holls: an Intentional First-Order Expression of Higher-Order Logic”, 26 pages [Dowek 1998a]
- G. Dowek, Th. Hardin, C. Kirchner : “Theorem Proving Modulo”, 27 pages [Dowek 1998b]
- Th. Hardin, B. Mammass : “Yet Yet on the bounded retransmission protocol”, [Hardin 1998b]
- B. Mammass : “La méthode Cliff Jones orientée objet pour le développement formel de programmes concurrents”, [Mammass 1998a]
- B. Mammass : “Une preuve formelle du bounded retransmission protocol dans le pi-calcul”, [Mammass 1998b]
- Ch. Queinnec : “DMeroon, A Distributed Class-based Causally-Coherent Data Model--- General documentation - Revision 1.64”, [Queinnec 1998a]
- Ch. Queinnec : “Marshaling/Unmarshaling as a Compilation/Interpretation Process”, [Queinnec 1998b]