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 条
  • [31] Concurrent Kleene Algebra and its Foundations
    Hoare, Tony
    Moeller, Bernhard
    Struth, Georg
    Wehrman, Ian
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2011, 80 (06): : 266 - 296
  • [32] On Hoare logic, Kleene algebra, and types
    Kozen, D
    IN THE SCOPE OF LOGIC: METHODOLOGY & PHILOSOPHY OF SCIENCE, 2002, 315 : 119 - 133
  • [33] An axiomatization of arrays for Kleene algebra with tests
    Aboul-Hosn, Kamal
    RELATIONS AND KLEENE ALGEBRA IN COMPUTER SCIENCE, PROCEEDINGS, 2006, 4136 : 63 - 77
  • [34] Modal Kleene algebra and partial correctness
    Möller, B
    Struth, G
    ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY: PROCEEDINGS, 2004, 3116 : 379 - 393
  • [35] Kleene Algebra of Weighted Programs with Domain
    Sedlar, Igor
    DYNAMIC LOGIC. NEW TRENDS AND APPLICATIONS, DALI 2023, 2024, 14401 : 52 - 67
  • [36] A coalgebraic approach to Kleene algebra with tests
    Chen, HB
    Pucella, R
    THEORETICAL COMPUTER SCIENCE, 2004, 327 (1-2) : 23 - 44
  • [37] On the expressive power of Kleene algebra with domain
    Struth, Georg
    INFORMATION PROCESSING LETTERS, 2016, 116 (04) : 284 - 288
  • [38] Investigating discrete controllability with Kleene algebra
    Bherer, H
    Desharnais, J
    Frappier, M
    St-Denis, R
    RELATIONAL AND KLEENE-ALGEBRAIC METHODS IN COMPUTER SCIENCE, 2003, 3051 : 74 - 85
  • [39] Weak Kleene algebra and computation trees
    Cohen, Ernie
    RELATIONS AND KLEENE ALGEBRA IN COMPUTER SCIENCE, PROCEEDINGS, 2006, 4136 : 1 - 1
  • [40] A Kleene Algebra of Tagged System Actors
    Dey, Soumyajit
    Sarkar, Dipankar
    Basu, Anupam
    IEEE EMBEDDED SYSTEMS LETTERS, 2011, 3 (01) : 28 - 31
12345