Engineering Concurrent and Reactive Systems with Distributed Real-Time Abstract State Machines.
Uwe GlässerMona VajihollahiPublished in: DIPES (2004)
Keyphrases
- real time
- reactive systems
- real time systems
- distributed systems
- temporal logic
- multi agent
- distributed environment
- engineering design
- computer science
- control system
- software engineering
- concurrent execution
- low cost
- case study
- fault tolerant
- concurrent processes
- database
- formal methods
- information flow
- model checking
- first order logic
- peer to peer
- artificial intelligence