Вы здесь

Главная

Real-Time Stable Event Structures and Marked Scott Domains: An Adjunction

Автор: 
Dubtsov R.
Количество экземпляров: 
1
Колл. автор: 
IIS SB RAS
Вид: 
Статья из сборника или журнала
Год: 
2006
Ключевые слова: 
real-time
busa
иси
теория категорий
семантический
структура событий
параллелизм
Стр.: 
P.268-273
Библиография: 
Bibliogr.: p.271-272
Место издания: 
Novosibirsk
Источник: 
Perspectives of System Informatics: Preliminary Proceedings`06
Карточка: 

Б2.24.

Dubtsov R..

Real-Time Stable Event Structures and Marked Scott Domains: An Adjunction-Novosibirsk.// Perspectives of System Informatics: Preliminary Proceedings`06, 2006.-P.268-273
Bibliogr.: p.271-272

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