Вы здесь

A modal logic for message passing processes

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1995
Стр.: 
P.375-393
Библиография: 
Bibliogr.: p.393
Источник: 
Номер: 
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