Multirelations with infinite computations

被引：6
|
作者：
Guttmann, Walter [1 ]
机构：
[1] Univ Canterbury, Dept Comp Sci & Software Engn, Christchurch, New Zealand
来源：
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING | 2014年 / 83卷 / 02期
关键词：
Approximation order; Median; Multirelations; Program semantics; Relations; RelView; Sequential computations; GENERAL CORRECTNESS; NONDETERMINISM; ALGEBRAS;
D O I：
10.1016/j.jlap.2014.02.008
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Multirelations model computations with both angelic and demonic non-determinism. We extend multirelations to represent finite and infinite computations independently. We derive an approximation order for multirelations assuming only that the endless loop is its least element and that the lattice operations are isotone. We use relations, relation algebra and RelView for representing and calculating with multirelations and for finding the approximation order. (C) 2014 Elsevier Inc. All rights reserved.
引用
收藏
页码：194 / 211
页数：18
相关论文
共 50 条
  • [1] INFINITE ARRAYS AND INFINITE COMPUTATIONS
    SIROMONEY, R
    DARE, VR
    SUBRAMANIAN, KG
    [J]. THEORETICAL COMPUTER SCIENCE, 1983, 24 (02) : 195 - 205
  • [2] Infinite fuzzy computations
    Rahonis, G
    [J]. FUZZY SETS AND SYSTEMS, 2005, 153 (02) : 275 - 288
  • [3] Infinite Computations with Random Oracles
    Carl, Merlin
    Schlicht, Philipp
    [J]. NOTRE DAME JOURNAL OF FORMAL LOGIC, 2017, 58 (02) : 249 - 270
  • [4] Infinite computations and a hierarchy in Δ3
    Rovan, Branislav
    Steskal, Lubos
    [J]. COMPUTATION AND LOGIC IN THE REAL WORLD, PROCEEDINGS, 2007, 4497 : 660 - +
  • [5] Wadge Reducibility and Infinite Computations
    Selivanov, Victor
    [J]. MATHEMATICS IN COMPUTER SCIENCE, 2008, 2 (01) : 5 - 36
  • [6] REASONING ABOUT INFINITE COMPUTATIONS
    VARDI, MY
    WOLPER, P
    [J]. INFORMATION AND COMPUTATION, 1994, 115 (01) : 1 - 37
  • [7] The limit view of infinite computations
    Klarlund, N
    [J]. CONCUR '94: CONCURRENCY THEORY, 1994, 836 : 351 - 366
  • [8] COMPUTATIONS OVER INFINITE GROUPS
    CAI, JY
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 529 : 22 - 32
  • [9] Decision Times of Infinite Computations
    Carl, Merlin
    Schlicht, Philipp
    Welch, Philip
    [J]. NOTRE DAME JOURNAL OF FORMAL LOGIC, 2022, 63 (02) : 197 - 212
  • [10] Numerical computations of infinite products
    Ibrahim, AK
    Rakha, MA
    [J]. APPLIED MATHEMATICS AND COMPUTATION, 2005, 161 (01) : 271 - 283
12345