Cited By
View all- Schneider FAndrews G(2005)Concepts for concurrent programmingCurrent Trends in Concurrency10.1007/BFb0027049(669-716)Online publication date: 9-Jun-2005
- Silberschatz AAusting RConti DEngel G(1978)Serializability in multi-level monitor environmentsProceedings of the 1978 annual conference - Volume 210.1145/800178.810154(855-861)Online publication date: 1-Jan-1978
- Lamport L(1977)Proving the Correctness of Multiprocess ProgramsIEEE Transactions on Software Engineering10.1109/TSE.1977.2299043:2(125-143)Online publication date: 1-Mar-1977
- Show More Cited By