Buchumschlag

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

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.

Gespeichert in:

Bibliographische Detailangaben
Datum:	2004
1. Verfasser:	Антонцева, М.Ф.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут програмних систем НАН України 2004
Schlagworte:	Теоретические и методологические основы программирования
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/2318
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Коалгебраическое исследование бисимуляционных паралельных процессов/М.Ф. Антонцева // Проблеми програмування. — 2004. — N 2,3. — С. 47-51. — Бiбліогр.:5 назв. - рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

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

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

Композиційно-номінативні логіки предикатів над даними з неповною інформацією
von: Нікітченко, М.С., et al.
Veröffentlicht: (2004)

Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення
von: Нікітченко, М.С., et al.
Veröffentlicht: (2003)

Композиційні логіки номінативних даних
von: Нікітченко, М.С., et al.
Veröffentlicht: (2003)

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

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

Экспликативный базис интеграционных сред
von: Редько, И.В.
Veröffentlicht: (2004)

Что такое алгебраическая алгоритмика?
von: Цейтлин, Г.Е., et al.
Veröffentlicht: (2004)

О несовместности одного вида нелинейных уравнений в множестве натуральных чисел
von: Крывый, С.Л., et al.
Veröffentlicht: (2003)

Формальные модели компонентного программирования
von: Грищенко, В.Н.
Veröffentlicht: (2003)

Аксиоматические модели и методы проектирования языковых трансляторов
von: Парасюк, И.Н., et al.
Veröffentlicht: (2003)

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

Алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2003)

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

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

Realistic correct systems implementation
von: Goerigk, Wolfgang, et al.
Veröffentlicht: (2003)

Will Informatics be able to Justify the Construction of Large Computer Based Systems? Part II. Trusted compiler implementation
von: Goerigk, Wolfgang, et al.
Veröffentlicht: (2003)

Процесологічні середовища моделювання
von: Редько, И.В.
Veröffentlicht: (2003)

Инсерционное моделирование
von: Летичевский, А.Ад.
Veröffentlicht: (2012)

Программно-технологический комплекс имитационного моделирования вероятностных технологических процессов
von: Максимей, И.В., et al.
Veröffentlicht: (2003)

Система символьных вычислений для программирования динамических приложений
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2003)

The Conception and Application of PFL: a Process Functional Programming Language
von: Kollar, Jan
Veröffentlicht: (2004)

Влияние УФ-излучения на кинетику разложения катионных ПАВ озоном в водной среде
von: Гончарук, В.В., et al.
Veröffentlicht: (2007)

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

Теоретические проблемы устойчивости броуновских дисперсных систем
von: Мищук, Н.А.
Veröffentlicht: (2011)

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

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

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

Влияние полиакриламида на поверхностные свойства растворов хлоридов алкилпиридиния при их извлечении
von: Стрельцова, Е.А., et al.
Veröffentlicht: (2008)

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

Динамика сорбции серной кислоты слабоосновными полиакриловыми анионитами, синтезированными на основе полиаминов
von: Мамченко, А.В., et al.
Veröffentlicht: (2008)

Фильтрование суспензий через многослойную загрузку при нелинейной кинетике массообмена. 2. Количественный анализ
von: Поляков, В.Л.
Veröffentlicht: (2011)

Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits
von: Bača, J., et al.
Veröffentlicht: (2003)

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

Межмодельный подход к разработке естественно-языкового интерфейса с использованием методов нечеткой логики
von: Теленик, С.Ф., et al.
Veröffentlicht: (2004)

Подход к созданию комплексной учебной программы для подготовки ИТ-менеджеров
von: Лаврищева, Е.М., et al.
Veröffentlicht: (2004)

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

Состояние компенсаторных процессов в единственной почке и уровень перекисного окисления в плазме крови в эксперименте
von: Сатаева, Т.П., et al.
Veröffentlicht: (2009)

Структурированные семантические сети в распределенной разработке многоязыковых словарей
von: Кульчицький, Б.Н., et al.
Veröffentlicht: (2004)