• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Developing Components in the Presence of Re-entrance

Leonid Mikhajlov, Emil Sekerinski, Linas Laibinis, Developing Components in the Presence of Re-entrance. TUCS Technical Reports 239, Turku Centre for Computer Science, 1999.

Abstract:

http://www.tucs.fi/Publications/techreports/TR239.php

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tMiSeLa99a,
  title = {Developing Components in the Presence of Re-entrance},
  author = {Mikhajlov, Leonid and Sekerinski, Emil and Laibinis, Linas},
  number = {239},
  series = {TUCS Technical Reports},
  publisher = {Turku Centre for Computer Science},
  year = {1999},
  keywords = {software component, modular reasoning, software correctness,specification and verification methodology, component re-entrance},
}

Edit publication