Keyphrases
- process algebra
- international workshop
- lecture notes
- concurrent systems
- lecture notes in artificial intelligence
- formal specification
- international conference
- model checking
- asynchronous circuits
- web services composition
- formal methods
- international symposium
- communication protocols
- concurrent programs
- computer science
- knowledge discovery and data mining
- multi agent
- multi agent systems
- distributed systems
- petri net
- grid workflow
- information systems
- data quality
- formal languages
- artificial intelligence