Modular algebraic nets to specify concurrent systems | IEEE Journals & Magazine | IEEE Xplore