Using Partial-Orders for Detecting Faults in Concurrent Systems.
Alexandre PetrenkoAndreas UlrichV. ChapenkoPublished in: IWTCS (1998)
Keyphrases
- partial order
- concurrent systems
- temporal logic
- partially ordered
- total order
- distributed systems
- process algebra
- formal specification
- transition systems
- petri net
- model checking
- partial ordering
- stable marriage
- fault diagnosis
- fault detection
- artificial intelligence
- totally ordered
- preference relations
- lattice structure
- association rules
- computational complexity
- sequential patterns
- decision problems
- test cases
- dynamic environments
- high dimensional
- fault model
- decision making
- data mining