A SURVEY ON THE DECIDABILITY QUESTIONS FOR CLASSES OF FIFO NETS

被引：0
|
作者：
FINKEL, A
ROSIER, L
机构：
[1] UNIV MONTREAL, MONTREAL H3C 3J7, QUEBEC, CANADA
[2] CTR RECH INFORMAT MONTREAL, MONTREAL H3G 1N2, QUEBEC, CANADA
[3] UNIV TEXAS, DEPT COMP SCI, AUSTIN, TX 78712 USA
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1988年 / 340卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：106 / 132
页数：27
相关论文
共 50 条
  • [31] DECIDABILITY RESULTS FOR SOME CLASSES OF PROPOSITIONAL CALCULI
    ULRICH, D
    JOURNAL OF SYMBOLIC LOGIC, 1970, 35 (02) : 353 - &
  • [32] DECIDABILITY OF IDENTITIES PROBLEM IN SOME CLASSES OF ALGEBRAS
    MUZALEWSKI, M
    BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1975, 23 (01): : 7 - 9
  • [33] Decidability questions related to abstract numeration systems
    Honkala, J
    Rigo, M
    DISCRETE MATHEMATICS, 2004, 285 (1-3) : 329 - 333
  • [34] On the Decidability of Non Interference over Unbounded Petri Nets
    Best, Eike
    Darondeau, Philippe
    Gorrieri, Roberto
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (51): : 16 - 33
  • [35] QUESTIONS OF DECIDABILITY AND UNDECIDABILITY IN NUMBER-THEORY
    MAZUR, B
    JOURNAL OF SYMBOLIC LOGIC, 1994, 59 (02) : 353 - 371
  • [36] Inverse monoids: Decidability and complexity of algebraic questions
    Lohrey, M
    Ondrusch, N
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2005, PROCEEDINGS, 2005, 3618 : 664 - 675
  • [37] Decidability results in First–Order Hybrid Petri Nets
    Fabio Balduzzi
    Angela Di Febbraro
    Alessandro Giua
    Carla Seatzu
    Discrete Event Dynamic Systems, 2001, 11 : 41 - 57
  • [38] Decidability of Weak Simulation on One-counter Nets
    Hofman, Piotr
    Mayr, Richard
    Totzke, Patrick
    2013 28TH ANNUAL IEEE/ACM SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2013, : 203 - 212
  • [39] Decidability of properties of timed-arc Petri nets
    Escrig, DD
    Ruiz, VV
    Alonso, OM
    APPLICATION AND THEORY OF PETRI NETS 2000, PROCEEDINGS, 2000, 1825 : 187 - 206
  • [40] DECIDABILITY AND INVARIANT CLASSES FOR DEGREE-STRUCTURES
    LERMAN, M
    SHORE, RA
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1988, 310 (02) : 669 - 692
12345