Volume 212, April 2008

Proceedings of the First International Conference on Foundations of Informatics, Computing and Software (FICS 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
• 
  Fangping 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