*banner
 

Behavioral Types as Interface Definitions
Edward A. Lee

Citation
Edward A. Lee. "Behavioral Types as Interface Definitions". Talk or presentation, 12, October, 2003.

Abstract
(No abstract.)

Electronic downloads

Citation formats  
  • HTML
    Edward A. Lee. <a
    href="http://chess.eecs.berkeley.edu/pubs/364.html"
    ><i>Behavioral Types as Interface
    Definitions</i></a>, Talk or presentation,  12,
    October, 2003.
  • Plain text
    Edward A. Lee. "Behavioral Types as Interface
    Definitions". Talk or presentation,  12, October, 2003.
  • BibTeX
    @presentation{Lee03_BehavioralTypesAsInterfaceDefinitions,
        author = {Edward A. Lee},
        title = {Behavioral Types as Interface Definitions},
        day = {12},
        month = {October},
        year = {2003},
        abstract = {(No abstract.)},
        URL = {http://chess.eecs.berkeley.edu/pubs/364.html}
    }
    

Posted by Mary Stewart on 22 Oct 2007.
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