Towards an interactive semantics of nondeterministic concurrent programming languages
News of the Kabardin-Balkar scientific center of RAS, no. 1 (1998), pp. 11-19
Cet article a éte moissonné depuis 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},
year = {1998},
number = {1},
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 UR - http://geodesic.mathdoc.fr/item/IZKAB_1998_1_a1/ LA - en ID - IZKAB_1998_1_a1 ER -
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/