Login / Signup
Propositional Dynamic Logic and Asynchronous Cascade Decompositions for Regular Trace Languages.
Bharat Adsul
Paul Gastin
Saptarshi Sarkar
Pascal Weil
Published in:
CONCUR (2022)
Keyphrases
</>
propositional dynamic logic
expressive power
context free
language independent
dynamic logic
reasoning about actions
cross lingual
singular value decomposition
databases
regular languages
n gram
asynchronous communication