default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st FICS 2008: Shanghai, China
- Yixiang Chen, Guo-Qiang Zhang, Prakash Panangaden:
Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, FICS 2008, Shanghai, China, June 3-6, 2008. Electronic Notes in Theoretical Computer Science 212, Elsevier 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 - H. K. 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-13 21:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
