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
Last update Tue May 21 18:51:29 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
