Electronic Notes in Theoretical Computer Science, Volume 212

Volume 212, April 2008

• Yixiang Chen, Guo-Qing Zhang, Prakash Panangaden:
  Preface. 1
  
• Tony Hoare, Peter W. O'Hearn:
  Separation Logic Semantics for Communicating Processes. 3-25
  
• Chenguang Luo, Shengchao Qin:
  Separation Logic for Multiple Inheritance. 27-40
  
• Ernst-Erich Doberkat:
  Bisimilarity of Distributionally Equivalent Markov Transition Systems. 41-53
  
• Taolue Chen, Jian Lu:
  Complete Axiomatization for Divergent-Sensitive Bisimulations in Basic Process Algebra with Prefix Iteration. 55-70
  
• Mengjun Li, Zhoujun Li, Huowang Chen, Ti Zhou:
  A Novel Derivation Framework For Definite Logic Program. 71-85
  
• Tao Xue, Qichao Xuan:
  Proof Search and Counter Model of Positive Minimal Predicate Logic. 87-102
  
• Ti Zhou, Mengjun Li, Zhoujun Li, Huowang Chen:
  Modeling and Verifying Time Sensitive Security Protocols with Constraints. 103-118
  
• Pierre Ille, Paul Ruet:
  Cyclic Extensions of Order Varieties. 119-132
  
• Ho-Kwok Dai, Kyu-Young Whang, Hung-Chi Su:
  Locality of Corner Transformation for Multidimensional Spatial Access Methods. 133-148
  
• David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino:
  Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences. 149-162
  
• Christopher Lynch, Yuefeng Tang:
  Rewriting Interpolants. 163-176
  
• John V. E. Ridgway, Jack C. Wileden:
  Reasoning About Multi-Lingual Exception Handling Using RIPLS. 177-189
  
• Lunjin Lu:
  Checking Emptiness of Non-Deterministic Regular Types with Set Operators. 191-206
  
• Meng Sun:
  Services and Contracts: Coalgebraically. 207-223
  
• David Pichardie:
  Building Certified Static Analysers by Modular Construction of Well-founded Lattices. 225-239
  
• Haiyan Chen:
  Decidability of Weak Bisimilarity for a Subset of BPA. 241-255
  
• Zhoujun Li, Hua Guo, Xiyong Zhang:
  fficient and Provably Secure Generic Construction of Client-to-Client Password-Based Key Exchange Protocol. 257-268
  
• Mingren Chai, Nan Qu, Ying Jiang:
  Tree Process Calculus. 269-284
  
• Fang-Ping Huang, Manfred Droste, Guo-Qiang Zhang:
  A Monoidal Category of Bifinite Chu Spaces. 285-297
  
• Luoshan Xu, Xuxin Mao:
  Various Constructions of Continuous Information Systems. 299-311