swMATH9422MaRDI QIDQ21405FDOQ21405
Author name not available (Why is that?)
Official website: https://rebeca-lang.org
Cited In (27)
- revTPL
- 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
- ProActive
- Erlang
- Spin-to-Grape
- Creol
- Petrify
- Viptos
- vUML
- SCELlight
- PIPER
- Timed Rebeca
- CoBoxes
- ACTLW
- JCobox
- AmbientTalk
- AODV
- Jacco
- wRebeca
- ASM Workbench
- Decidability problems for actor systems
- Modeling and efficient verification of wireless ad hoc networks
This page was built for software: Rebeca
