A False History of True Concurrency: From Petri to Tools

被引：0
作者：
Esparza, Javier [1 ]
机构：
[1] Tech Univ Munich, Inst Informat, D-85748 Garching, Germany
来源：
MODEL CHECKING SOFTWARE | 2010年 / 6349卷
关键词：
SYMBOLIC UNFOLDINGS; BRANCHING-PROCESSES; EVENT STRUCTURES; MODEL-CHECKING; STG UNFOLDINGS; FINITE PREFIX; SYSTEMS; DIAGNOSIS; NETS; BEHAVIOR;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
I briefly review the history of the unfolding approach to model checking.
引用
收藏
页码：180 / 186
页数：7
相关论文
共 50 条
  • [1] Model Checking a Logic for True Concurrency
    Baldan, Paolo
    Padoan, Tommaso
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2020, 21 (04)
  • [2] A Logic for True Concurrency
    Baldan, Paolo
    Crafa, Silvia
    JOURNAL OF THE ACM, 2014, 61 (04)
  • [3] A concurrency-preserving translation from time Petri nets to networks of timed automata
    Balaguer, Sandie
    Chatain, Thomas
    Haar, Stefan
    FORMAL METHODS IN SYSTEM DESIGN, 2012, 40 (03) : 330 - 355
  • [4] Automata for True Concurrency Properties
    Baldan, Paolo
    Padoan, Tommaso
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FOSSACS 2018, 2018, 10803 : 165 - 182
  • [5] High-level Colored Time Petri Nets for true concurrency modeling in real-time software
    Haur, Imane
    Bechennec, Jean-Luc
    Roux, Olivier H.
    2022 8TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT'22), 2022, : 21 - 26
  • [6] Causality versus true-concurrency
    Froeschlea, Sibylle
    Lasota, Slawomir
    THEORETICAL COMPUTER SCIENCE, 2007, 386 (03) : 169 - 187
  • [7] Causality Versus True-Concurrency
    Froschle, Sibylle
    Slasota, Lawomir
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 154 (03) : 3 - 18
  • [8] The true concurrency of differential interaction nets
    Mazza, Damiano
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2018, 28 (07) : 1097 - 1125
  • [9] Filing false vice reports: Distinguishing true from false allegations of rape
    De Zutter, Andre W. E. A.
    Horselenberg, Robert
    van Koppen, Peter J.
    EUROPEAN JOURNAL OF PSYCHOLOGY APPLIED TO LEGAL CONTEXT, 2017, 9 (01) : 1 - 14
  • [10] Elastography - True or False?
    Bachmann-Nielsen, M.
    Saftoiu, A.
    ULTRASCHALL IN DER MEDIZIN, 2011, 32 (01): : 5 - 7
12345