Data refinement of remote procedures.

Kaisa Sere, Marina Walden

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

Original languageEnglish
Title of host publicationProceedings of the International Symposium on Theoretical Aspects of Computer Software (TACS'97)
Place of PublicationSendai, Japan
PublisherSpringer Verlag
Pages267 - 294
Publication statusPublished - 1997
MoE publication typeA4 Article in a conference publication

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag

Cite this