Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude
Provides an executable formal Real-Time Maude semantics for Timed Rebeca. Integrates Real-Time Maude analysis into the Rebeca toolchain. Provides an efficient semantics using partial-order-reduction-like techniques. Shows the performance gained by this optimization.
formal semantics timed rebeca real-time maude real-time actors model checking