Electronic Notes in Theoretical Computer Science, Volume 212

Volume 212, April 2008

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