Transformational Derivation of Greedy Network Algorithms from Descriptive Specifications

Sorry, there's nothing here.

Topics

Cite this paper

@inproceedings{Durn2002TransformationalDO, title={Transformational Derivation of Greedy Network Algorithms from Descriptive Specifications}, author={Juan Eduardo Dur{\'a}n}, booktitle={MPC}, year={2002} }