Viptos

swMATH9423MaRDI QIDQ21406FDOQ21406

Author name not available (Why is that?)

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

Cited In (8)

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

This page was built for software: Viptos