You are here: TUCS > PUBLICATIONS > Publication Search > Refining Concurrent Objects
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
Refining Concurrent Objects
Martin Büchi, Emil Sekerinski, Refining Concurrent Objects. TUCS Technical Reports 298, Turku Centre for Computer Science, 1999.
Abstract:
http://www.tucs.fi/Publications/techreports/TR298.php
Files:
Full publication in PDF-format
BibTeX entry:
@TECHREPORT{tBuSe99a,
title = {Refining Concurrent Objects},
author = {Büchi, Martin and Sekerinski, Emil},
number = {298},
series = {TUCS Technical Reports},
publisher = {Turku Centre for Computer Science},
year = {1999},
keywords = {class refinement, concurrent objects, action-based concurrency, algorithmic/data/atomicity refinement, trace semantics, simulation relation},
}