Abstraction and composition in Delta -specifications of concurrent systems
Joseph P. Loyall, Simon M. Kaplan, Steven K. Goering · International Workshop on Software Specification and Design · 1991
An investigation is made of the application of the Delta -grammar graph rewriting model to the problem of specifying concurrent systems. The authors present abstraction and composition techniques for the Delta -model and illustrate their use through examples. >