Transformational Derivation of Greedy Network Algorithms from Descriptive Specifications.

Juan Eduardo Durán Transformational Derivation of Greedy Network Algorithms from Descriptive Specifications. 40-67 2002 conf/mpc/2002 MPC http://link.springer.de/link/service/series/0558/bibs/2386/23860040.htm db/conf/mpc/mpc2002.html#Duran02