A HIERARCHY OF COMPOSITIONAL MODELS OF I/O-AUTOMATA

被引：0
|
作者：
JONSSON, B
机构：
[1] SWEDISH INST COMP SCI, STOCKHOLM, SWEDEN
[2] UNIV UPPSALA, DEPT COMP SYST, S-75105 UPPSALA, SWEDEN
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1990年 / 452卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：347 / 354
页数：8
相关论文
共 50 条
  • [31] Compositional Automata Learning of Synchronous Systems
    Neele, Thomas
    Sammartino, Matteo
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2023, 2023, 13991 : 47 - 66
  • [32] A computable and compositional semantics for hybrid automata
    Bresolin, Davide
    Collins, Pieter
    Geretti, Luca
    Segala, Roberto
    Villa, Tiziano
    Gonzalez, Sanja Zivanovic
    [J]. PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (HSCC2020) (PART OF CPS-IOT WEEK), 2020,
  • [33] Compositional Learning for Interleaving Parallel Automata
    Labbaf, Faezeh
    Groote, Jan Friso
    Hojjat, Hossein
    Mousavi, Mohammad Reza
    [J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FOSSACS 2023, 2023, 13992 : 413 - 435
  • [34] Switched probabilistic I/O0 automata
    Cheung, L
    Lynch, N
    Segala, R
    Vaandrager, F
    [J]. THEORETICAL ASPECTS OF COMPUTING - ICTAC 2004, 2005, 3407 : 494 - 510
  • [35] Probabilistic I/O automata: Theories of two equivalences
    Stark, Eugene W.
    Cleaveland, Rance
    Smolka, Scott A.
    [J]. CONCUR 2006 - CONCURRENCY THEORY, PROCEEDINGS, 2006, 4137 : 343 - 357
  • [36] I/O AUTOMATA - A MODEL FOR DISCRETE EVENT SYSTEMS
    LYNCH, N
    [J]. PROCEEDINGS OF THE 22ND CONFERENCE ON INFORMATION SCIENCES AND SYSTEMS, VOLS 1 & 2, 1988, : 29 - 38
  • [37] Task-structured probabilistic I/O automata
    Canetti, Ran
    Cheung, Ling
    Kaynar, Dilsun
    Liskov, Moses
    Lynch, Nancy
    Pereira, Olivier
    Segala, Roberto
    [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2018, 94 : 63 - 97
  • [38] On (I/O)-Aware Good-For-Games Automata
    Faran, Rachel
    Kupferman, Orna
    [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2020), 2020, 12302 : 161 - 178
  • [39] Task-structured Probabilistic I/O automata
    Canetti, Ran
    Cheung, Ling
    Kaynar, Dilsun
    Liskov, Moses
    Lynch, Nancy
    Pereira, Olivier
    Segala, Roberto
    [J]. WODES 2006: EIGHTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, 2006, : 207 - +
  • [40] Effective conformance testing of timed I/O automata
    Zhao, Dong
    Ye, Kejiang
    [J]. Zhengzhou Daxue Xuebao/Journal of Zhengzhou University, 2002, 34 (04):
12345