Вы здесь

Deriving Compositional Models for Concurrency Based on de Bakker-Zucker Metric Domain from Structured Operational Semantics

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1992
Стр.: 
P.400-409.
Библиография: 
Bibliogr.: p.408-409.
Источник: 
Номер: 
3
Том: 
E75-A
Карточка: 

Б2.42, Б2.24.

Horita E..

Deriving Compositional Models for Concurrency Based on de Bakker-Zucker Metric Domain from Structured Operational Semantics// IEICE Trans.-1992, №3.-Vol. E75-A.-P.400-409.
Bibliogr.: p.408-409.

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