Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs

Michael Codish, Moreno Falaschi, Kim Marriott and Will Winsborough   

Proceedings of the Twentieth International Colloquium on Automata, Languages and Programming; 1993

Abstract:


Available:    bibtex entry

Related sites:   The journal version


Michael Codish
The Department of Computer Science
Ben-Gurion University of the Negev
PoB 653, Beer-Sheva, 84105, Israel
mcodish@cs.bgu.ac.il

© copyright notice