Volume 1,Issue 1,2007 Table of Contents
Contents | | | Editorial | | Ruqian Lu | | 2007,1(1):1-2 [Abstract] [View PDF(111.51 K)] | | | | Some Results on Matchgates and Holographic Algorithms | | Jin-Yi Cai and Vinay Choudhary | | 2007,1(1):3-36 [Abstract] [View PDF(1.57 M)] | | | | 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] [View PDF(2.42 M)] | | | | Entropy-Inspired Competitive Clustering Algorithms | | Daoqiang Zhang,Songcan Chen and Zhi-Hua Zhou | | 2007,1(1):67-84 [Abstract] [View PDF(977.61 K)] | | | | A Modal Characterization of λ-Bisimilarity | | Jinjin Zhang and Zhaohui Zhu | | 2007,1(1):85-99 [Abstract] [View PDF(743.69 K)] | | | | Coordinated Recovery of Middleware Services:A Framework and Experiments | | Hong Mei,Gang Huang,Tiancheng Liu and Junguo Li | | 2007,1(1):101-128 [Abstract] [View PDF(2.68 M)] | | | | 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] [View PDF(1.18 M)] | | |
|