Volume 1,Issue 1,2007 Table of Contents

Other Issues:  


  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)]



Top Paper  |  FAQ  |  Guest Editors  |  Email Alert  |  Links  |  Copyright  |  Contact Us

© Copyright by Institute of Software, the Chinese Academy of Sciences

京公网安备 11040202500065号