|
Journals in DBLP
Inf. Comput. 2005, volume: 200, number: 1
- Holger Spakowski, Mayur Thakur, Rahul Tripathi
Quantum and classical complexity classes: Separations, collapses, and closure properties. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2005, v:200, n:1, pp:1-34 [Journal]
- Yonit Kesten, Nir Piterman, Amir Pnueli
Bridging the gap between fair simulation and trace inclusion. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2005, v:200, n:1, pp:35-61 [Journal]
- Amos Israeli, Amnon Shaham
Time and space optimal implementations of atomic multi-writer register. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2005, v:200, n:1, pp:62-106 [Journal]
- Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote
Notions of bisimulation and congruence formats for SOS with data. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2005, v:200, n:1, pp:107-147 [Journal]
|