Citation
Stavros Tripakis, Albert Benveniste, Paul Caspi, Claudio Pinello, Alberto Sangiovanni-Vincentelli, Christos Sofronis. "Correct and Efficient Implementations of Synchronous Models on Asynchronous Execution Platforms". Workshop on Exploiting Concurrency Efficiently and Correctly, May, 2009.

Abstract
(No abstract.)

Electronic downloads

• sync2async.pdf · application/pdf · 158 kbytes

• HTML

  Stavros Tripakis, Albert Benveniste, Paul Caspi, Claudio
  Pinello, Alberto Sangiovanni-Vincentelli, Christos Sofronis.
  <a
  href="http://chess.eecs.berkeley.edu/pubs/589.html"
  >Correct and Efficient Implementations of Synchronous
  Models on Asynchronous Execution Platforms</a>,
  Workshop on Exploiting Concurrency Efficiently and
  Correctly, May, 2009.

• Plain text

  Stavros Tripakis, Albert Benveniste, Paul Caspi, Claudio
  Pinello, Alberto Sangiovanni-Vincentelli, Christos Sofronis.
  "Correct and Efficient Implementations of Synchronous
  Models on Asynchronous Execution Platforms". Workshop
  on Exploiting Concurrency Efficiently and Correctly, May,
  2009.

• BibTeX

  @inproceedings{TripakisBenvenisteCaspiPinelloSangiovanniVincentelli09_CorrectEfficientImplementationsOfSynchronousModelsOn,
      author = {Stavros Tripakis and Albert Benveniste and Paul
                Caspi and Claudio Pinello and Alberto
                Sangiovanni-Vincentelli and Christos Sofronis},
      title = {Correct and Efficient Implementations of
                Synchronous Models on Asynchronous Execution
                Platforms},
      booktitle = {Workshop on Exploiting Concurrency Efficiently and
                Correctly},
      month = {May},
      year = {2009},
      abstract = {(No abstract.)},
      URL = {http://chess.eecs.berkeley.edu/pubs/589.html}
  }
  

Posted by Stavros Tripakis on 14 May 2009.
Groups: chess naomi ptolemy
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.