On Verifying Fair Lossy Channel Systems.

Benoît Masson Philippe Schnoebelen

Published in: MFCS (2002)

Keyphrases

distributed systems
complex systems
multiscale
management system
knowledge base
mobile devices
building blocks
learning systems
communication channels