Process algebra and constraint programming for modeling interactions in MAS.
Frank S. de BoerWieke de VriesJohn-Jules Ch. MeyerRogier M. van EijkWiebe van der HoekPublished in: Appl. Algebra Eng. Commun. Comput. (2005)
Keyphrases
- constraint programming
- process algebra
- combinatorial problems
- constraint propagation
- constraint satisfaction
- constraint satisfaction problems
- multi agent systems
- search strategies
- global constraints
- constraint solver
- arc consistency
- search heuristics
- symmetry breaking
- formal specification
- model checking
- formal methods
- web services composition
- finite domain
- hard and soft constraints
- multi agent
- concurrent systems
- asynchronous circuits
- heuristic search