|
Journals in DBLP
Inf. Comput. 1994, volume: 115, number: 1
- Moshe Y. Vardi, Pierre Wolper
Reasoning About Infinite Computations [Citation Graph (0, 0)][DBLP] Inf. Comput., 1994, v:115, n:1, pp:1-37 [Journal]
- Andrew K. Wright, Matthias Felleisen
A Syntactic Approach to Type Soundness [Citation Graph (0, 0)][DBLP] Inf. Comput., 1994, v:115, n:1, pp:38-94 [Journal]
- Alan David Fekete
Asynchronous Approximate Agreement [Citation Graph (0, 0)][DBLP] Inf. Comput., 1994, v:115, n:1, pp:95-124 [Journal]
- Eiichi Horita, J. W. de Bakker, Jan J. M. M. Rutten
Fully Abstract Denotational Models for Nonuniform Concurrent Languages [Citation Graph (0, 0)][DBLP] Inf. Comput., 1994, v:115, n:1, pp:125-178 [Journal]
|