On Induction for Diamond-Free Directed Complete Partial Orders
Ievgen Ivanov · 2020
A formulation of an induction principle for diamond-free di- rected complete partial orders is proposed. This principle may be useful for specification and verification of non-discrete systems using interactive proof assistant software.