Зображення обкладинки

Коалгебраическое исследование бисимуляционных паралельных процессов

The aim of this paper is to extend of coalgebra semantic and categorical methods to noninterleaving models, in particular, transition systems with independence and labelled event structure.

Збережено в:

Бібліографічні деталі
Дата:	2004
Автор:	Антонцева, М.Ф.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут програмних систем НАН України 2004
Теми:	Теоретические и методологические основы программирования
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/2318
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Коалгебраическое исследование бисимуляционных паралельных процессов/М.Ф. Антонцева // Проблеми програмування. — 2004. — N 2,3. — С. 47-51. — Бiбліогр.:5 назв. - рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Об одной геометрической модели временных параллельных процессов
за авторством: Ошевская, Е.С,
Опубліковано: (2004)

Концепція діалогових обчислень та деякі проблеми автоматизації програмування
за авторством: Петрушенко, А.М., та інші
Опубліковано: (2004)

Композиційно-номінативні логіки предикатів над даними з неповною інформацією
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2004)

Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2003)

Композиційні логіки номінативних даних
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2003)

Теоретико-категорная характеризация развертки временных сетей Петри
за авторством: Дубцов, Р.С.
Опубліковано: (2004)

Теоретико-категорная характеризация трассовой эквивалентности для временных автоматных моделей
за авторством: Грибовская, Н.С.
Опубліковано: (2004)

Экспликативный базис интеграционных сред
за авторством: Редько, И.В.
Опубліковано: (2004)

О несовместности одного вида нелинейных уравнений в множестве натуральных чисел
за авторством: Крывый, С.Л., та інші
Опубліковано: (2003)

Формальные модели компонентного программирования
за авторством: Грищенко, В.Н.
Опубліковано: (2003)

Алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2003)

Аксиоматические модели и методы проектирования языковых трансляторов
за авторством: Парасюк, И.Н., та інші
Опубліковано: (2003)

О возможных основаниях немонотонного дедуктивного синтеза программ
за авторством: Приходько, П.П.
Опубліковано: (2003)

Моделювання структур даних та функцій над ними в композиційно-номінативній мові ACoN
за авторством: Панченко, Т.В.
Опубліковано: (2004)

Realistic correct systems implementation
за авторством: Goerigk, Wolfgang, та інші
Опубліковано: (2003)

Узагальнена композиційна модель символьної обробки
за авторством: Винник, В.Ю.
Опубліковано: (2003)

Процесологічні середовища моделювання
за авторством: Редько, И.В.
Опубліковано: (2003)

Will Informatics be able to Justify the Construction of Large Computer Based Systems? Part II. Trusted compiler implementation
за авторством: Goerigk, Wolfgang, та інші
Опубліковано: (2003)

Инсерционное моделирование
за авторством: Летичевский, А.Ад.
Опубліковано: (2012)

Программно-технологический комплекс имитационного моделирования вероятностных технологических процессов
за авторством: Максимей, И.В., та інші
Опубліковано: (2003)

Влияние УФ-излучения на кинетику разложения катионных ПАВ озоном в водной среде
за авторством: Гончарук, В.В., та інші
Опубліковано: (2007)

Система символьных вычислений для программирования динамических приложений
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2003)

The Conception and Application of PFL: a Process Functional Programming Language
за авторством: Kollar, Jan
Опубліковано: (2004)

Теоретические проблемы устойчивости броуновских дисперсных систем
за авторством: Мищук, Н.А.
Опубліковано: (2011)

Расчет фильтрования суспензий через многослойную загрузку при линейной кинетике массообмена
за авторством: Поляков, В.Л.
Опубліковано: (2008)

Инженерный расчет фильтрования суспензии через двухслойную загрузку при линейной кинетике массообмена
за авторством: Поляков, В.Л.
Опубліковано: (2011)

Моделирование погружных фотореакторов с оптимальными параметрами УФ-излучения для водоочистки
за авторством: Самсони-Тодоров, А.О., та інші
Опубліковано: (2013)

Динамика сорбции серной кислоты слабоосновными полиакриловыми анионитами, синтезированными на основе полиаминов
за авторством: Мамченко, А.В., та інші
Опубліковано: (2008)

Влияние полиакриламида на поверхностные свойства растворов хлоридов алкилпиридиния при их извлечении
за авторством: Стрельцова, Е.А., та інші
Опубліковано: (2008)

Фильтрование суспензии с убывающей скоростью при линейной кинетике массообмена
за авторством: Поляков, В.Л.
Опубліковано: (2012)

Термодинамические характеристики воды, слабо связанной с поверхностью слоистых силикатов
за авторством: Тарасевич, Ю.И.
Опубліковано: (2013)

Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits
за авторством: Bača, J., та інші
Опубліковано: (2003)

Моделі агрегатування об'єктів навчального контенту на базі систем інформаційних технологій
за авторством: Манако, А.Ф.
Опубліковано: (2004)

Межмодельный подход к разработке естественно-языкового интерфейса с использованием методов нечеткой логики
за авторством: Теленик, С.Ф., та інші
Опубліковано: (2004)

Про один підхід побудови систем централізованих баз знань, які формуються методами навчання з підкріпленням
за авторством: Глибовець, М.М., та інші
Опубліковано: (2004)

Гармонизация культур в контексте интеграционных процессов: роль образования
за авторством: Якубов, Ф.Я.
Опубліковано: (2006)

Технология анализа и синтеза предложений естественного языка в интегрированном интеллектуальном интерфейсе системы ИРМ
за авторством: Булавенко, О.Н., та інші
Опубліковано: (2004)

Структурированные семантические сети в распределенной разработке многоязыковых словарей
за авторством: Кульчицький, Б.Н., та інші
Опубліковано: (2004)

Синтезаторы речи с MS SAPI интерфейсом для скринридеров
за авторством: Юсим, Г.В.
Опубліковано: (2004)

Состояние компенсаторных процессов в единственной почке и уровень перекисного окисления в плазме крови в эксперименте
за авторством: Сатаева, Т.П., та інші
Опубліковано: (2009)