Data Refinement of Remote Procedures

Kaisa Sere, Marina Waldén

Research output: Contribution to journalArticleScientificpeer-review

14 Citations (Scopus)
Original languageEnglish
Pages (from-to)278-297
JournalFormal Aspects of Computing
Volume12
DOIs
Publication statusPublished - 2000
MoE publication typeA1 Journal article-refereed

Cite this