Concurrent constraint automata

Authors:
Laurent Fribourg;Marcos Veloso Peixoto
Affiliations:
-;-
Venue:
ILPS '93 Proceedings of the 1993 international symposium on Logic programming
Year:
1993

Citing 0
Cited 2

Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP

ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Synthesizing glue operators from glue constraints for the construction of component-based systems

SC'11 Proceedings of the 10th international conference on Software composition

Quantified Score

Hi-index	0.00

Visualization

Abstract