[Search form] [Info about the database] [Search tips]

Biblio: the search term namn=('Waldén, Marina') results in 2 hits


1. Waldén, Marina / Institutionen för informationsbehandling
  Formal derivation of a distributed load balancing algorithm / M. Waldén.
- In: Proceedings of the 7th Nordic Workshop on Programming Theory : November 1-3, 1995, Göteborg - Sweden / editors: Bror Bjerner, Marie Larsson, Bengt Nordström . - Göteborg : Chalmers University of Technology and University of Göteborg, 1995, s. 508-527. - (Report / Programming Methodology Group ; 86).

2. Waldén, Marina / Institutionen för informationsbehandling / Project
  Data refinement of remote procedures / K. Sere, M. Waldén.
- In: Theoretical aspects of computer software : third International Symposium, TACS '97, Sendai, Japan, September 23-6, 1997 : proceedings / Martín Abadi, Takayaso Ito (eds.). - Berlin : Springer, cop. 1997, s. 267-294. - (Lecture notes in computer science ; 1281). Kongress: International Symposium on Theorethical Aspects of Computer Software (3 : 1997 : Sendai).
ISBN 3-540-63388-X