Corinne Servieres

Publication Activity (10 Years)

Years Active: 1993-1995
Publications (10 Years): 0

Publications

Jean Paul Bahsoun, Stephan Merz, Corinne Servieres
Modular Description and Verification of Concurrent Objects. OBPDC (1995)
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)
Jean Paul Bahsoun, Stephan Merz, Corinne Servieres
A Framework for Programming and Formalizing Concurrent Objects. SIGSOFT FSE (1993)