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
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;
Conference_Titel :
Software Specification and Design, 1991., Proceedings of the Sixth International Workshop on
Conference_Location :
Como
Print_ISBN :
0-8186-2320-9
DOI :
10.1109/IWSSD.1991.213077
