34312 articles – 26877 Notices  [english version]
.:. Consultation > Par auteur > Abrial .:.
7 documents classés par :

Refinement and Reachability in Event_B
Abrial J.-R., Cansell D., Méry D.
Dans ZB 2005 : Formal Specification and Development in Z and B : 4th International Conference of B and Z Users 3455 (2005) 222-241 [inria-00001245 - version 1]
Formal Construction of a Non-blocking Concurrent Queue Algorithm (a Case Study in Atomicity)
Abrial J.-R., Cansell D.
Journal of Universal Computer Science 11, 5 (2005) 744-770 [inria-00000120 - version 1]
Click'n'Prove: Interactive Proofs Within Set Theory
Abrial J.-R., Cansell D.
Dans 16th International Conference on Theorem Proving in Higher Order Logics - TPHOLs'2003 2758 (2003) 1-24 [inria-00099836 - version 1]
Formal derivation of spanning trees algorithms
Abrial J.-R., Cansell D., Méry D.
Dans Third International Conference of B and Z Users - ZB'2003 2651 (2003) 457-476 [inria-00099793 - version 1]
A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol
Abrial J.-R., Cansell D., Méry D.
Formal Aspects of Computing 14, 3 (2003) 215-227 [inria-00099531 - version 1]
"Higher-Order" Mathematics in B
Abrial J.-R., Cansell D., Laffitte G.
Dans 2nd International Conference of B and Z Users - ZB'2002 2272 (2002) 370-393 [inria-00100923 - version 1]
Specification and Design of the Leader Election Protocol of IEEE 1394
Abrial J.-R., Cansell D., Méry D.
Dans IEEE 1394 (FireWire) Workshop: International Workshop on Application of Formal Methods to IEEE 1394 Standard (2001) 3 p [inria-00100598 - version 1]