|
Journals in DBLP
J. ACM 1996, volume: 43, number: 1
- Yehuda Afek, Baruch Awerbuch, Serge A. Plotkin, Michael E. Saks
Local Management of a Global Resource in a Communication Network. [Citation Graph (0, 0)][DBLP] J. ACM, 1996, v:43, n:1, pp:1-19 [Journal]
- Weidong Chen, David Scott Warren
Tabled Evaluation With Delaying for General Logic Programs. [Citation Graph (3, 0)][DBLP] J. ACM, 1996, v:43, n:1, pp:20-74 [Journal]
- Yuh-Jzer Joung, Scott A. Smolka
A Comprehensive Study of the Complexity of Multiparty Interaction. [Citation Graph (0, 0)][DBLP] J. ACM, 1996, v:43, n:1, pp:75-115 [Journal]
- Rajeev Alur, Tomás Feder, Thomas A. Henzinger
The Benefits of Relaxing Punctuality. [Citation Graph (0, 0)][DBLP] J. ACM, 1996, v:43, n:1, pp:116-146 [Journal]
- Peter Bro Miltersen, Mike Paterson, Jun Tarui
The Asymptotic Complexity of Merging Networks. [Citation Graph (0, 0)][DBLP] J. ACM, 1996, v:43, n:1, pp:147-165 [Journal]
- Robert S. Boyer, Yuan Yu
Automated Proofs of Object Code for a Widely Used Microprocessor. [Citation Graph (0, 0)][DBLP] J. ACM, 1996, v:43, n:1, pp:166-192 [Journal]
|