|
Journals in DBLP
- Martín Abadi, Gordon D. Plotkin
A Logical View of Composition. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1993, v:114, n:1, pp:3-30 [Journal]
- Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn
Observing Localities. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1993, v:114, n:1, pp:31-61 [Journal]
- Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
Universal Axioms for Bisimulations. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1993, v:114, n:1, pp:63-91 [Journal]
- Jörg Desel, Javier Esparza
Reachability in Cyclic Extended Free-Choice Systems. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1993, v:114, n:1, pp:93-118 [Journal]
- Kim Guldstrand Larsen
The Expressive Power of Implicit Specifications. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1993, v:114, n:1, pp:119-147 [Journal]
- Robin Milner, Joachim Parrow, David Walker
Modal Logics for Mobile Processes. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1993, v:114, n:1, pp:149-171 [Journal]
- Walter Vogler
Bisimulation and Action Refinement. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1993, v:114, n:1, pp:173-200 [Journal]
|