TY  - JOUR
AU  - A. A. Letichevskii
TI  - Towards an interactive semantics of nondeterministic concurrent programming languages
JO  - News of the Kabardin-Balkar scientific center of RAS
PY  - 1998
SP  - 11
EP  - 19
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IZKAB_1998_1_a1/
LA  - en
ID  - IZKAB_1998_1_a1
ER  -