
Journals in DBLP
Inf. Comput. 1996, volume: 126, number: 1
 Wan Fokkink, Rob J. van Glabbeek
Ntyft/Ntyxt Rules Reduce to Ntree Rules. [Citation Graph (0, 0)][DBLP] Inf. Comput., 1996, v:126, n:1, pp:110 [Journal]
 Martin Hofmann, Benjamin C. Pierce
Positive Subtyping. [Citation Graph (0, 0)][DBLP] Inf. Comput., 1996, v:126, n:1, pp:1133 [Journal]
 Michele Boreale, Rocco De Nicola
A Symbolic Semantics for the piCalculus. [Citation Graph (0, 0)][DBLP] Inf. Comput., 1996, v:126, n:1, pp:3452 [Journal]
 Hasan Md. Sayeed, Hosame AbuAmara
Efficient Perfectly Secure Message Transmission in Synchronous Networks. [Citation Graph (0, 0)][DBLP] Inf. Comput., 1996, v:126, n:1, pp:5361 [Journal]
 Rajeev Alur, Gadi Taubenfeld
ContentionFree Complexity of Shared Memory Algorithms. [Citation Graph (0, 0)][DBLP] Inf. Comput., 1996, v:126, n:1, pp:6273 [Journal]
 Gordon D. Plotkin
On a Question of H. Friedman. [Citation Graph (0, 0)][DBLP] Inf. Comput., 1996, v:126, n:1, pp:7477 [Journal]
 Toshiya Itoh
Simulating Fair Dice with Biased Coins. [Citation Graph (0, 0)][DBLP] Inf. Comput., 1996, v:126, n:1, pp:7882 [Journal]
 Gérard Boudol, Cosimo Laneve
The Discriminating Power of Multiplicities in the LambdaCalculus. [Citation Graph (0, 0)][DBLP] Inf. Comput., 1996, v:126, n:1, pp:83102 [Journal]
