The following pages link to Rebeca (Q21405):
Displayed 8 items.
- Termination detection for active objects (Q444506) (← links)
- Symmetry and partial order reduction techniques in model checking Rebeca (Q845239) (← links)
- Modeling and efficient verification of wireless ad hoc networks (Q1688557) (← links)
- Verification of asynchronous systems with an unspecified component (Q1731830) (← links)
- An evaluation of interaction paradigms for active objects (Q1734521) (← links)
- On time actors (Q2026808) (← links)
- (Q5094142) (← links)
- Decidability Problems for Actor Systems (Q5892063) (← links)