Block products for algebras over countable words and applications to logic. - Bharat Adsul; Saptarshi Sarkar 001; A. V. Sreejith (LICS, 2019)

Wreath/Cascade Products and Related Decomposition Results for the Concurrent Setting of Mazurkiewicz Traces. - Bharat Adsul; Paul Gastin; Saptarshi Sarkar 001; Pascal Weil (CONCUR, 2020)

Wreath/cascade products and related decomposition results for the concurrent setting of Mazurkiewicz traces (extended version). - Bharat Adsul; Paul Gastin; Saptarshi Sarkar 001; Pascal Weil (CoRR, 2020)

First-Order Logic and Its Infinitary Quantifier Extensions over Countable Words. - Bharat Adsul; Saptarshi Sarkar 001; A. V. Sreejith (FCT, 2021)

Propositional Dynamic Logic and Asynchronous Cascade Decompositions for Regular Trace Languages. - Bharat Adsul; Paul Gastin; Saptarshi Sarkar 001; Pascal Weil (CONCUR, 2022)

Asynchronous wreath product and cascade decompositions for concurrent behaviours. - Bharat Adsul; Paul Gastin; Saptarshi Sarkar 001; Pascal Weil (Log. Methods Comput. Sci., 2022)

Algebraic characterizations and block product decompositions for first order logic and its infinitary quantifier extensions over countable words. - Bharat Adsul; Saptarshi Sarkar 001; A. V. Sreejith (J. Comput. Syst. Sci., 2023)