23 citations · 85 across the 23 of their papers we have counts for
1 paper · 1 filter
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…