Implementations of the CSP Notation for Concurrent Systems.
M. Elizabeth C. HullPublished in: Comput. J. (1986)
Keyphrases
- concurrent systems
- temporal logic
- constraint satisfaction problems
- distributed systems
- process algebra
- transition systems
- formal specification
- petri net
- model checking
- constraint satisfaction
- constraint propagation
- constraint programming
- arc consistency
- efficient implementation
- tree decompositions
- artificial intelligence
- lower bound
- solving constraint satisfaction problems
- decomposition methods
- constraint solving
- fine grained
- closest string
- knowledge base