Login / Signup

Using Partial-Order Semantics to Avoid the State Explosion Problem in Asynchronous Systems.

David K. ProbstHon Fung Li
Published in: CAV (DIMACS/AMS volume) (1990)
Keyphrases
  • partial order
  • partially ordered
  • data streams
  • total order
  • finite state machines
  • set theory
  • data mining
  • formal semantics
  • conditional independencies