Keyphrases
- concurrent systems
- model checking
- temporal logic
- distributed systems
- formal specification
- process algebra
- petri net
- transition systems
- visual languages
- modeling language
- verification method
- finite state
- fuzzy petri net
- automated trust negotiation
- database
- formal methods
- knowledge acquisition
- xml documents
- artificial intelligence
- databases
- real time