Dynamic Deadlock Verification for General Barrier Synchronisation
Article in ACM Transactions on Programming Languages and Systems (December 2018)
The most recent citing publications are shown below. View all 5 publications that cite this research output on Dimensions.
Article in ACM Transactions on Programming Languages and Systems (December 2018)
Article in Security and Communication Networks (July 2015)
Article in The Open Book Series (November 2013)