Formal communication elimination and sequentialization equivalence proofs for distributed system models.
Miquel BertranFrancesc-Xavier BabotAugust ClimentPublished in: Acta Informatica (2014)
Keyphrases
- distributed systems
- software development environments
- message passing
- complex systems
- distributed computing
- probabilistic model
- fault tolerant
- formal models
- operating system
- mobile agents
- software architecture
- distributed environment
- fault tolerance
- communication cost
- distributed database systems
- information exchange
- resource constrained