1 citations · 1 across the 1 of their papers we have counts for
3 papers
First-Order logic and its Infinitary Quantifier Extensions over Countable Words
Bharat Adsul, Saptarshi Sarkar, A. V. Sreejith
We contribute to the refined understanding of the language-logic-algebra interplay in the context of first-order properties of countable words. We establish decidable algebraic cha…
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…
Wreath/cascade products and related decomposition results for the concurrent setting of Mazurkiewicz traces (extended version)
Bharat Adsul, Paul Gastin, Saptarshi Sarkar +1
We develop a new algebraic framework to reason about languages of Mazurkiewicz traces. This framework supports true concurrency and provides a non-trivial generalization of the wre…