Liveness
Computer science
Component (thermodynamics)
Process calculus
Programming language
Linear temporal logic
Software
Transition system
Property (philosophy)
Model checking
Temporal logic
Theoretical computer science
Algorithm
Philosophy
Physics
Epistemology
Thermodynamics
