A modal logic for message passing processes | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

Статья из сборника или журнала

Год:

1995

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

модальный

семантика

операционный

символьный

Стр.:

P.375-393

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

Bibliogr.: p.393

Источник:

Acta Informatica

Номер:

4

Том:

32

Карточка:

Б2.42, Б2.24, Б2.1.

Hennessy M., Liu X..

A modal logic for message passing processes// Acta Informatica-1995, №4.-Vol. 32.-P.375-393
Bibliogr.: p.393

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

PAP12 593