Design and verification in real-time distributed computing: an introduction to compositional methods.

Willem P. de Roever Jozef Hooman

Published in: PSTV (1989)

Keyphrases

distributed computing
real time
distributed environment
geographically distributed
databases
machine learning
digital libraries
fuzzy logic
distributed systems
data mining techniques
cloud computing