Corinne Servieres

According to our database, Corinne Servieres authored at least 3 papers between 1993 and 1995.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1995

Modular Description and Verification of Concurrent Objects.

Jean Paul Bahsoun, Stephan Merz, Corinne Servieres

Proceedings of the Object-Based Parallel and Distributed Computation, 1995

1993

A Framework for Programming and Formalizing Concurrent Objects.

Jean Paul Bahsoun, Stephan Merz, Corinne Servieres

Proceedings of the First ACM SIGSOFT Symposium on Foundations of Software Engineering, 1993

A Unique Formalism for Specifying and Designing Objects in a Parallel Environment.

Jean Paul Bahsoun, Corinne Servieres, Christel Seguin

Proceedings of the Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28, 1993