Keyphrases
- exception handling
- process algebra
- concurrent systems
- formal specification
- model checking
- asynchronous circuits
- formal methods
- object oriented
- web services composition
- domain independent
- communication protocols
- conflict resolution
- object oriented programming
- workflow management
- agent systems
- workflow management systems
- temporal logic
- petri net
- programming environment
- distributed systems
- formal languages
- artificial intelligence
- machine learning
- knowledge base
- business processes
- data model
- expert systems
- cooperative
- information systems
- web services