Pascal Chambre

According to our database, Pascal Chambre authored at least 2 papers between 1994 and 1996.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1996

Une méthode de preuve pour programmes concurrents avec contraintes sous forme clausale.

Pascal Chambre, Pierre Deransart, Jan Maluszynski

Proceedings of the JFPLC'96, 1996

1994

Towards a Proof method of Non-Suspension of Concurrent Constraint Logic Programs.

Pascal Chambre, Pierre Deransart

Proceedings of the ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, 1994