You are here: TUCS > PUBLICATIONS > Publication Search > Procedures and atomicity refin...
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
Procedures and atomicity refinement
Kaisa Sere, Procedures and atomicity refinement. Information Processing Letters 60, 67–74, 1996.
BibTeX entry:
@ARTICLE{jSere96,
title = {Procedures and atomicity refinement},
author = {Sere, Kaisa},
journal = {Information Processing Letters},
volume = {60},
pages = {67–74},
year = {1996},
}
Publication Forum rating of this publication: level 2