Andrew M. Mironov | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

research

∙ 10/16/2021

Verification of MPI programs

In this paper, we outline an approach to verifying parallel programs. A ...

0 Andrew M. Mironov, et al. ∙

research

∙ 09/18/2021

A Distributed Process Model of Cryptographic Protocols

Cryptographic Protocols (CP) are distributed algorithms intended for sec...

0 Andrew M. Mironov, et al. ∙

research

∙ 01/10/2020

State diagrams of functional programs

In the paper we introduce graphical objects (called state diagrams) rela...

0 Andrew M. Mironov, et al. ∙