8. ICTAC 2011:
Johannesburg,
South Africa
Antonio Cerone, Pekka Pihlajasaari (Eds.):
Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011. Proceedings.
Lecture Notes in Computer Science 6916 Springer 2011, ISBN 978-3-642-23282-4 
- Jayadev Misra:
Virtual Time and Timeout in Client-Server Networks - (Extended Abstract).
1-3
- David Lorge Parnas:
The Use of Mathematics in Software Development - (Extended Abstract).
4-5
- Willem Visser:
Infinitely Often Testing - (Extended Abstract).
6
- Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir:
Axiomatizing Weak Ready Simulation Semantics over BCCSP.
7-24
- Ernst Althaus, Sebastian Altmeyer, Rouven Naujoks:
Symbolic Worst Case Execution Times.
25-44
- Ei Ando, Binay K. Bhattacharya, Yuzhuang Hu, Tsunehiko Kameda, Qiaosheng Shi:
Selecting Good a Priori Sequences for Vehicle Routing Problem with Stochastic Demand.
45-61
- Facundo Carreiro:
On Characterization, Definability and ω-Saturated Models.
62-76
- Liliana Cojocaru, Erkki Mäkinen:
On the Complexity of Szilard Languages of Regulated Grammars.
77-94
- Uli Fahrenberg, Line Juhl, Kim G. Larsen, Jirí Srba:
Energy Games in Multiweighted Automata.
95-115
- Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, Silvia Likavec:
Intersection Types for the Resource Control Lambda Calculi.
116-134
- Rolf Hennicker, Alexander Knapp:
Modal Interface Theories for Communication-Safe Component Assemblies.
135-153
- Yijing Liu, Zongyan Qiu, Quan Long:
WP Semantics and Behavioral Subtyping.
154-172
- Olfa Mraihi, Wided Ghardallou, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili:
Computing Preconditions and Postconditions of While Loops.
173-193
- Paul Birevu Muyinda, Jude T. Lubega, Kathy Lynch, Theo P. van der Weide:
A Framework for Instantiating Pedagogic mLearning Objects Applications.
194-217
- Paul Tarau:
Emulating Primality with Multiset Representations of Natural Numbers.
218-238
- Bogdan Tofan, Gerhard Schellhorn, Wolfgang Reif:
Formal Verification of a Lock-Free Stack with Hazard Pointers.
239-255
- Brink van der Merwe, Lynette van Zijl, Jaco Geldenhuys:
Ambiguity of Unary Symmetric Difference NFAs.
256-266
Last update Fri May 25 08:21:33 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
