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 条
  • [31] Traces for coalgebraic components
    Hasuo, Ichiro
    Jacobs, Bart
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2011, 21 (02) : 267 - 320
  • [32] Coalgebraic Predicate Logic
    Litak, Tadeusz
    Pattinson, Dirk
    Sano, Katsuhiko
    Schroder, Lutz
    AUTOMATA, LANGUAGES, AND PROGRAMMING, ICALP 2012, PT II, 2012, 7392 : 299 - 311
  • [33] Types and coalgebraic structure
    Gumm, HP
    Schröder, T
    ALGEBRA UNIVERSALIS, 2005, 53 (2-3) : 229 - 252
  • [34] Coalgebraic Correspondence Theory
    Schroeder, Lutz
    Pattinson, Dirk
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, 2010, 6014 : 328 - +
  • [35] Coalgebraic Symbolic Semantics
    Bonchi, Filippo
    Montanari, Ugo
    ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE, PROCEEDINGS, 2009, 5728 : 173 - 190
  • [36] A coalgebraic view on reachability
    Wissmann, Thorsten
    Milius, Stefan
    Katsumata, Shin-ya
    Dubut, Jeremy
    COMMENTATIONES MATHEMATICAE UNIVERSITATIS CAROLINAE, 2019, 60 (04): : 605 - 638
  • [37] Enhanced coalgebraic bisimulation
    Rot, Jurriaan
    Bonchi, Filippo
    Bonsangue, Marcello
    Pous, Damien
    Rutten, Jan
    Silva, Alexandra
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2017, 27 (07) : 1236 - 1264
  • [38] Categories of Coalgebraic Games
    Honsell, Furio
    Lenisa, Marina
    Redamalla, Rekha
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2012, 2012, 7464 : 503 - 515
  • [39] Coalgebraic Hybrid Logic
    Myers, Rob
    Pattinson, Dirk
    Schroeder, Lutz
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, 2009, 5504 : 137 - +
  • [40] COALGEBRAIC BEHAVIORAL METRICS
    Baldan, Paolo
    Bonchi, Filippo
    Kerstan, Henning
    Koenig, Barbara
    LOGICAL METHODS IN COMPUTER SCIENCE, 2018, 14 (03)
12345