1 | -- | 2 | Erol Gelenbe. Editorial |
21 | -- | 36 | Xiaowei Huang, Li Jiao, Weiming Lu. Congruence Formats for Weak Readiness Equivalence and Weak Possible Future Equivalence |
37 | -- | 49 | Xuejun Yang, Ji Wang, Xiaodong Yi. Slicing Execution with Partial Weakest Precondition for Model Abstraction of C Programs |
50 | -- | 68 | Daniel Cutting, Aaron J. Quigley, Björn Landfeldt. Special Interest Messaging: A Comparison of IGM Approaches |
69 | -- | 89 | Patrick Erik Bradley, Norbert Paul. Using the Relational Model to Capture Topological Information of Spaces |
90 | -- | 106 | Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, Karsten Wolf. Multiparty Contracts: Agreeing and Implementing Interorganizational Processes |
107 | -- | 119 | Feng Liu, Chuan-Kun Wu, Xi Jun Lin. Some Extensions on Threshold Visual Cryptography Schemes |
120 | -- | 126 | A. S. M. Sajeev, Sakgasit Ramingwong. Mum Effect as an Offshore Outsourcing Risk: A Study of Differences in Perceptions |
127 | -- | 0 | Ricardo P. Jasinski. Jari Nurmi: Processor Design - System-on-Chip Computing for ASICs and FPGAs. Springer (2007) ISBN 978-1-4020-5529-4 |