Skip to main content
padlock icon - secure page this page is secure

Publisher: Springer Science and Media

Volume 46, Number 4, 2009

Semantics, calculi, and analysis for object-oriented specifications
pp. 255-284(30)
Authors: Brucker, A. D.; Wolff, B.


The maximum gain of increasing the number of preemptions in multiprocessor scheduling
pp. 285-295(11)
Authors: Klonowska, K.; Lundberg, L.; Lennerstad, H. k.


Correctness proof of a database replication protocol under the perspective of the I/O automaton model
pp. 297-330(34)
Authors: Armendáriz-Iñigo, J. E.; González de Mendívil, J. R.; Garitagoitia, J. R.; Muñoz-Escoí, F. D.


  • Access Key
  • Free content
  • Partial Free content
  • New content
  • Open access content
  • Partial Open access content
  • Subscribed content
  • Partial Subscribed content
  • Free trial content
Cookie Policy
Cookie Policy
Ingenta Connect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more