Andrew M. Mironov

13 papers Journal 12Unranked 1

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A simple proof of the coincidence of observational and labeled equivalence of processes in applied pi-calculus. CoRR Andrew M. Mironov
2022	J	`jnl`	A Mathematical Model of Parallel Programs and an Approach to Verification of MPI Programs Based on the Proposed Model. Autom. Control. Comput. Sci. Andrew M. Mironov
2021	J	`jnl`	A Distributed Process Model of Cryptographic Protocols. CoRR Andrew M. Mironov
2021	J	`jnl`	Verification of MPI programs. CoRR Andrew M. Mironov
2020	J	`jnl`	New method of verifying cryptographic protocols based on the process model. CoRR Andrew M. Mironov
2020	J	`jnl`	New method of verifying cryptographic protocols based on the process model. IACR Cryptol. ePrint Arch. Andrew M. Mironov
2020	J	`jnl`	State diagrams of functional programs. CoRR Andrew M. Mironov
2017	J	`jnl`	A graph model of message passing processes. CoRR Andrew M. Mironov
2017	J	`jnl`	A new method of verification of security protocols. CoRR Andrew M. Mironov
2016	J	`jnl`	A New Method of Verification of Functional Programs. CoRR Andrew M. Mironov
2016	—	`conf`	Logics for Representation of Propositions with Fuzzy Modalities. SCAKD@CLA Andrew M. Mironov
2015	J	`jnl`	A theory of probabilistic automata, part 1. CoRR Andrew M. Mironov
2010	J	`jnl`	Theory of processes CoRR Andrew M. Mironov