Login / Signup

Mechanically supporting case analysis for verification of distributed systems.

Takahiro SeinoKazuhiro OgataKokichi Futatsugi
Published in: Int. J. Pervasive Comput. Commun. (2005)
Keyphrases
  • distributed systems
  • concurrent systems
  • fault tolerant
  • message passing
  • operating system
  • load balancing
  • model checking
  • fault tolerance
  • distributed environment
  • mobile computing
  • geographically distributed