Abstract is missing.
- Virtual Time and Timeout in Client-Server Networks - (Extended Abstract)Jayadev Misra. 1-3 [doi]
- The Use of Mathematics in Software Development - (Extended Abstract)David Lorge Parnas. 4-5 [doi]
- Infinitely Often Testing - (Extended Abstract)Willem Visser. 6 [doi]
- Axiomatizing Weak Ready Simulation Semantics over BCCSPLuca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir. 7-24 [doi]
- Symbolic Worst Case Execution TimesErnst Althaus, Sebastian Altmeyer, Rouven Naujoks. 25-44 [doi]
- Selecting Good a Priori Sequences for Vehicle Routing Problem with Stochastic DemandEi Ando, Binay K. Bhattacharya, Yuzhuang Hu, Tsunehiko Kameda, Qiaosheng Shi. 45-61 [doi]
- On Characterization, Definability and ω-Saturated ModelsFacundo Carreiro. 62-76 [doi]
- On the Complexity of Szilard Languages of Regulated GrammarsLiliana Cojocaru, Erkki Mäkinen. 77-94 [doi]
- Energy Games in Multiweighted AutomataUli Fahrenberg, Line Juhl, Kim G. Larsen, Jirí Srba. 95-115 [doi]
- Intersection Types for the Resource Control Lambda CalculiSilvia Ghilezan, Jelena Ivetic, Pierre Lescanne, Silvia Likavec. 116-134 [doi]
- Modal Interface Theories for Communication-Safe Component AssembliesRolf Hennicker, Alexander Knapp. 135-153 [doi]
- WP Semantics and Behavioral SubtypingYijing Liu, Zongyan Qiu, Quan Long. 154-172 [doi]
- Computing Preconditions and Postconditions of While LoopsOlfa Mraihi, Wided Ghardallou, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili. 173-193 [doi]
- A Framework for Instantiating Pedagogic mLearning Objects ApplicationsPaul Birevu Muyinda, Jude T. Lubega, Kathy Lynch, Theo P. van der Weide. 194-217 [doi]
- Emulating Primality with Multiset Representations of Natural NumbersPaul Tarau. 218-238 [doi]
- Formal Verification of a Lock-Free Stack with Hazard PointersBogdan Tofan, Gerhard Schellhorn, Wolfgang Reif. 239-255 [doi]
- Ambiguity of Unary Symmetric Difference NFAsBrink van der Merwe, Lynette van Zijl, Jaco Geldenhuys. 256-266 [doi]