![]() | ![]() |
1990 | ||
---|---|---|
2 | Tzilla Elrad, N. Krishna Kumar: State-Space Abstraction of Concurrent Programs: A Means to Computation-Progressive Scheduling. ICPP (2) 1990: 284-285 | |
1 | EE | Tzilla Elrad, N. Krishna Kumar, James R. Kenevan: Modeling distributed termination with pre-defined partial termination ordering. SPDP 1990: 373-376 |
1 | Tzilla Elrad | [1] [2] |
2 | James R. Kenevan | [1] |