WEAKEST PRECONDITION SEMANTICS FOR TIME AND CONCURRENCY

被引：3
|
作者：
SCHOLEFIELD, D
ZEDAN, HSM
机构：
[1] Formal Systems Research Group, Department of Computer Science, University of York, Heslington, York
来源：
INFORMATION PROCESSING LETTERS | 1992年 / 43卷 / 06期
关键词：
FORMAL SEMANTICS; WEAKEST PRECONDITIONS; REAL-TIME SYSTEMS; CONCURRENCY;
D O I：
10.1016/0020-0190(92)90116-D
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
A weakest precondition semantics for a real-time concurrent language is defined. An example in verification is presented, and the use of predicate transformers as the basis of a refinement calculus is also discussed.
引用
收藏
页码：301 / 308
页数：8
相关论文
共 46 条
  • [31] Semantics foundations of PsyC based on synchronous Logical Execution Time
    Siron, Fabien
    Potop-Butucaru, Dumitru
    de Simone, Robert
    Chabrol, Damien
    Methni, Amira
    2023 CYBER-PHYSICAL SYSTEMS AND INTERNET-OF-THINGS WEEK, CPS-IOT WEEK WORKSHOPS, 2023, : 319 - 324
  • [32] Formal Semantics of the ProCom Real-Time Component Model
    Vulgarakis, Aneta
    Suryadevara, Jagadish
    Carlson, Jan
    Seceleanu, Cristina
    Pettersson, Paul
    2009 35TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS, PROCEEDINGS, 2009, : 478 - 485
  • [33] FAILURE TRACE SEMANTICS FOR A PROCESS ALGEBRA WITH TIME-OUTS
    Van Glabbeek, Rob
    LOGICAL METHODS IN COMPUTER SCIENCE, 2021, 17 (02)
  • [34] Timing and concurrency specification in component-based real-time embedded systems development
    Ledang, Hung
    Van Hung, Dang
    TASE 2007: FIRST JOINT IEEE/IFIP SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2007, : 293 - +
  • [35] Dynamic Meta Modeling with time: Specifying the semantics of multimedia sequence diagrams
    Jan Hendrik Hausmann
    Reiko Heckel
    Stefan Sauer
    Software & Systems Modeling, 2004, 3 (3) : 181 - 193
  • [36] Impacts of concurrency, iteration, design review, and problem complexity on design project lead time and error generation
    Le, H. Nam
    Cwynn, David
    Clarkson, P. John
    CONCURRENT ENGINEERING-RESEARCH AND APPLICATIONS, 2012, 20 (01): : 55 - 67
  • [37] Concurrency control for two level mobile real-time transactions in screw data broadcasting systems
    Dang, Depeng
    Zhang, Nan
    Xu, Juan
    Huazhong Keji Daxue Xuebao (Ziran Kexue Ban)/Journal of Huazhong University of Science and Technology (Natural Science Edition), 2015, 43 (07): : 114 - 117
  • [38] Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude
    Sabahi-Kaviani, Zeynab
    Khosravi, Ramtin
    Olveczky, Peter Csaba
    Khamespanah, Ehsan
    Sirjani, Marjan
    SCIENCE OF COMPUTER PROGRAMMING, 2015, 113 : 85 - 118
  • [39] An AsmL semantics for dynamic structures and run time schedulability in UML-RT
    Leue, Stefan
    Stefanescu, Alin
    Wei, Wei
    OBJECTS, COMPONENTS, MODELS AND PATTERNS, 2008, 11 : 238 - +
  • [40] Evolving a model of transaction management with concurrency control for multilevel secure distributed real-time database systems
    Vadivelu, Veluchandhar
    Rabara, S. Albert
    PROCEEDINGS OF THE 7TH WSEAS INTERNATIONAL CONFERENCE ON APPLIED COMPUTER SCIENCE: COMPUTER SCIENCE CHALLENGES, 2007, : 127 - 133
12345