×

zbMATH — the first resource for mathematics

Serpette, Bernard Paul

Compute Distance To:
Author ID: serpette.bernard-paul Recent zbMATH articles by "Serpette, Bernard Paul"
Published as: Serpette, Bernard Paul; Serpette, Bernard; Serpette, Bernard P.
Documents Indexed: 9 Publications since 1999

Publications by Year

Citations contained in zbMATH Open

6 Publications have been cited 21 times in 20 Documents Cited by Year
Asynchronous and deterministic objects. Zbl 1325.68052
Caromel, Denis; Henrio, Ludovic; Serpette, Bernard Paul
9
2004
A formal executable semantics of the JavaCard platform. Zbl 0977.68577
Barthe, Gilles; Dufay, Guillaume; Jakubiec, Line; Serpette, Bernard; de Sousa, Simão Melo
6
2001
Tilting at windmills with Coq: Formal verification of a compilation algorithm for parallel moves. Zbl 1140.68491
Rideau, Laurence; Serpette, Bernard Paul; Leroy, Xavier
2
2008
Asynchronous sequential processes. Zbl 1170.68026
Caromel, Denis; Henrio, Ludovic; Serpette, Bernard Paul
2
2009
Partial evaluation and non-interference for object calculi. Zbl 0988.68049
Barthe, Gilles; Serpette, Bernard P.
1
1999
iRho: an imperative rewriting calculus. Zbl 1153.68026
Liquori, Luigi; Serpette, Bernard Paul
1
2008
Asynchronous sequential processes. Zbl 1170.68026
Caromel, Denis; Henrio, Ludovic; Serpette, Bernard Paul
2
2009
Tilting at windmills with Coq: Formal verification of a compilation algorithm for parallel moves. Zbl 1140.68491
Rideau, Laurence; Serpette, Bernard Paul; Leroy, Xavier
2
2008
iRho: an imperative rewriting calculus. Zbl 1153.68026
Liquori, Luigi; Serpette, Bernard Paul
1
2008
Asynchronous and deterministic objects. Zbl 1325.68052
Caromel, Denis; Henrio, Ludovic; Serpette, Bernard Paul
9
2004
A formal executable semantics of the JavaCard platform. Zbl 0977.68577
Barthe, Gilles; Dufay, Guillaume; Jakubiec, Line; Serpette, Bernard; de Sousa, Simão Melo
6
2001
Partial evaluation and non-interference for object calculi. Zbl 0988.68049
Barthe, Gilles; Serpette, Bernard P.
1
1999

Citations by Year