Login / Signup

Modeling concurrency by partial orders and nonlinear transition systems.

Haim Gaifman
Published in: REX Workshop (1988)
Keyphrases
  • partial order
  • transition systems
  • partially ordered
  • total order
  • temporal logic
  • model checking
  • knowledge base
  • finite state
  • control flow
  • set theory
  • business processes
  • reactive systems
  • totally ordered