Concurrent Constraint Programming and Non-Commutative Linear Logic (Extended Abstract) (1996)

by Paul Ruet , Francois Fages
Citations:9 - 5 self