| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
A Monoidal Category of Bifinite Chu Spaces
|
Huang, Fang-Ping
|
|
2008
|
212 |
C |
p. 285-297
13 p.
|
article
|
| 2 |
A Novel Derivation Framework For Definite Logic Program
|
Li, MengJun
|
|
2008
|
212 |
C |
p. 71-85
15 p.
|
article
|
| 3 |
Bisimilarity of Distributionally Equivalent Markov Transition Systems
|
Doberkat, Ernst-Erich
|
|
2008
|
212 |
C |
p. 41-53
13 p.
|
article
|
| 4 |
Building Certified Static Analysers by Modular Construction of Well-founded Lattices
|
Pichardie, David
|
|
2008
|
212 |
C |
p. 225-239
15 p.
|
article
|
| 5 |
Checking Emptiness of Non-Deterministic Regular Types with Set Operators
|
Lu, Lunjin
|
|
2008
|
212 |
C |
p. 191-206
16 p.
|
article
|
| 6 |
Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences
|
de Frutos Escrig, David
|
|
2008
|
212 |
C |
p. 149-162
14 p.
|
article
|
| 7 |
Complete Axiomatization for Divergent-Sensitive Bisimulations in Basic Process Algebra with Prefix Iteration
|
Chen, Taolue
|
|
2008
|
212 |
C |
p. 55-70
16 p.
|
article
|
| 8 |
Cyclic Extensions of Order Varieties
|
Ille, Pierre
|
|
2008
|
212 |
C |
p. 119-132
14 p.
|
article
|
| 9 |
Decidability of Weak Bisimilarity for a Subset of BPA
|
Chen, Haiyan
|
|
2008
|
212 |
C |
p. 241-255
15 p.
|
article
|
| 10 |
fficient and Provably Secure Generic Construction of Client-to-Client Password-Based Key Exchange Protocol
|
Li, Zhoujun
|
|
2008
|
212 |
C |
p. 257-268
12 p.
|
article
|
| 11 |
Locality of Corner Transformation for Multidimensional Spatial Access Methods
|
Dai, H.K.
|
|
2008
|
212 |
C |
p. 133-148
16 p.
|
article
|
| 12 |
Modeling and Verifying Time Sensitive Security Protocols with Constraints
|
Zhou, Ti
|
|
2008
|
212 |
C |
p. 103-118
16 p.
|
article
|
| 13 |
Preface
|
Chen, Yixiang
|
|
2008
|
212 |
C |
p. 1-
1 p.
|
article
|
| 14 |
Proof Search and Counter Model of Positive Minimal Predicate Logic
|
Xue, Tao
|
|
2008
|
212 |
C |
p. 87-102
16 p.
|
article
|
| 15 |
Reasoning About Multi-Lingual Exception Handling Using RIPLS
|
Ridgway, John
|
|
2008
|
212 |
C |
p. 177-189
13 p.
|
article
|
| 16 |
Rewriting Interpolants
|
Lynch, Christopher
|
|
2008
|
212 |
C |
p. 163-176
14 p.
|
article
|
| 17 |
Separation Logic for Multiple Inheritance
|
Luo, Chenguang
|
|
2008
|
212 |
C |
p. 27-40
14 p.
|
article
|
| 18 |
Separation Logic Semantics for Communicating Processes
|
Hoare, Tony
|
|
2008
|
212 |
C |
p. 3-25
23 p.
|
article
|
| 19 |
Services and Contracts: Coalgebraically
|
Sun, Meng
|
|
2008
|
212 |
C |
p. 207-223
17 p.
|
article
|
| 20 |
Tree Process Calculus
|
Chai, Mingren
|
|
2008
|
212 |
C |
p. 269-284
16 p.
|
article
|
| 21 |
Various Constructions of Continuous Information Systems
|
Xu, Luoshan
|
|
2008
|
212 |
C |
p. 299-311
13 p.
|
article
|
Journal description