Rebeca
From MaRDI portal
Software:21405
swMATH9422MaRDI QIDQ21405FDOQ21405
Author name not available (Why is that?)
Cited In (8)
- Title not available (Why is that?)
- Verification of asynchronous systems with an unspecified component
- An evaluation of interaction paradigms for active objects
- Symmetry and partial order reduction techniques in model checking Rebeca
- Termination detection for active objects
- On time actors
- Decidability Problems for Actor Systems
- Modeling and efficient verification of wireless ad hoc networks
This page was built for software: Rebeca
