Ausgabe 4/2009
Inhalt (3 Artikel)
Original Article
Semantics, calculi, and analysis for object-oriented specifications
Achim D. Brucker, Burkhart Wolff
Original Article
The maximum gain of increasing the number of preemptions in multiprocessor scheduling
Kamilla Klonowska, Lars Lundberg, Håkan Lennerstad
Original Article
Correctness proof of a database replication protocol under the perspective of the I/O automaton model
José Enrique Armendáriz-Iñigo, José Ramón González de Mendívil, José Ramón Garitagoitia, Francesc D. Muñoz-Escoí