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 条
  • [21] Pure type systems with subtyping (Extended abstract)
    Zwanenburg, J
    TYPED LAMBDA CALCULI AND APPLICATIONS, 1999, 1581 : 381 - 396
  • [22] Asynchronous active recommendation systems (Extended abstract)
    Awerbuch, Baruch
    Nisgav, Aviv
    Patt-Shamir, Boaz
    PRINCIPLES OF DISTRIBUTED SYSTEMS, PROCEEDINGS, 2007, 4878 : 48 - +
  • [23] Equational systems and free constructions - (EXTENDED ABSTRACT)
    Fiore, Marcelo
    Hur, Chung-Kil
    AUTOMATA, LANGUAGES AND PROGRAMMING, PROCEEDINGS, 2007, 4596 : 607 - +
  • [24] Parameterised boolean equation systems (Extended abstract)
    Groote, JF
    Willemse, T
    CONCUR 2004 - CONCURRENCY THEORY, PROCEEDINGS, 2004, 3170 : 308 - 324
  • [25] EXTENDED STATE DIAGRAMS AND REACTIVE SYSTEMS
    DRUSINSKY, D
    DR DOBBS JOURNAL, 1994, 19 (11): : 72 - &
  • [26] Double Categories of Open Dynamical Systems (Extended Abstract)
    Myers, David Jaz
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (333): : 154 - 167
  • [27] On interactive computation: intelligent tutoring systems - (Extended abstract)
    Garzon, MH
    SOFSEM'99: THEORY AND PRACTICE OF INFORMATICS, 1999, 1725 : 261 - 263
  • [28] COMPOSITIONALITY IN THE TEMPORAL LOGIC OF CONCURRENT SYSTEMS - (EXTENDED ABSTRACT)
    DEBOER, FS
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 366 : 406 - 423
  • [29] Explanations and User Control in Recommender Systems (Extended Abstract)
    Jannach, Dietmar
    Jugovac, Michael
    Nunes, Ingrid
    ABIS'19: PROCEEDINGS OF THE 23RD INTERNATIONAL WORKSHOP ON PERSONALIZATION AND RECOMMENDATION ON THE WEB AND BEYOND, 2019, : 31 - 31
  • [30] Present and Future Challenges for ASP Systems (Extended Abstract)
    Dovier, Agostino
    Pontelli, Enrico
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2009, 5753 : 622 - +
12345