Return to Article Details Formal Modeling of Communication Platforms using Reconfigurable Algebraic High-Level Nets Download Download PDF