Abstract | ||
---|---|---|
For programs represented semantically as relations, a concept of semantic independence is defined that is more general than previously stated notions. It allows for shared input variables and irrelevant interference in the presence of nondeterminism. |
Year | DOI | Venue |
---|---|---|
1995 | 10.1016/0020-0190(94)00168-X | Inf. Process. Lett. |
Keywords | Field | DocType |
generalized notion,semantic independence,parallel computer,relational semantics,parallel computation | Discrete mathematics,Kripke semantics,Proof theory,Semantic relation,Interference (wave propagation),Mathematics | Journal |
Volume | Issue | ISSN |
53 | 1 | 0020-0190 |
Citations | PageRank | References |
1 | 0.36 | 3 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Martin Fränzle | 1 | 786 | 61.58 |
Bernhard von Stengel | 2 | 275 | 38.51 |
Arne Wittmüss | 3 | 1 | 0.36 |