Compositional abstraction of CSPZ processes

被引：0
|
作者：
Centre of Informatics, Federal University of Pernambuco, Cidade Universitaria, P.O. Box 7851, 50732-970 - Recife - PE, Brazil [1 ]
机构：
来源：
Journal of the Brazilian Computer Society | 2008年 / 14卷 / 02期
关键词：
D O I：
10.1590/S0104-65002008000200003
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：23 / 44
相关论文
共 50 条
  • [31] Compositional Synthesis of Discrete Event Systems Using Synthesis Abstraction
    Mohajerani, Sahar
    Malik, Robi
    Ware, Simon
    Fabian, Martin
    2011 CHINESE CONTROL AND DECISION CONFERENCE, VOLS 1-6, 2011, : 1549 - 1554
  • [32] Model checking, automated abstraction, and compositional verification of Rebeca models
    Sirjani, M
    Movaghar, A
    Shali, A
    de Boer, FS
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2005, 11 (06) : 1054 - 1082
  • [33] Abstraction Techniques for Compositional State-based Scheduling Analysis
    Gezgin, Tayfun
    Henkler, Stefan
    Rettberg, Achim
    Stierand, Ingo
    2012 BRAZILIAN SYMPOSIUM ON COMPUTING SYSTEM ENGINEERING (SBESC 2012), 2012, : 166 - 171
  • [34] Compositional proofs for networks of processes
    Trakhtenbrot, B.A.
    Fundamenta Informaticae, 1994, 20 (1-3)
  • [35] A compositional framework for Markov processes
    Baez, John C.
    Fong, Brendan
    Pollard, Blake S.
    JOURNAL OF MATHEMATICAL PHYSICS, 2016, 57 (03)
  • [36] Compositional Properties of Sequential Processes
    Zhan, Naijun
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 118 : 111 - 128
  • [37] COMPOSITIONAL VERIFICATION OF PROBABILISTIC PROCESSES
    LARSEN, KG
    SKOU, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 630 : 456 - 471
  • [38] Compositional verification of CCS processes
    Dam, M
    Gurov, D
    PERSPECTIVES OF SYSTEM INFORMATICS, 2000, 1755 : 247 - 256
  • [39] The Compositional Construction of Markov Processes
    Albasini, Luisa de Francesco
    Sabadini, Nicoletta
    Walters, Robert F. C.
    APPLIED CATEGORICAL STRUCTURES, 2011, 19 (01) : 425 - 437
  • [40] The Compositional Construction of Markov Processes
    Luisa de Francesco Albasini
    Nicoletta Sabadini
    Robert F. C. Walters
    Applied Categorical Structures, 2011, 19 : 425 - 437
12345