Journals in DBLP

Theor. Comput. Sci.
1997, volume: 177, number: 2

1. Alban Ponse, Chris Verhoef, Bas van Vlijmen
   Algebra of Communicating Processes - Preface to the Special Issue. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1997, v:177, n:2, pp:285-286 [Journal]
   
2. Jos L. M. Vrancken
   The Algebra of Communicating Processes With Empty Process. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1997, v:177, n:2, pp:287-328 [Journal]
   
3. Rob J. van Glabbeek
   Notes on the Methodology of CCS and CSP. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1997, v:177, n:2, pp:329-349 [Journal]
   
4. Pedro R. D'Argenio, Chris Verhoef
   A General Conservative Extension Theorem in Process Algebras with Inequalities. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1997, v:177, n:2, pp:351-380 [Journal]
   
5. Jos C. M. Baeten, Jan A. Bergstra
   Process Algebra with Propositional Signals. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1997, v:177, n:2, pp:381-405 [Journal]
   
6. Wan Fokkink, Hans Zantema
   Termination Modulo Equations by Abstract Commutation with an Application to Iteration. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1997, v:177, n:2, pp:407-423 [Journal]
   
7. Jos van Wamel
   Process Algebra with Language Matching. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1997, v:177, n:2, pp:425-458 [Journal]
   
8. Lars-Åke Fredlund, Jan Friso Groote, Henri Korver
   Formal Verification of a Leader Election Protocol in Process Algebra. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1997, v:177, n:2, pp:459-486 [Journal]
   
9. Marc Bezem, Alban Ponse
   Two Finite Specifications of a Queue. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1997, v:177, n:2, pp:487-507 [Journal]