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