Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Sergei Grechanik

Polyprograms and Polyprogram Bisimulation

Modeling and Analysis of Information Systems

English