"Efficient Analysis of Reactive Properties of Concurrent Constraint Logic ..."

Michael Codish et al. (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics