Electronic Notes in Theoretical Computer Science, Volume 212

> Home > Journals > Electronic Notes in Theoretical Computer Science

Volume 212, April 2008

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

- view
- export record
  dblp key:
  - journals/entcs/ChenZP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ChenZP08
Yixiang Chen, Guo-Qiang Zhang, Prakash Panangaden:
Preface. 1
- view
- export record
  dblp key:
  - journals/entcs/HoareO08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HoareO08
Tony Hoare, Peter W. O'Hearn:
Separation Logic Semantics for Communicating Processes. 3-25
- view
- export record
  dblp key:
  - journals/entcs/LuoQ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LuoQ08
Chenguang Luo, Shengchao Qin:
Separation Logic for Multiple Inheritance. 27-40
- view
- export record
  dblp key:
  - journals/entcs/Doberkat08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Doberkat08
Ernst-Erich Doberkat:
Bisimilarity of Distributionally Equivalent Markov Transition Systems. 41-53
- view
- export record
  dblp key:
  - journals/entcs/ChenL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ChenL08
Taolue Chen, Jian Lu:
Complete Axiomatization for Divergent-Sensitive Bisimulations in Basic Process Algebra with Prefix Iteration. 55-70
- view
- export record
  dblp key:
  - journals/entcs/LiLCZ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LiLCZ08
Mengjun Li, Zhoujun Li, Huowang Chen, Ti Zhou:
A Novel Derivation Framework For Definite Logic Program. 71-85
- view
- export record
  dblp key:
  - journals/entcs/XueX08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/XueX08
Tao Xue, Qichao Xuan:
Proof Search and Counter Model of Positive Minimal Predicate Logic. 87-102
- view
- export record
  dblp key:
  - journals/entcs/ZhouLLC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ZhouLLC08
Ti Zhou, Mengjun Li, Zhoujun Li, Huowang Chen:
Modeling and Verifying Time Sensitive Security Protocols with Constraints. 103-118
- view
- export record
  dblp key:
  - journals/entcs/IlleR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/IlleR08
Pierre Ille, Paul Ruet:
Cyclic Extensions of Order Varieties. 119-132
- view
- export record
  dblp key:
  - journals/entcs/DaiWS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DaiWS08
H. K. Dai, Kyu-Young Whang, Hung-Chi Su:
Locality of Corner Transformation for Multidimensional Spatial Access Methods. 133-148
- view
- export record
  dblp key:
  - journals/entcs/Frutos-EscrigGP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Frutos-EscrigGP08
David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino:
Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences. 149-162
- view
- export record
  dblp key:
  - journals/entcs/LynchT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LynchT08
Christopher Lynch, Yuefeng Tang:
Rewriting Interpolants. 163-176
- view
- export record
  dblp key:
  - journals/entcs/RidgwayW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/RidgwayW08
John V. E. Ridgway, Jack C. Wileden:
Reasoning About Multi-Lingual Exception Handling Using RIPLS. 177-189
- view
- export record
  dblp key:
  - journals/entcs/Lu08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Lu08
Lunjin Lu:
Checking Emptiness of Non-Deterministic Regular Types with Set Operators. 191-206
- view
- export record
  dblp key:
  - journals/entcs/Sun08a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Sun08a
Meng Sun:
Services and Contracts: Coalgebraically. 207-223
- view
- export record
  dblp key:
  - journals/entcs/Pichardie08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Pichardie08
David Pichardie:
Building Certified Static Analysers by Modular Construction of Well-founded Lattices. 225-239
- view
- export record
  dblp key:
  - journals/entcs/Chen08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Chen08
Haiyan Chen:
Decidability of Weak Bisimilarity for a Subset of BPA. 241-255
- view
- export record
  dblp key:
  - journals/entcs/LiGZ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LiGZ08
Zhoujun Li, Hua Guo, Xiyong Zhang:
fficient and Provably Secure Generic Construction of Client-to-Client Password-Based Key Exchange Protocol. 257-268
- view
- export record
  dblp key:
  - journals/entcs/ChaiQJ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ChaiQJ08
Mingren Chai, Nan Qu, Ying Jiang:
Tree Process Calculus. 269-284
- view
- export record
  dblp key:
  - journals/entcs/HuangDZ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HuangDZ08
Fangping Huang, Manfred Droste, Guo-Qiang Zhang:
A Monoidal Category of Bifinite Chu Spaces. 285-297
- view
- export record
  dblp key:
  - journals/entcs/XuM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/XuM08
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.