Can I read Global Synchronization in Parameterized Systems on EtoBox?

Global Synchronization in Parameterized Systems by Nisha is a document available to read on EtoBox.

What is Global Synchronization in Parameterized Systems about?

This document proposes a new computational model for parameterized verification of distributed systems that use global synchronization and agreement protocols. The model generalizes existing models by introducing global synchronization primitives and global transition guards. The document shows that reachability properties are decidable for systems without guards, and provides sufficient conditions for decidability with guards. It also investigates cutoffs for reachability properties, showing they generally

Author

Nisha

Language

EN