You have Guest access.
Log In
Volume 1 / 1971 - Volume 49 / 2012
255-284
Original Article
Semantics, calculi, and analysis for object-oriented specifications
Achim D. Brucker and Burkhart Wolff
285-295
The maximum gain of increasing the number of preemptions in multiprocessor scheduling
Kamilla Klonowska, Lars Lundberg and Håkan Lennerstad
297-330
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 and Francesc D. Muñoz-Escoí
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info