|
Journals in DBLP
Inf. Comput. 1993, volume: 107, number: 2
- James E. Burns, Nancy A. Lynch
Bounds on Shared Memory for Mutual Exclusion [Citation Graph (0, 0)][DBLP] Inf. Comput., 1993, v:107, n:2, pp:171-184 [Journal]
- Jeanne Devolder
Precircular Codes and Periodic Biinfinite Words [Citation Graph (0, 0)][DBLP] Inf. Comput., 1993, v:107, n:2, pp:185-201 [Journal]
- Matthew Hennessy, Anna Ingólfsdóttir
A Theory of Communicating Processes with Value Passing [Citation Graph (0, 0)][DBLP] Inf. Comput., 1993, v:107, n:2, pp:202-236 [Journal]
- Rusins Freivalds, Carl H. Smith
On the Role of Procrastination in Machine Learning [Citation Graph (0, 0)][DBLP] Inf. Comput., 1993, v:107, n:2, pp:237-271 [Journal]
- Bengt Jonsson, Joachim Parrow
Deciding Bisimulation Equivalences for a Class of Non-Finite-State Programs [Citation Graph (0, 0)][DBLP] Inf. Comput., 1993, v:107, n:2, pp:272-302 [Journal]
- Carl A. Gunter, Elsa L. Gunter, David B. MacQueen
Computing ML Equality Kinds Using Abstract Interpretation [Citation Graph (0, 0)][DBLP] Inf. Comput., 1993, v:107, n:2, pp:303-323 [Journal]
|