|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
4 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Asynchronous Approximate Agreement |
Fekete, A.D. |
1994 |
115 | 1 |
p. 95-124 30 p. |
article |
|
| 2 | A Syntactic Approach to Type Soundness |
Wright, A.K. |
1994 |
115 | 1 |
p. 38-94 57 p. |
article |
|
| 3 | Fully Abstract Denotational Models for Nonuniform Concurrent Languages |
Horita, E. |
1994 |
115 | 1 |
p. 125-178 54 p. |
article |
|
| 4 | Reasoning about Infinite Computations |
Vardi, M.Y. |
1994 |
115 | 1 |
p. 1-37 37 p. |
article |
4 results found