You are here: TUCS > PUBLICATIONS > Publication Search > A Foundation for Refining Conc...
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
A Foundation for Refining Concurrent Object
Martin Büchi, Emil Sekerinski, A Foundation for Refining Concurrent Object. Fundamenta Informaticae 44(1), 25–61, 2000.
Abstract:
http://www.tucs.fi/Publications/journals/jBuSea.php
BibTeX entry:
@ARTICLE{jBuSea,
title = {A Foundation for Refining Concurrent Object},
author = {Büchi, Martin and Sekerinski, Emil},
journal = {Fundamenta Informaticae},
volume = {44},
number = {1},
pages = {25–61},
year = {2000},
keywords = {class refinement, concurrent objects, action-based concurrency, algorithmic/data/atomicity refinement, trace semantics, simulation relation},
}
Publication Forum rating of this publication: level 2