MULTIPLE PROPOSITIONAL DYNAMIC LOGIC OF PARALLEL PROGRAMS

被引：0
|
作者：
DANECKI, R
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1988年 / 324卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：240 / 248
页数：9
相关论文
共 50 条
  • [1] PROPOSITIONAL DYNAMIC LOGIC OF REGULAR PROGRAMS
    FISCHER, MJ
    LADNER, RE
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1979, 18 (02) : 194 - 211
  • [2] A Propositional Dynamic Logic for CCS programs
    Benevides, Mario R. F.
    Schechter, L. Menasche
    LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, 2008, 5110 : 83 - 97
  • [3] Propositional dynamic logic with recursive programs
    Löding, C
    Serre, O
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2006, 3921 : 292 - 306
  • [4] PROPOSITIONAL DYNAMIC LOGIC OF NONREGULAR PROGRAMS
    HAREL, D
    PNUELI, A
    STAVI, J
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1983, 26 (02) : 222 - 243
  • [5] Propositional dynamic logic with recursive programs
    Loeding, Christof
    Lutz, Carsten
    Serre, Olivier
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2007, 73 (1-2): : 51 - 69
  • [6] SEMANTICS OF LOOPING PROGRAMS IN PROPOSITIONAL DYNAMIC LOGIC
    BERMAN, F
    MATHEMATICAL SYSTEMS THEORY, 1982, 15 (04): : 285 - 294
  • [7] Propositional Dynamic Logic with Storing, Recovering and Parallel Composition
    Benevides, Mario R. F.
    de Freitas, Renata
    Viana, Petrucio
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2011, 269 : 95 - 107
  • [8] Propositional dynamic logic of context-free programs and fixpoint logic with chop
    Lange, Martin
    Somla, Rafal
    INFORMATION PROCESSING LETTERS, 2006, 100 (02) : 72 - 75
  • [9] Propositional Dynamic Logic for Higher-Order Functional Programs
    Satake, Yuki
    Unno, Hiroshi
    COMPUTER AIDED VERIFICATION (CAV 2018), PT I, 2018, 10981 : 105 - 123
  • [10] THE PROPOSITIONAL DYNAMIC LOGIC OF DETERMINISTIC, WELL-STRUCTURED PROGRAMS
    HALPERN, JY
    REIF, JH
    THEORETICAL COMPUTER SCIENCE, 1983, 27 (1-2) : 127 - 165
12345