On hoare logic and Kleene algebra with tests

被引：0
|
作者：
Cornell Univ, Ithaca, United States [1 ]
机构：
来源：
Proc Symp Logic Comput Sci | / 167-172期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] Synchronous Kleene algebra
    Prisacariu, Cristian
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2010, 79 (07): : 608 - 635
  • [32] Pointer kleene algebra
    Ehm, T
    RELATIONAL AND KLEENE-ALGEBRAIC METHODS IN COMPUTER SCIENCE, 2003, 3051 : 99 - 111
  • [33] Kleene algebra with domain
    Desharnais, Jules
    Moeller, Bernhard
    Struth, Georg
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2006, 7 (04) : 798 - 833
  • [34] Kleene Algebra with Converse
    Brunet, Paul
    Pous, Damien
    RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE (RAMICS 2014), 2014, 8428 : 101 - 118
  • [35] Kleene Algebra with Equations
    Kozen, Dexter
    Mamouras, Konstantinos
    AUTOMATA, LANGUAGES, AND PROGRAMMING (ICALP 2014), PT II, 2014, 8573 : 280 - 292
  • [36] Kleene algebra with relations
    Desharnais, J
    RELATIONAL AND KLEENE-ALGEBRAIC METHODS IN COMPUTER SCIENCE, 2003, 3051 : 8 - 20
  • [37] Concurrent Kleene Algebra
    Hoare, C. A. R. Tony
    Moeller, Bernhard
    Struth, Georg
    Wehrman, Ian
    CONCUR 2009 - CONCURRENCY THEORY, PROCEEDINGS, 2009, 5710 : 399 - +
  • [38] Lazy Kleene algebra
    Möller, B
    MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, 2004, 3125 : 252 - 273
  • [39] From Kleene algebra to refinement algebra
    von Wright, J
    MATHEMATICS OF PROGRAM CONSTRUCTION, 2002, 2386 : 233 - 262
  • [40] Algorithms for Kleene algebra with converse
    Brunet, Paul
    Pous, Damien
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2016, 85 (04) : 574 - 594
12345