Login / Signup
A Framework for Flexible Program Evolution and Verification of Distributed Systems.
Olaf Owe
Elahe Fazeldehkordi
Jia-Chun Lin
Published in:
MODELSWARD (Revised Selected Papers) (2019)
Keyphrases
</>
distributed systems
fault tolerance
distributed computing
software architecture
concurrent systems
fault tolerant
distributed environment
load balancing
mobile agents
loosely coupled
geographically distributed
real time systems
message passing
agent technology
artificial intelligence
mobile computing
database