Semantics, calculi, and analysis for object-oriented specifications Achim D. BruckerBurkhart Wolff Original Article 25 March 2009 Pages: 255 - 284
The maximum gain of increasing the number of preemptions in multiprocessor scheduling Kamilla KlonowskaLars LundbergHåkan Lennerstad Original Article 12 May 2009 Pages: 285 - 295
Correctness proof of a database replication protocol under the perspective of the I/O automaton model José Enrique Armendáriz-IñigoJosé Ramón González de MendívilFrancesc D. Muñoz-Escoí Original Article 10 June 2009 Pages: 297 - 330