Pascal Chambre

Publication Activity (10 Years)

Years Active: 1994-1996
Publications (10 Years): 0

Publications

Pascal Chambre, Pierre Deransart, Jan Maluszynski
Une méthode de preuve pour programmes concurrents avec contraintes sous forme clausale. JFPLC (1996)
Pascal Chambre, Pierre Deransart
Towards a Proof method of Non-Suspension of Concurrent Constraint Logic Programs. ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages (1994)