Supporting the Specification and Runtime Validation of Asynchronous Calling Patterns in Reactive Systems.

Jiannan Zhai, Nigamanth Sridhar, Jason O. Hallstrom

Browse the full RV paper archive.