Concurrency: Handling Interference Formally
Book chapter (September 2018)
The most recent citing publications are shown below. View all 14 publications that cite this research output on Dimensions.
Book chapter (September 2018)
Article in Computational Intelligence (August 2011)
Book chapter (January 2007)