Refining reactive systems using the refinement calculator (Extended abstract)

被引：0
|
作者：
Långbacka, T [1 ]
机构：
[1] Univ Helsinki, Dept Comp Sci, FIN-00014 Helsinki, Finland
来源：
FORMAL METHODS PACIFIC '97 | 1997年
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：307 / 308
页数：2
相关论文
共 50 条
  • [1] Recent developments in the mathematics of reactive systems (extended abstract)
    Gunawardena, J
    CONCUR'97 : CONCURRENCY THEORY, 1997, 1243 : 1 - 4
  • [2] Modular refinement diagrams (Extended abstract)
    de Groot, M
    Robinson, K
    FORMAL METHODS PACIFIC '97, 1997, : 315 - 316
  • [3] Aspects and data refinement - (Extended abstract)
    Avgustinov, Pavel
    Bodden, Eric
    Hajiyev, Elnar
    de Moor, Oege
    Ongkingeo, Neil
    Sereni, Damien
    Sittampalam, Ganesh
    Tibble, Julian
    MATHEMATICS OF PROGRAM CONSSTRUCTION, 2006, 4014 : 5 - 9
  • [4] A tool for logic program refinement (Extended abstract)
    Colvin, R
    Hayes, I
    Nickson, R
    Strooper, P
    FORMAL METHODS PACIFIC '97, 1997, : 289 - 290
  • [5] An editor for refinement structure diagrams (Extended abstract)
    Groves, L
    Tuckwell, I
    FORMAL METHODS PACIFIC '97, 1997, : 301 - 302
  • [6] Transaction decomposition: Refinement of timing constraints (Extended abstract)
    Haveman, J
    FORMAL METHODS PACIFIC '97, 1997, : 303 - 304
  • [7] The refinement calculus of reactive systems
    Preoteasa, Viorel
    Dragomir, Iulia
    Tripakis, Stavros
    INFORMATION AND COMPUTATION, 2022, 285
  • [8] Abstract interpretation of reactive systems
    Dams, D
    Gerth, R
    Grumberg, O
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1997, 19 (02): : 253 - 291
  • [9] INTERFACE REFINEMENT IN REACTIVE SYSTEMS
    GERTH, R
    KUIPER, R
    SEGERS, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 630 : 77 - 93
  • [10] Refinement Calculus of Reactive Systems
    Preoteasa, Viorel
    Tripakis, Stavros
    2014 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE (EMSOFT), 2014,
12345