Showing cs.FLShow all
2 papers · 1 filter
cs.FL2024
Non-deterministic asynchronous automata games and their undecidability
Bharat Adsul, Nehul Jain
We propose a new model of a distributed game, called an ATS game, which is played on a non-deterministic asynchronous transition system -- a natural distributed finite-state device…
cs.FL2024
Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages
Bharat Adsul, Paul Gastin, Shantanu Kulkarni +1
We propose a local, past-oriented fragment of propositional dynamic logic to reason about concurrent scenarios modelled as Mazurkiewicz traces, and prove it to be expressively comp…