Decentralized Runtime Enforcement of Message Sequences in Message-Based Systems.

Mahboubeh Samadi, Fatemeh Ghassemi, Ramtin Khosravi

Browse the full OPODIS paper archive.