On Using Syntactic Action Refinement to Derive Compositionally a Timed Efficient Implementation

Abdelkader Dekdouk, André Schaff
1996 unpublished
In this paper, we present a durational process algebra incorporating syntactic action refinement. We study its correctness with respect to the semantic refinement in an interleaving model, namely the labelled transition systems. This defined refinement is compositional over the language operators and may provide at a given level of abstraction a timed efficient implementation for a specification.
doi:10.14236/ewic/rw1996.5 fatcat:wrt57cpbrrhjhbtfo4ofnt32yq