@techreport{rideau:hal-00762627, TITLE = {{Formalization and Concretization of Ordered Networks}}, AUTHOR = {Rideau, Laurence and Serpette, Bernard, P. and Tedeschi, C{\'e}dric}, URL = {https://hal.inria.fr/hal-00762627}, TYPE = {Research Report}, NUMBER = {RR-8172}, PAGES = {22}, YEAR = {2012}, MONTH = Dec, HAL_ID = {hal-00762627}, HAL_VERSION = {v1}, }