Statecharts Via Process Algebra.
Gerald LüttgenMichael von der BeeckRance CleavelandPublished in: CONCUR (1999)
Keyphrases
- process algebra
- formal methods
- formal specification
- model checking
- concurrent systems
- asynchronous circuits
- concurrent programs
- knowledge based systems
- communication protocols
- web services composition
- artificial intelligence
- grid workflow
- software engineering
- temporal logic
- petri net
- formal languages
- computer networks
- open source
- database