Login / Signup

Partial-Order Validation for Multi-Process Protocols Modeled as Communicating Finite State Machines.

Hong LiuRaymond E. Miller
Published in: ICNP (1996)
Keyphrases
  • partial order
  • finite state machines
  • partially ordered
  • total order
  • lattice structure
  • databases
  • hidden markov models
  • building blocks
  • multiple agents
  • finite state automata
  • causal links