FOUNDATIONS OF COMPOSITIONAL PROGRAM REFINEMENT - SAFETY PROPERTIES .1.

被引：0
|
作者：
GERTH, R
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1990年 / 430卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：777 / 807
页数：31
相关论文
共 50 条
  • [1] Foundations of compositional models: structural properties
    Jirousek, R.
    Kratochvil, V.
    INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 2015, 44 (01) : 2 - 25
  • [2] Verifying safety of a token coherence implementation by parametric compositional refinement
    Burckhardt, S
    Alur, R
    Martin, MMK
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2005, 3385 : 130 - 145
  • [3] COMPOSITIONAL CHARACTERIZATION OF OBSERVABLE PROGRAM PROPERTIES
    STEFFEN, B
    JAY, CB
    MENDLER, M
    RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1992, 26 (05): : 403 - 424
  • [4] THERMODYNAMIC PROPERTIES OF AL-ZN SYSTEM .1. THEORETICAL FOUNDATIONS
    KRUPKOWSKI, A
    BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES TECHNIQUES, 1972, 20 (09): : 729 - +
  • [5] On Vlasov-Manev equations .1. Foundations, properties, and nonglobal existence
    Bobylev, AV
    Dukes, P
    Illner, R
    Victory, HD
    JOURNAL OF STATISTICAL PHYSICS, 1997, 88 (3-4) : 885 - 911
  • [6] THE FOUNDATIONS IN LAW AND MORALITY .1.
    GRUTER, M
    BOHANNAN, P
    JOURNAL OF SOCIAL AND BIOLOGICAL STRUCTURES, 1982, 5 (04) : 313 - 314
  • [7] FOUNDATIONS OF FINSLERIAN RELATIVITY .1.
    ASANOV, GS
    IZVESTIYA VYSSHIKH UCHEBNYKH ZAVEDENII FIZIKA, 1979, (07): : 58 - 62
  • [8] CLINICAL ELECTRORETINOGRAPHY .1. FOUNDATIONS
    BRUNETTE, JR
    CANADIAN JOURNAL OF OPHTHALMOLOGY-JOURNAL CANADIEN D OPHTALMOLOGIE, 1982, 17 (04): : 143 - 149
  • [9] CONSTRUCTIVE FOUNDATIONS OF MATHEMATICS .1.
    WANG, H
    BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1953, 59 (06) : 557 - 558
  • [10] WORK ENRICHMENT .1. FOUNDATIONS
    WARNECKE, HJ
    LENTES, HP
    WERKSTATTSTECHNIK ZEITSCHRIFT FUR INDUSTRIELLE FERTIGUNG, 1973, 63 (09): : 572 - 577
12345