Timed Rebeca

swMATH40758MaRDI QIDQ5973607FDOQ5973607

Author name not available (Why is that?)

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

Cited In (6)

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

This page was built for software: Timed Rebeca