*banner
 

Temporal Semantics in Concurrent and Distributed Software
Edward A. Lee

Citation
Edward A. Lee. "Temporal Semantics in Concurrent and Distributed Software". Talk or presentation, 19, August, 2010; Presented at the Strategic Directions in Software at Scale (SaS), Berkeley, CA.

Abstract
(from Workshop Goals) Cyber-physical systems integrate computing and networking with physical processes. The temporal dynamics of software and networks becomes critical to predicting and controlling the interactions of system components. But software abstractions omit time. The theme of this discussion is to investigate the potential impact and technical implications of modifying these abstractions to embrace temporal dynamics.

Electronic downloads

  • Lee.pdf · application/pdf · 1710 kbytes
Citation formats  
  • HTML
    Edward A. Lee. <a
    href="http://chess.eecs.berkeley.edu/pubs/685.html"
    ><i>Temporal Semantics in Concurrent and
    Distributed Software</i></a>, Talk or
    presentation,  19, August, 2010; Presented at the <a
    href="http://chess.eecs.berkeley.edu/conferences/10/SDISAS/index.htm">Strategic
    Directions in Software at Scale (SaS)</a>, Berkeley,
    CA.
  • Plain text
    Edward A. Lee. "Temporal Semantics in Concurrent and
    Distributed Software". Talk or presentation,  19,
    August, 2010; Presented at the <a
    href="http://chess.eecs.berkeley.edu/conferences/10/SDISAS/index.htm">Strategic
    Directions in Software at Scale (SaS)</a>, Berkeley,
    CA.
  • BibTeX
    @presentation{Lee10_TemporalSemanticsInConcurrentDistributedSoftware,
        author = {Edward A. Lee},
        title = {Temporal Semantics in Concurrent and Distributed
                  Software},
        day = {19},
        month = {August},
        year = {2010},
        note = {Presented at the <a
                  href="http://chess.eecs.berkeley.edu/conferences/10/SDISAS/index.htm">Strategic
                  Directions in Software at Scale (SaS)</a>,
                  Berkeley, CA},
        abstract = {(from Workshop Goals) Cyber-physical systems
                  integrate computing and networking with physical
                  processes. The temporal dynamics of software and
                  networks becomes critical to predicting and
                  controlling the interactions of system components.
                  But software abstractions omit time. The theme of
                  this discussion is to investigate the potential
                  impact and technical implications of modifying
                  these abstractions to embrace temporal dynamics.},
        URL = {http://chess.eecs.berkeley.edu/pubs/685.html}
    }
    

Posted by Mary Stewart on 24 Aug 2010.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.

©2002-2018 Chess