Checking Distributed Programs with Partially Ordered Atoms.
Hon Fung LiEslam Al MaghayrehPublished in: APSEC (2007)
Keyphrases
- partially ordered
- partial order
- total ordering
- partial ordering
- distributed systems
- totally ordered
- event calculus
- total order
- answer sets
- fault tolerant
- linear combination
- interval valued
- logic programs
- peer to peer
- distributed environment
- computer networks
- fuzzy sets
- multi agent
- neural network
- rough sets
- communication cost
- distributed data
- possibilistic logic
- logic programming