TEMPORAL PREDICATE TRANSFORMERS AND FAIR TERMINATION

被引：0

|

作者：

MORRIS, JM

机构：

来源：

ACTA INFORMATICA | 1990年 / 27卷 / 04期

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：287 / 313

页数：27

相关论文

共 50 条

[21] Predicate transformers for recursive procedures with local variables
Hesselink, Wim H.
Formal Aspects of Computing, 11 (06): : 616 - 636
[22] INDUCTIVE DATA-TYPES FOR PREDICATE TRANSFORMERS
DEMOOR, O
INFORMATION PROCESSING LETTERS, 1992, 43 (03) : 113 - 117
[23] Monotone predicate transformers as up-closed multirelations
Rewitzky, Ingrid
Brink, Chris
RELATIONS AND KLEENE ALGEBRA IN COMPUTER SCIENCE, PROCEEDINGS, 2006, 4136 : 311 - 327
[24] Predicate transformers in the context of symbolic modeling of transition systems
A. B. Godlevsky
Cybernetics and Systems Analysis, 2010, 46 (4) : 602 - 608
[25] Ambiguous Representations of Semilattices, Imperfect Information, and Predicate Transformers
Oleh Nykyforchyn
Oksana Mykytsey
Order, 2020, 37 : 319 - 339
[26] Predicate transformers for extended probability and non-determinism
Keimel, Klaus
Plotkin, Gordon D.
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2009, 19 (03) : 501 - 539
[27] Ambiguous Representations of Semilattices, Imperfect Information, and Predicate Transformers
Nykyforchyn, Oleh
Mykytsey, Oksana
ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, 2020, 37 (02): : 319 - 339
[28] PREDICATE TRANSFORMERS IN THE CONTEXT OF SYMBOLIC MODELING OF TRANSITION SYSTEMS
Godlevsky, A. B.
CYBERNETICS AND SYSTEMS ANALYSIS, 2010, 46 (04) : 602 - 608
[29] A Relation-Algebraic Approach to Multirelations and Predicate Transformers
Berghammer, Rudolf
Guttmann, Walter
MATHEMATICS OF PROGRAM CONSTRUCTION, MPC 2015, 2015, 9129 : 50 - 70
[30] Tree schemata and fair termination
Mauborgne, L
STATIC ANALYSIS, 2000, 1824 : 302 - 321

← 1 2 3 4 5 →