Electronic Notes in Theoretical Computer Science, Volume 257

Volume 257, December 2009

• Yixiang Chen, Ernst-Erich Doberkat, Achim Jung:
  Preface. 1-2
  
• Guo-Qiang Zhang:
  Closures in Binary Partial Algebras. 3-18
  
• Wenjie Du, Yuxin Deng:
  On Mobility and Communication. 19-33
  
• Klaus Keimel:
  Bicontinuous Domains and Some Old Problems in Domain Theory. 35-54
  
• Yanfang Ma, Min Zhang:
  Topological Construction of Parameterized Bisimulation Limit. 55-70
  
• Christoph Schubert:
  Coalgebraic Logic over Measurable Spaces: Behavioral and Logical Equivalence. 71-85
  
• Hengyang Wu, Yixiang Chen:
  A Duality Theorem for Quantitative Semantics. 87-97
  
• Li-Gang Wu, Lei Fan:
  Domain Equations Based on Sets with Families of Pre-orders. 99-115
  
• Lingyun Yang, Luoshan Xu:
  On Rough Concept Lattices. 117-133
  
• Wei Yao:
  L-fuzzy Scott Topology and Scott Convergence of Stratified L-filters on Fuzzy Dcpos. 135-152
  
• Yihui Zhou, Bin Zhao:
  Z-abstract Basis. 153-158