Kleene algebra with relations

被引：0
|
作者：
Desharnais, J [1 ]
机构：
[1] Univ Laval, Dept Informat & Genie Logiciel, St Foy, PQ G1K 7P4, Canada
来源：
RELATIONAL AND KLEENE-ALGEBRAIC METHODS IN COMPUTER SCIENCE | 2003年 / 3051卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Matrices over a Kleene algebra with tests themselves form a Kleene algebra. The matrices whose entries are tests form an algebra of relations if the converse of a matrix is defined as its transpose. Abstracting from this concrete setting yields the concept of Kleene algebra with relations.
引用
收藏
页码：8 / 20
页数：13
相关论文
共 50 条
  • [1] Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra
    Foster, Simon
    Ye, Kangfeng
    Cavalcanti, Ana
    Woodcock, Jim
    RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE, 2018, 11194 : 205 - 224
  • [2] Kleene Algebra with Hypotheses
    Doumane, Amina
    Kuperberg, Denis
    Pous, Damien
    Pradic, Pierre
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FOSSACS 2019, 2019, 11425 : 207 - 223
  • [3] Synchronous Kleene algebra
    Prisacariu, Cristian
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2010, 79 (07): : 608 - 635
  • [4] Pointer kleene algebra
    Ehm, T
    RELATIONAL AND KLEENE-ALGEBRAIC METHODS IN COMPUTER SCIENCE, 2003, 3051 : 99 - 111
  • [5] Kleene algebra with domain
    Desharnais, Jules
    Moeller, Bernhard
    Struth, Georg
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2006, 7 (04) : 798 - 833
  • [6] Kleene Algebra with Converse
    Brunet, Paul
    Pous, Damien
    RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE (RAMICS 2014), 2014, 8428 : 101 - 118
  • [7] Kleene Algebra with Equations
    Kozen, Dexter
    Mamouras, Konstantinos
    AUTOMATA, LANGUAGES, AND PROGRAMMING (ICALP 2014), PT II, 2014, 8573 : 280 - 292
  • [8] Concurrent Kleene Algebra
    Hoare, C. A. R. Tony
    Moeller, Bernhard
    Struth, Georg
    Wehrman, Ian
    CONCUR 2009 - CONCURRENCY THEORY, PROCEEDINGS, 2009, 5710 : 399 - +
  • [9] Kleene algebra with tests
    Kozen, D
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1997, 19 (03): : 427 - 443
  • [10] Lazy Kleene algebra
    Möller, B
    MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, 2004, 3125 : 252 - 273
12345