| |
Volume 1,Issue 1,2007 Table of Contents
Contents | | | Editorial | | | Ruqian Lu | | | 2007,1(1):1-2 [Abstract(3707)] [View PDF 111.51 K (2393)] | | | | | Some Results on Matchgates and Holographic Algorithms | | | Jin-Yi Cai and Vinay Choudhary | | | 2007,1(1):3-36 [Abstract(5635)] [View PDF 1.57 M (3580)] | | | | | Desiderata for Languages to be Used in the Defnition of Reference Business Processes | | | Liming Zhu,Leon J. Osterweil,Mark Staples,Udo Kannengiesser and Borislava I. Simidchieva | | | 2007,1(1):37-65 [Abstract(4624)] [View PDF 2.42 M (2885)] | | | | | Entropy-Inspired Competitive Clustering Algorithms | | | Daoqiang Zhang,Songcan Chen and Zhi-Hua Zhou | | | 2007,1(1):67-84 [Abstract(6039)] [View PDF 977.61 K (2833)] | | | | | A Modal Characterization of λ-Bisimilarity | | | Jinjin Zhang and Zhaohui Zhu | | | 2007,1(1):85-99 [Abstract(4946)] [View PDF 743.69 K (2801)] | | | | | Coordinated Recovery of Middleware Services:A Framework and Experiments | | | Hong Mei,Gang Huang,Tiancheng Liu and Junguo Li | | | 2007,1(1):101-128 [Abstract(4304)] [View PDF 2.68 M (2935)] | | | | | An Institutional View on Categorical Logic | | | Joseph Goguen,Till Mossakowski,Valeria de Paiva,Florian Rabe and Lutz Schr?der | | | 2007,1(1):129-152 [Abstract(4042)] [View PDF 1.18 M (3070)] | | | |
|
