Semantic domains of timed event structures

被引：1
|
作者：
Virbitskaite, I. B. [1 ,2 ]
Dubtsov, R. S. [1 ]
机构：
[1] Russian Acad Sci, Ershov Inst Informat Syst, Siberian Branch, Novosibirsk 630090, Russia
[2] Novosibirsk State Univ, Novosibirsk 630090, Russia
来源：
PROGRAMMING AND COMPUTER SOFTWARE | 2008年 / 34卷 / 03期
基金：
俄罗斯基础研究基金会;
关键词：
D O I：
10.1134/S0361768808030018
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
In the paper, timed extensions of various classes of event structures and marked Scott domains are studied, categories of these models are constructed, and their properties are examined. In addition, based on category-theoretic methods, relationship between the timed structures and marked Scott domains is established.
引用
收藏
页码：125 / 137
页数：13
相关论文
共 50 条
  • [1] Semantic domains of timed event structures
    I. B. Virbitskaite
    R. S. Dubtsov
    Programming and Computer Software, 2008, 34 : 125 - 137
  • [2] Timed equivalences for timed event structures
    Andreeva, MV
    Virbitskaite, IB
    PARALLEL COMPUTING TECHNOLOGIES, 2005, 3606 : 16 - 26
  • [3] EVENT STRUCTURES AND DOMAINS
    DROSTE, M
    THEORETICAL COMPUTER SCIENCE, 1989, 68 (01) : 37 - 47
  • [4] Observational equivalences for timed stable event structures
    Andreeva, Maria V.
    Virbitskaite, Irina B.
    FUNDAMENTA INFORMATICAE, 2006, 72 (1-3) : 1 - 19
  • [5] Model checking on timed-event structures
    Dasgupta, P
    Deka, JK
    Chakrabarti, PP
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2000, 19 (05) : 601 - 611
  • [6] Probabilistic event structures and domains
    Varacca, Daniele
    Voelzer, Hagen
    Winskel, Glynn
    THEORETICAL COMPUTER SCIENCE, 2006, 358 (2-3) : 173 - 199
  • [7] Probabilistic event structures and domains
    Varacca, D
    Völzer, H
    Winskel, G
    CONCUR 2004 - CONCURRENCY THEORY, PROCEEDINGS, 2004, 3170 : 481 - 496
  • [8] Domains and Event Structures for Fusions
    Baldan, Paolo
    Corradini, Andrea
    Gadducci, Fabio
    2017 32ND ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2017,
  • [9] Logic Unification of Behavioral Equivalences of Timed Event Structures
    Gribovskaya N.S.
    Journal of Mathematical Sciences, 2014, 203 (4) : 478 - 489
  • [10] UNIVERSAL HOMOGENEOUS EVENT STRUCTURES AND DOMAINS
    DROSTE, M
    INFORMATION AND COMPUTATION, 1991, 94 (01) : 48 - 61
12345