Trace Theory on Umang Mathur https://umangmathur.org/tags/trace-theory/ Recent content in Trace Theory on Umang Mathur Hugo -- 0.148.2 en-us Thu, 25 Jul 2024 00:00:00 +0000 Predictive Monitoring with Strong Trace Prefixes https://umangmathur.org/publications/2024-cav-ang-strong-trace-prefixes/ Sat, 23 Aug 2025 16:46:18 +0000 https://umangmathur.org/publications/2024-cav-ang-strong-trace-prefixes/ Predictive Monitoring against Pattern Regular Languages https://umangmathur.org/publications/2024-popl-ang-pattern-languages/ Sat, 23 Aug 2025 16:46:18 +0000 https://umangmathur.org/publications/2024-popl-ang-pattern-languages/ <p>Note: The ArXiv version of the paper corrects an error in the published version.</p> Coarser Equivalences for Causal Concurrency https://umangmathur.org/publications/2024-popl-farzan-grain-equivalence/ Sat, 23 Aug 2025 16:46:18 +0000 https://umangmathur.org/publications/2024-popl-farzan-grain-equivalence/