Towards an interactive semantics of nondeterministic concurrent programming languages
News of the Kabardin-Balkar scientific center of RAS, no. 1 (1998), pp. 11-19.

Voir la notice de l'article provenant de la source Math-Net.Ru

@article{IZKAB_1998_1_a1,
     author = {A. A. Letichevskii},
     title = {Towards an interactive semantics of nondeterministic concurrent programming languages},
     journal = {News of the Kabardin-Balkar scientific center of RAS},
     pages = {11--19},
     publisher = {mathdoc},
     number = {1},
     year = {1998},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/IZKAB_1998_1_a1/}
}
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  - 
%0 Journal Article
%A A. A. Letichevskii
%T Towards an interactive semantics of nondeterministic concurrent programming languages
%J News of the Kabardin-Balkar scientific center of RAS
%D 1998
%P 11-19
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IZKAB_1998_1_a1/
%G en
%F IZKAB_1998_1_a1
A. A. Letichevskii. Towards an interactive semantics of nondeterministic concurrent programming languages. News of the Kabardin-Balkar scientific center of RAS, no. 1 (1998), pp. 11-19. http://geodesic.mathdoc.fr/item/IZKAB_1998_1_a1/