3 papers
cs.FL2020
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…
cs.LO2018
A Generalization of the Łoś-Tarski Preservation Theorem - Dissertation Summary
Abhisekh Sankaran
This article gives a summary of the author's Ph.D. dissertation (arXiv:1609.06297). In addition to an overview of notions and results, it also provides sketches of various proofs a…
cs.GT2010
Rank-1 Bi-matrix Games: A Homeomorphism and a Polynomial Time Algorithm
Bharat Adsul, Jugal Garg, Ruta Mehta +1
Given a rank-1 bimatrix game (A,B), i.e., where rank(A+B)=1, we construct a suitable linear subspace of the rank-1 game space and show that this subspace is homeomorphic to its Nas…