Performance Evaluation of Distributed Systems Based on a Discrete Real- and Stochastic-Time Process Algebra.
Jasen MarkovskiErik P. de VinkPublished in: Fundam. Informaticae (2009)
Keyphrases
- distributed systems
- concurrent systems
- process algebra
- fault tolerant
- distributed environment
- concurrent programs
- fault tolerance
- distributed computing
- geographically distributed
- software architecture
- formal specification
- data replication
- distributed database systems
- asynchronous circuits
- security policies
- model checking
- mobile agents
- temporal logic