Algebraic high-level nets and processes applied to communication platforms - Gabriel, Karsten (Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin, 2010)