Towards Automata for Branching Time and Partial Order.
Michaela HuhnPeter NiebertPublished in: CONCUR (1996)
Keyphrases
- partial order
- partially ordered
- total order
- temporal logic
- cellular automata
- temporal reasoning
- finite automata
- stable marriage
- model checking
- finite state machines
- partial ordering
- regular expressions
- epistemic logic
- set theory
- lattice structure
- maximum weight
- conceptual graphs
- dominance relation
- data mining
- temporal information
- probability distribution