output
20172026
most citedSwitching quantum reference frames in the N-body problem and the absence of global relational perspectives

60 citations

researchers with a paper here
collaborating institutions
Showing 2021 · cs.FLShow all

2 papers · 2 filters

cs.FL2021

Fast zone-based algorithms for reachability in pushdown timed automata

S. Akshay, Paul Gastin, Karthik R Prakash

Given the versatility of timed automata a huge body of work has evolved that considers extensions of timed automata. One extension that has received a lot of interest is timed auto…

cs.FL2021★ 2 cited

Asynchronous wreath product and cascade decompositions for concurrent behaviours

Bharat Adsul, Paul Gastin, Saptarshi Sarkar +1

We develop new algebraic tools to reason about concurrent behaviours modelled as languages of Mazurkiewicz traces and asynchronous automata. These tools reflect the distributed nat…