13 citations · 13 across the 1 of their papers we have counts for
1 paper
Benedikt Bollig, Dietrich Kuske, Ingmar Meinecke
We examine a bidirectional propositional dynamic logic (PDL) for finite and infinite message sequence charts (MSCs) extending LTL and TLC-. By this kind of multi-modal logic we can…