Abstract | ||
---|---|---|
. Two notions for comparing the efficiencies of equivalent concurrentsystems have been developed and axiomatized in [1] and [2]. RecentlyNatarajan and Cleaveland have defined a notion of testing [6]which incorporates these ideas as an extension of the testing methodology([3], [4]). Their extension bounds the run of a test in an effort tocompare processes for their relative efficiencies, measured in terms of theamount of internal activity in a process.In this paper we explore the... |
Year | DOI | Venue |
---|---|---|
1996 | 10.1007/3-540-62034-6_41 | FSTTCS |
Keywords | Field | DocType |
testing processes,relative efficiency | Discrete mathematics,Computer science,Selection rule | Conference |
ISBN | Citations | PageRank |
3-540-62034-6 | 1 | 0.37 |
References | Authors | |
5 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Kamal Jain | 1 | 3563 | 295.66 |
S. Arun-Kumar | 2 | 48 | 4.95 |