Bounded concurrency

被引：0
|
作者：
Gruska, DP [1 ]
机构：
[1] Comenius Univ, Inst Informat, Bratislava 84215, Slovakia
来源：
FUNDAMENTALS OF COMPUTATION THEORY, PROCEEDINGS | 1997年 / 1279卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We will study systems for which a maximal number of concurrently executing (time consuming) actions is statically fixed. Two possible mechanisms of executions of actions are studied. Either the executions can be interrupted or they cannot. In the former case we show that equivalent processes remain equivalent when the number of resources (processors) which they have at disposal is changed. In the latter case, equivalences parameterized by the number of resources create a strictly decreasing hierarchy.
引用
收藏
页码：198 / 209
页数：12
相关论文
共 50 条
  • [1] A THESIS FOR BOUNDED CONCURRENCY
    HAREL, D
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 379 : 35 - 48
  • [2] Alternation and bounded concurrency are reverse equivalent
    Hirst, T
    Lewenstein, M
    INFORMATION AND COMPUTATION, 1999, 152 (02) : 173 - 187
  • [3] Queries on XmL streams with bounded delay and concurrency
    Gauwin, Olivier
    Niehren, Joachim
    Tison, Sophie
    INFORMATION AND COMPUTATION, 2011, 209 (03) : 409 - 442
  • [4] Bounded Delay and Concurrency for Earliest Query Answering
    Gauwin, Olivier
    Niehren, Joachim
    Tison, Sophie
    LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, 2009, 5457 : 350 - +
  • [5] Safe Replication through Bounded Concurrency Verification
    Kaki, Gowtham
    Earanky, Kapil
    Sivaramakrishnan, Kc
    Jagannathan, Suresh
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2018, 2 (OOPSLA):
  • [6] On the power of bounded concurrency I: Finite automata
    Drusinsky, Doron, 1600, Publ by ACM, New York, NY, United States (41):
  • [7] BOUNDED QUANTIFICATIONS FOR ITERATION AND CONCURRENCY IN LOGIC PROGRAMMING
    BARKLUND, J
    NEW GENERATION COMPUTING, 1994, 12 (02) : 161 - 182
  • [8] From Bounded to Unbounded Concurrency Objects and Back
    Afek, Yehuda
    Morrison, Adam
    Wertheim, Guy
    PODC 11: PROCEEDINGS OF THE 2011 ACM SYMPOSIUM PRINCIPLES OF DISTRIBUTED COMPUTING, 2011, : 119 - 128
  • [9] Bounded inconsistency for type-specific concurrency control
    Wong, MH
    Agrawal, D
    Mak, HK
    DISTRIBUTED AND PARALLEL DATABASES, 1997, 5 (01) : 31 - 75
  • [10] Multiversion Concurrency with Bounded Delay and Precise Garbage Collection
    Ben-David, Naama
    Blelloch, Guy E.
    Sun, Yihan
    Wei, Yuanhao
    SPAA'19: PROCEEDINGS OF THE 31ST ACM SYMPOSIUM ON PARALLELISM IN ALGORITHMS AND ARCHITECTURESS, 2019, 2019, : 241 - 252
12345