Formal Derivation of a Distributed Program in Event B.

Alexei Iliasov Linas Laibinis Elena Troubitsyna Alexander B. Romanovsky

Published in: ICFEM (2011)

Keyphrases

event detection
distributed systems
cooperative
distributed environment
peer to peer
formal model
databases
news stories
computing environments
news articles
static analysis
fault tolerant
computer networks
expert systems
multi agent
website
artificial intelligence