2025-02-23T13:28:41-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:28:41-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:28:41-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-23T13:28:41-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!

Internet

http://dspace.nbuv.gov.ua/handle/123456789/2338

Similar Items