SAFETY AND LIVENESS FROM A METHODOLOGICAL POINT-OF-VIEW

被引：10
|
作者：
DEDERICHS, F
WEBER, R
机构：
[1] Institut für Informatik, Technische Universität München, Arcisstr 21, D-8000 München 2
来源：
INFORMATION PROCESSING LETTERS | 1990年 / 36卷 / 01期
关键词：
distributed systems; liveness; property; Safety; specification methodology;
D O I：
10.1016/0020-0190(90)90181-V
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Methodological sound characterizations of safety and liveness properties, which are relevant for the specification of distributed systems, are given. The recent characterizations by Alpern and Schneider are reviewed and some of their shortcomings are demonstrated. It is shown why they occur and that in our approach they are avoided. Finally some features of these characterizations are proved and their methodological impacts are discussed. © 1990.
引用
收藏
页码：25 / 30
页数：6
相关论文
共 50 条
  • [41] Subdural Hematoma and Oral Anticoagulation: A Therapeutic Dilemma from the Neurosurgical Point of View
    Mirzayan, M. Javad
    Calvelli, Karoline
    Capelle, Hans-Holger
    Weigand, Jessica
    Krauss, Joachim K.
    JOURNAL OF NEUROLOGICAL SURGERY PART A-CENTRAL EUROPEAN NEUROSURGERY, 2016, 77 (01) : 31 - 35
  • [42] Dynamics and stability - A proposal for related terms in Metrology from a mathematical point of view
    Ruhm, Karl H.
    MEASUREMENT, 2016, 79 : 276 - 284
  • [43] Model checking safety and liveness via k-induction and witness refinement with constraint generation
    Timm, Nils
    Gruner, Stefan
    Nxumalo, Madoda
    Botha, Josua
    SCIENCE OF COMPUTER PROGRAMMING, 2020, 200 (200)
  • [44] Point-Counter Point: A Culture of Safety in the NICU?
    Kenner, Carole
    Boykova, Marina
    NEWBORN AND INFANT NURSING REVIEWS, 2015, 15 (02) : 49 - +
  • [45] 'Good Sport': Different Dimensions and Their Constitutive Properties From the Ontological and Moral Point of View
    Mares, Lukas
    PHYSICAL CULTURE AND SPORT STUDIES AND RESEARCH, 2023, 99 (01) : 27 - 42
  • [46] AM-Spaces from a Locally Solid Vector Lattice Point of View with Applications
    Omid Zabeti
    Bulletin of the Iranian Mathematical Society, 2021, 47 : 1559 - 1569
  • [47] Especially targeted traffic survey from ADR category of road tunnel point of view
    Danisovic, Peter
    Hodon, Michal
    Jurecka, Matus
    Hudik, Martin
    XXV POLISH - RUSSIAN - SLOVAK SEMINAR -THEORETICAL FOUNDATION OF CIVIL ENGINEERING, 2016, 153 : 644 - 648
  • [48] SAFETY, ECONOMY AND A BETTER VIEW IN LAPAROSCOPY
    MCCOLL, I
    HOUGHTON, A
    WICKHAM, JEA
    MINIMALLY INVASIVE THERAPY & ALLIED TECHNOLOGIES, 1994, 3 (04): : 239 - 240
  • [49] 100 Years of Occupational Safety Research: From Basic Protections and Work Analysis to a Multilevel View of Workplace Safety and Risk
    Hofmann, David A.
    Burke, Michael J.
    Zohar, Dov
    JOURNAL OF APPLIED PSYCHOLOGY, 2017, 102 (03) : 375 - 388
  • [50] Gastrointestinal Bleeding: a Cardiologist's Point of View
    Averkov, O., V
    Mishchenko, L. N.
    RATIONAL PHARMACOTHERAPY IN CARDIOLOGY, 2021, 17 (05) : 771 - 778
12345