Syco

swMATH21210MaRDI QIDQ33021FDOQ33021

Author name not available (Why is that?)

Cited In (3)

• Global Reproducibility Through Local Control for Distributed Active Objects
• Actor-based model checking for software-defined networks
• Rely-guarantee termination and cost analyses of loops with concurrent interleavings

This page was built for software: Syco