A Process Algebra for Synchronous Concurrent Constraint Programming.
Lubos BrimJean-Marie JacquetDavid R. GilbertMojmír KretínskýPublished in: ALP (1996)
Keyphrases
- constraint programming
- process algebra
- concurrent programs
- concurrent systems
- model checking
- formal specification
- asynchronous circuits
- formal methods
- combinatorial problems
- web services composition
- constraint satisfaction problems
- communication protocols
- constraint satisfaction
- constraint propagation
- petri net
- global constraints
- symmetry breaking
- search strategies
- temporal logic
- arc consistency
- constraint solving
- distributed systems
- finite domain
- constraint solver
- concurrent programming
- machine learning
- hard and soft constraints