Verification of Resource Constraints for Concurrent Workflows.

Jingfu Zhong, Binheng Song

Browse the full SYNASC paper archive.