![[]](../../Images/point.gif){kind=small}
![[]](../../Images/publications_sider.gif)
![[]](../../Images/csbgu3.jpg) |
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