Formal methods in concurrent and distributed systems.
A. Prasad SistlaPublished in: ACM SIGSOFT Softw. Eng. Notes (2000)
Keyphrases
- distributed systems
- formal methods
- formal analysis
- distributed environment
- load balancing
- knowledge based systems
- fault tolerant
- geographically distributed
- safety critical
- software engineering
- fault tolerance
- formal specification
- model checking
- distributed computing
- concurrent systems
- mobile agents
- artificial intelligence
- security policies
- real time systems
- process algebra
- software architecture
- data replication
- data availability
- replicated data
- expert systems
- web services