Login / Signup

A method for the specification and verification of distributed systems by a timed automaton.

Satoshi Yamane
Published in: Systems and Computers in Japan (1997)
Keyphrases
  • distributed systems
  • load balancing
  • verification method
  • concurrent systems
  • complex systems
  • petri net
  • fault tolerance
  • colored petri nets