Accommodating interference in the formal design of concurrent object-based programs
Article in Formal Methods in System Design (March 1996)
The most recent citing publications are shown below. View all 5 publications that cite this research output on Dimensions.
Article in Formal Methods in System Design (March 1996)
Book chapter (January 1996)
Article in Electronic Notes in Theoretical Computer Science (January 1995)