Electronic Notes in Theoretical Computer Science, Volume 212

Volume 212, April 2008

Proceedings of the First International Conference on Foundations of Informatics, Computing and Software (FICS 2008)

• 
  Yixiang Chen, Guo-Qiang 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