MODAL LOGIC OF CONCURRENT NONDETERMINISTIC PROGRAMS.

被引：0
作者：
Abrahamson, Karl
机构：
来源：
Instrument Maintenance Management | 1979年 / 70卷
基金：
美国国家科学基金会;
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
A description is given of a logic, L, for reasoning about concurrent programs. Programs are similar to those of dynamic logic, with a shuffle operator included. L is a modal logic. The modalities included are extended by constraints, so that they can be used to express assertions such as ″p holds as long as q does.″ Programs contain labels. Using labels, it is possible to isolate the behavior of a single process or segment of a process, while at the same time keeping the segment in the context of the whole parallel system. A certain subset of the propositional case of L is known to be decidable.
引用
收藏
页码：21 / 33
相关论文
共 50 条
  • [21] Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes
    Marco Bernardo
    Rocco De Nicola
    Michele Loreti
    [J]. Acta Informatica, 2015, 52 : 61 - 106
  • [22] Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes
    Bernardo, Marco
    De Nicola, Rocco
    Loreti, Michele
    [J]. ACTA INFORMATICA, 2015, 52 (01) : 61 - 106
  • [23] The impact of outcomes measurement logic in aging network programs.
    Karuza, J
    [J]. GERONTOLOGIST, 2001, 41 : 78 - 78
  • [24] HOARE LOGIC FOR NONDETERMINISTIC REGULAR PROGRAMS - A NONSTANDARD COMPLETENESS THEOREM
    HORTALAGONZALEZ, T
    RODRIGUEZARTALEJO, M
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 194 : 270 - 280
  • [25] Learning Disjunctive Logic Programs from Nondeterministic Interpretation Transitions
    Huang, Yi
    Wang, Yisong
    You, Jia-Huai
    Zhang, Mingyi
    Zhang, Ying
    [J]. NEW GENERATION COMPUTING, 2021, 39 (01) : 273 - 301
  • [26] Learning Disjunctive Logic Programs from Nondeterministic Interpretation Transitions
    Yi Huang
    Yisong Wang
    Jia-Huai You
    Mingyi Zhang
    Ying Zhang
    [J]. New Generation Computing, 2021, 39 : 273 - 301
  • [27] STRUCTURING LOGIC PROGRAMS - A MODAL APPROACH
    GIORDANO, L
    MARTELLI, A
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1994, 21 (02): : 59 - 94
  • [28] Sequentiality analysis for concurrent logic programs
    Kato, N
    Ueda, K
    [J]. 6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XI, PROCEEDINGS: COMPUTER SCIENCE II, 2002, : 329 - 336
  • [29] Linearity analysis of concurrent logic programs
    Ueda, K
    [J]. PARALLEL AND DISTRIBUTED COMPUTING FOR SYMBOLIC AND IRREGULAR APPLICATIONS, 2000, : 253 - 270
  • [30] A Separation Logic for Concurrent Randomized Programs
    Tassarotti, Joseph
    Harper, Robert
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (POPL):
12345