Abstract | ||
---|---|---|
Fairness is defined for an abstract class of formal systems that represent models for true concurrency. It is shown that generally fairness coincides with limits of convergent sequences in some ultra metric spaces and with
3
0
-sets of recursion theory. |
Year | DOI | Venue |
---|---|---|
1991 | 10.1007/3-540-54430-5_106 | CONCUR |
Keywords | Field | DocType |
true concurrency,metric space,recursion theory | Transition system,Discrete mathematics,Formal system,Concurrency,Computer science,Computability theory,Theoretical computer science,Mutual recursion,Metric space | Conference |
Volume | ISSN | ISBN |
527 | 0302-9743 | 3-540-54430-5 |
Citations | PageRank | References |
1 | 0.36 | 18 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Doris Nolte | 1 | 11 | 2.50 |
Lutz Priese | 2 | 240 | 31.41 |