Behavioral Verification of Distributed Concurrent Systems with BOBJ.
Joseph A. GoguenKai LinPublished in: QSIC (2003)
Keyphrases
- concurrent systems
- distributed systems
- temporal logic
- process algebra
- model checking
- transition systems
- petri net
- distributed environment
- formal specification
- load balancing
- mobile agents
- fault tolerant
- lightweight
- communication overhead
- real time
- communication cost
- distributed data
- data sets
- multi agent systems
- agent technology
- cooperative
- artificial intelligence