Вы здесь

Главная

A Compositional Proof System for Asynchronously Communicating Processes

Автор: 
de Boer F. S.
Van Hulst M.
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1995
Ключевые слова: 
распределенная система
процесс
асинхронный
логика
Стр.: 
P.197-213
Библиография: 
Bibliogr.: p.212-213
Издательство: 
Springer
Источник: 
Lecture Notes in Computer Science
Том: 
947
Карточка: 

Б2.1, Б2.2.

de Boer F. S., Van Hulst M..

A Compositional Proof System for Asynchronously Communicating Processes: Springer// Lecture Notes in Computer Science-1995.-Vol. 947.-P.197-213
Bibliogr.: p.212-213

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