NORMAL HYPERBOLICITY AND LINEARIZABILITY

被引：4
|
作者：
VANSTRIEN, SJ
机构：
来源：
INVENTIONES MATHEMATICAE | 1987年 / 87卷 / 02期
关键词：
D O I：
10.1007/BF01389422
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：377 / 384
页数：8
相关论文
共 50 条
  • [41] On linearizability of strict feedforward systems
    Tall, Issa Amadou
    Respondek, Witold
    [J]. 2008 AMERICAN CONTROL CONFERENCE, VOLS 1-12, 2008, : 1929 - +
  • [42] A Generic Logic for Proving Linearizability
    Khyzha, Artem
    Gotsman, Alexey
    Parkinson, Matthew
    [J]. FM 2016: FORMAL METHODS, 2016, 9995 : 426 - 443
  • [43] Root Causing Linearizability Violations
    Cirisci, Berk
    Enea, Constantin
    Farzan, Azadeh
    Mutluergil, Suha Orhun
    [J]. COMPUTER AIDED VERIFICATION (CAV 2020), PT I, 2020, 12224 : 350 - 375
  • [44] A geometric characterization of smooth linearizability
    McSwiggen, PD
    [J]. MICHIGAN MATHEMATICAL JOURNAL, 1996, 43 (02) : 321 - 335
  • [45] Proving Linearizability of Concurrent Queues
    Peng, Jie
    Wen, Tangliu
    Jiang, Dongming
    [J]. Journal of Computers (Taiwan), 2024, 35 (05) : 91 - 103
  • [46] Linearizability of the perturbed Burgers equation
    Kraenkel, RA
    Pereira, JG
    Neto, ECD
    [J]. PHYSICAL REVIEW E, 1998, 58 (02) : 2526 - 2530
  • [47] Relating trace refinement and linearizability
    Smith, Graeme
    Winter, Kirsten
    [J]. FORMAL ASPECTS OF COMPUTING, 2017, 29 (06) : 935 - 950
  • [48] On the linearizability of 3-webs
    Grifone, J
    Muzsnay, Z
    Saab, J
    [J]. NONLINEAR ANALYSIS-THEORY METHODS & APPLICATIONS, 2001, 47 (04) : 2643 - 2654
  • [49] Linearizability problem of persistent centers
    Mencinger, Matej
    Fercec, Brigita
    Fernandes, Wilker
    Oliveira, Regilene
    [J]. ELECTRONIC JOURNAL OF QUALITATIVE THEORY OF DIFFERENTIAL EQUATIONS, 2018, (37) : 1 - 27
  • [50] Quasi-Linearizability is Undecidable
    Wang, Chao
    Lv, Yi
    Liu, Gaoang
    Wu, Peng
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2015, 2015, 9458 : 369 - 386
12345