Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems.
Jasen MarkovskiErik P. de VinkPublished in: ACSD (2008)
Keyphrases
- distributed systems
- concurrent systems
- process algebra
- real time
- real time systems
- fault tolerant
- distributed environment
- fault tolerance
- concurrent programs
- mobile agents
- geographically distributed
- asynchronous circuits
- formal specification
- distributed database systems
- deadlock detection
- model checking
- security policies
- temporal logic
- data availability
- web services composition
- software architecture
- database applications
- response time
- natural language