Proceedings of the First International Conference on Foundations of Informatics, Computing and Software (FICS 2008)
, Jian Lu
: Complete Axiomatization for Divergent-Sensitive Bisimulations in Basic Process Algebra with Prefix Iteration.
, Qichao Xuan
: Proof Search and Counter Model of Positive Minimal Predicate Logic.
: Checking Emptiness of Non-Deterministic Regular Types with Set Operators.
: Services and Contracts: Coalgebraically.
: Building Certified Static Analysers by Modular Construction of Well-founded Lattices.
: Decidability of Weak Bisimilarity for a Subset of BPA.
, Hua Guo
, Xiyong Zhang
: fficient and Provably Secure Generic Construction of Client-to-Client Password-Based Key Exchange Protocol.