|
Journals in DBLP
Inf. Comput. 1990, volume: 88, number: 2
- José Meseguer, Ugo Montanari
Petri Nets Are Monoids [Citation Graph (0, 0)][DBLP] Inf. Comput., 1990, v:88, n:2, pp:105-155 [Journal]
- Cynthia Dwork, Yoram Moses
Knowledge and Common Knowledge in a Byzantine Environment: Crash Failures [Citation Graph (0, 0)][DBLP] Inf. Comput., 1990, v:88, n:2, pp:156-186 [Journal]
- Max Dauchet, Thierry Heuillard, Pierre Lescanne, Sophie Tison
Decidability of the Confluence of Finite Ground Term Rewrite Systems and of Other Related Term Rewrite Systems [Citation Graph (0, 0)][DBLP] Inf. Comput., 1990, v:88, n:2, pp:187-201 [Journal]
|