Theoretical Computer Science, Volume 247

Volume 247, Number 1-2, 28 September 2000

• Manfred Droste, Paul Gastin, Dietrich Kuske:
  Asynchronous cellular automata for pomsets. 1-38
  
• Thomas Ehrhard:
  Parallel and serial hypercoherences. 39-81
  
• Ian Mackie:
  Interaction nets for linear logic. 83-140
  
• Catherine Oriat:
  Detecting equivalence of modular specifications with categorical diagrams. 141-190
  
• Zoran Ognjanovic, Miodrag Raskovic:
  Some first-order probability logics. 191-212
  
• Yefim Dinitz, Tamar Eilam, Shlomo Moran, Shmuel Zaks:
  On the totalk-diameter of connection networks. 213-228
  
• Jens Blanck:
  Domain representations of topological spaces. 229-255
  
• Rym Mili, Jules Desharnais, Marc Frappier, Ali Mili:
  Semantic distance between specifications. 257-276
  
• Sabine Broda, Luís Damas:
  On principal types of combinators. 277-290
  
• Wim H. Hesselink:
  A generalization of Naundorf's fixpoint theorem. 291-296