• DocumentCode
    3142635
  • Title

    Abstraction and composition in Δ-specifications of concurrent systems

  • Author

    Loyall, Joseph P. ; Kaplan, Simon M. ; Goering, Steven K.

  • Author_Institution
    TASC, Reading, MA, USA
  • fYear
    1991
  • fDate
    25-26 Oct 1991
  • Firstpage
    52
  • Lastpage
    59
  • Abstract
    An investigation is made of the application of the Δ-grammar graph rewriting model to the problem of specifying concurrent systems. The authors present abstraction and composition techniques for the Δ-model and illustrate their use through examples
  • Keywords
    formal specification; grammars; graph theory; parallel programming; rewriting systems; Delta -grammar graph rewriting model; Delta-specifications; abstraction; composition techniques; concurrent systems; Power system modeling; Tree graphs;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Specification and Design, 1991., Proceedings of the Sixth International Workshop on
  • Conference_Location
    Como
  • Print_ISBN
    0-8186-2320-9
  • Type

    conf

  • DOI
    10.1109/IWSSD.1991.213077
  • Filename
    213077
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3142635