( en | de | ru )

 

Disambiguation of "Adsul, Bharat"

Author of the publication

copydeleteadd this publication to your clipboard
Asynchronous wreath product and cascade decompositions for concurrent behaviours.

, , , and . Log. Methods Comput. Sci., (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Bharat Balasubramanian

Bharat Kurana

Bharat Kalra

Bharat Gadhia

Bharat Gadhia

 

Other publications of authors with the same name

A procedural framework and mathematical analysis for solid sweeps, , and . CoRR, (2012)Algebraic characterizations and block product decompositions for first order logic and its infinitary quantifier extensions over countable words., , and . J. Comput. Syst. Sci., (2023)Wreath/cascade products and related decomposition results for the concurrent setting of Mazurkiewicz traces (extended version)., , , and . CoRR, (2020)Asynchronous wreath product and cascade decompositions for concurrent behaviours., , , and . Log. Methods Comput. Sci., (2022)First-Order Logic and Its Infinitary Quantifier Extensions over Countable Words., , and . FCT, volume 12867 of Lecture Notes in Computer Science, page 39-52. Springer, (2021)Propositional Dynamic Logic and Asynchronous Cascade Decompositions for Regular Trace Languages., , , and . CONCUR, volume 243 of LIPIcs, page 28:1-28:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Fast Algorithms for Rank-1 Bimatrix Games., , , , and . CoRR, (2018)Fast Algorithms for Rank-1 Bimatrix Games., , , , and . Oper. Res., 69 (2): 613-631 (2021)Local and global analysis of parametric solid sweeps., , and . Comput. Aided Geom. Des., 31 (6): 294-316 (2014)Rank-1 Bi-matrix Games: A Homeomorphism and a Polynomial Time Algorithm, , , and . CoRR, (2010)