Timed Rebeca

MaRDI QIDQ5973607swMATHFDO

Official website https://rebeca-lang.org/allprojects/TARO

Cited in

(6)

• Finite interval-time transition system for real-time actors
• On time actors
• HOL/SPIN
• Rebeca
• revTPL
• Modeling and efficient verification of wireless ad hoc networks

This page was built for software: Timed Rebeca