2025-02-23T13:50:08-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-2338%22&qt=morelikethis&rows=5

2025-02-23T13:50:08-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-2338%22&qt=morelikethis&rows=5

2025-02-23T13:50:08-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK

2025-02-23T13:50:08-05:00 DEBUG: Deserialized SOLR response

Теоретико-категорная характеризация трассовой эквивалентности для временных автоматных моделей

Данная работа посвящена теоретико-категорному исследованию трассовой эквивалентности в контексте временных автоматных систем переходов. Для данной модели определено понятие открытого морфизма и доказан критерий открытости. Далее сформулировано определение абстрактной эквивалентности в терминах сущ...

Full description

Saved in:

Bibliographic Details
Main Author:	Грибовская, Н.С.
Format:	Article
Language:	Russian
Published:	Інститут програмних систем НАН України 2004
Subjects:	Теоретические и методологические основы программирования
Online Access:	http://dspace.nbuv.gov.ua/handle/123456789/2338
Tags:	Add Tag No Tags, Be the first to tag this record!

id	irk-123456789-2338
record_format	dspace
spelling	irk-123456789-23382008-09-18T12:01:01Z Теоретико-категорная характеризация трассовой эквивалентности для временных автоматных моделей Грибовская, Н.С. Теоретические и методологические основы программирования Данная работа посвящена теоретико-категорному исследованию трассовой эквивалентности в контексте временных автоматных систем переходов. Для данной модели определено понятие открытого морфизма и доказан критерий открытости. Далее сформулировано определение абстрактной эквивалентности в терминах существования конструкции открытых морфизмов и доказано, что трассовая эквивалентность совпадает с этой абстрактной эквивалентностью. The intention of the paper is to show the applicability of the general categorical framework of open maps to the setting of timed automata models. In particular, we use the framework of open maps to obtain an abstract equivalence notion which is established to coincide with a timed extension of the well-known trace equivalence. 2004 Article Теоретико-категорная характеризация трассовой эквивалентности для временных автоматных моделей / Н.С. Грибовская// Проблеми програмування 2004. — N 2-3. — С. 16-22. — Бібліогр.: 5 назв. - рос. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/2338 681.3 ru Інститут програмних систем НАН України
institution	Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection	DSpace DC
language	Russian
topic	Теоретические и методологические основы программирования Теоретические и методологические основы программирования
spellingShingle	Теоретические и методологические основы программирования Теоретические и методологические основы программирования Грибовская, Н.С. Теоретико-категорная характеризация трассовой эквивалентности для временных автоматных моделей
description	Данная работа посвящена теоретико-категорному исследованию трассовой эквивалентности в контексте временных автоматных систем переходов. Для данной модели определено понятие открытого морфизма и доказан критерий открытости. Далее сформулировано определение абстрактной эквивалентности в терминах существования конструкции открытых морфизмов и доказано, что трассовая эквивалентность совпадает с этой абстрактной эквивалентностью.
format	Article
author	Грибовская, Н.С.
author_facet	Грибовская, Н.С.
author_sort	Грибовская, Н.С.
title	Теоретико-категорная характеризация трассовой эквивалентности для временных автоматных моделей
title_short	Теоретико-категорная характеризация трассовой эквивалентности для временных автоматных моделей
title_full	Теоретико-категорная характеризация трассовой эквивалентности для временных автоматных моделей
title_fullStr	Теоретико-категорная характеризация трассовой эквивалентности для временных автоматных моделей
title_full_unstemmed	Теоретико-категорная характеризация трассовой эквивалентности для временных автоматных моделей
title_sort	теоретико-категорная характеризация трассовой эквивалентности для временных автоматных моделей
publisher	Інститут програмних систем НАН України
publishDate	2004
topic_facet	Теоретические и методологические основы программирования
url	http://dspace.nbuv.gov.ua/handle/123456789/2338
citation_txt	Теоретико-категорная характеризация трассовой эквивалентности для временных автоматных моделей / Н.С. Грибовская// Проблеми програмування 2004. — N 2-3. — С. 16-22. — Бібліогр.: 5 назв. - рос.
work_keys_str_mv	AT gribovskaâns teoretikokategornaâharakterizaciâtrassovojékvivalentnostidlâvremennyhavtomatnyhmodelej
first_indexed	2023-03-24T08:22:49Z
last_indexed	2023-03-24T08:22:49Z
_version_	1796138916619747328

Теоретико-категорная характеризация трассовой эквивалентности для временных автоматных моделей

Similar Items