Rebeca
From MaRDI portal
Software:21405
No author found.
Related Items (8)
Symmetry and partial order reduction techniques in model checking Rebeca ⋮ Modeling and efficient verification of wireless ad hoc networks ⋮ Termination detection for active objects ⋮ Verification of asynchronous systems with an unspecified component ⋮ An evaluation of interaction paradigms for active objects ⋮ On time actors ⋮ Unnamed Item ⋮ Decidability Problems for Actor Systems
This page was built for software: Rebeca
