A Coalgebraic Decision Procedure for NetKAT

被引：0
|
作者：
Foster, Nate [1 ]
Kozen, Dexter [1 ]
Milano, Matthew [1 ]
Silva, Alexandra [2 ]
Thompson, Laure [1 ]
机构：
[1] Cornell University, Ithaca,NY, United States
[2] Radboud University Nijmegen, Nijmegen, Netherlands
来源：
ACM SIGPLAN Notices | 2015年 / 50卷 / 01期
关键词：
D O I：
10.1145/2676726.2677011
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：343 / 355
相关论文
共 50 条
  • [21] Coalgebraic Logics & Duality
    Kupke, Clemens
    COALGEBRAIC METHODS IN COMPUTER SCIENCE (CMCS 2018), 2018, 11202 : 6 - 12
  • [22] DECISION-MAKING PROCEDURE AND DECISION QUALITY
    BURLESON, BR
    LEVINE, BJ
    SAMTER, W
    HUMAN COMMUNICATION RESEARCH, 1984, 10 (04) : 557 - 574
  • [23] Coalgebraic Quantum Computation
    Roumen, Frank
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (158): : 29 - 38
  • [24] Equational Coalgebraic Logic
    Kurz, Alexander
    Leal, Raul
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 249 : 333 - 356
  • [25] Coalgebraic Update Lenses
    Ahman, Danel
    Uustalu, Tarmo
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2014, 308 : 25 - 48
  • [26] Types and coalgebraic structure
    H. Peter Gumm
    Tobias Schröder
    algebra universalis, 2005, 53 : 229 - 252
  • [27] Modal Logics are Coalgebraic
    Cirstea, Corina
    Kurz, Alexander
    Pattinson, Dirk
    Schroeder, Lutz
    Venema, Yde
    COMPUTER JOURNAL, 2011, 54 (01): : 31 - 41
  • [28] On a coalgebraic view on Logic
    Hofmann, Dirk
    Martins, Manuel A.
    JOURNAL OF LOGIC AND COMPUTATION, 2013, 23 (05) : 1097 - 1106
  • [29] Exercises in coalgebraic specification
    Jacobs, B
    ALGEBRAIC AND COALGEBRAIC METHODS IN THE MATHEMATICS OF PROGRAM CONSTRUCTION, 2002, 2297 : 237 - 280
  • [30] A coalgebraic semantics of subtyping
    Poll, E
    RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 2001, 35 (01): : 61 - 81
12345