| |
| 1995 | ||
|---|---|---|
| 3 | Jean Paul Bahsoun, Stephan Merz, Corinne Servieres: Modular Description and Verification of Concurrent Objects. OBPDC 1995: 168-186 | |
| 1993 | ||
| 2 | Jean Paul Bahsoun, Corinne Servieres, Christel Seguin: A Unique Formalism for Specifying and Designing Objects in a Parallel Environment. Formal Methods in Programming and Their Applications 1993: 267-280 | |
| 1 | EE | Jean Paul Bahsoun, Stephan Merz, Corinne Servieres: A Framework for Programming and Formalizing Concurrent Objects. SIGSOFT FSE 1993: 126-137 |
| 1 | Jean Paul Bahsoun | [1] [2] [3] |
| 2 | Stephan Merz | [1] [3] |
| 3 | Christel Seguin | [2] |