You are here: TUCS > PUBLICATIONS > Publication Search > Data Refinement of Remote Proc...
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
Data Refinement of Remote Procedures
Kaisa Sere, Marina Waldén, Data Refinement of Remote Procedures. Formal Aspects of Computing 12(4), 278–297, 2000.
Abstract:
http://www.tucs.fi/Publications/journals/jSeWaa.php
BibTeX entry:
@ARTICLE{jSeWaa,
title = {Data Refinement of Remote Procedures},
author = {Sere, Kaisa and Waldén, Marina},
journal = {Formal Aspects of Computing},
volume = {12},
number = {4},
pages = {278–297},
year = {2000},
keywords = {Remote procedures, Atomicity refinement, Action systems},
}
Publication Forum rating of this publication: level 2