Andrew M. Mironov

Identifiers

• name variant Andrew M. Mironov 0.60 · backfill

Papers (6)

1. A simple proof of the coincidence of observational and labeled equivalence of processes in applied pi-calculus cs.LO · 2025 · author #1
2. A new method of verification of security protocols cs.LO · 2017 · author #1
3. A graph model of message passing processes cs.LO · 2017 · author #1
4. A New Method of Verification of Functional Programs cs.LO · 2016 · author #1
5. A theory of probabilistic automata, part 1 cs.FL · 2015 · author #1
6. Theory of processes cs.LO · 2010 · author #1

Mentions

• 1009.2259 #1 · backfill · confidence 0.70 Andrew M. Mironov