Rebeca
From MaRDI portal
Cited in
(31)- Klava
- MetaKlaim
- TinyOS
- HOL/SPIN
- Modeling and efficient verification of wireless ad hoc networks
- Verification of asynchronous systems with an unspecified component
- An evaluation of interaction paradigms for active objects
- ProActive
- Erlang
- Spin-to-Grape
- On time actors
- Creol
- Viptos
- vUML
- Petrify
- SCELlight
- PIPER
- CoBoxes
- ACTLW
- JCobox
- AmbientTalk
- AODV
- Jacco
- wRebeca
- Termination detection for active objects
- scientific article; zbMATH DE number 7566069 (Why is no real title available?)
- ASM Workbench
- Decidability problems for actor systems
- revTPL
- Timed Rebeca
- Symmetry and partial order reduction techniques in model checking Rebeca
This page was built for software: Rebeca
