Viptos

MaRDI QIDQ21406swMATHFDO

Official website http://ptolemy.eecs.berkeley.edu/viptos/

Cited in

(9)

• Decidability problems for actor systems
• Comparing three coordination models: Reo, ARC, and PBRD
• TinyOS
• Spin-to-Grape
• Reoservice
• Rebeca
• Sumatra
• Symmetry and partial order reduction techniques in model checking Rebeca
• Compositional schedulability analysis of real-time actor-based systems

This page was built for software: Viptos