A non-interleaving Semantics for CCS Based on Proved Transitions

Вы здесь

Автор:

Количество экземпляров:

Колл. автор:

Вид:

Препринт

Год:

1988

Ключевые слова:

Стр.:

13 p.

Библиография:

Bibliogr.: p.12-13

Место издания:

Номер:

919

Карточка:

Б2.24.

Boudol G., Castellani I..

A non-interleaving Semantics for CCS Based on Proved Transitions-Rocquencourt., 1988.-13 p.-(Препринт INRIA №919).
Bibliogr.: p.12-13

Таблица в старой библиотеке:

PREP3 16