Bo Sanden
Resource Sharing Deadlock Prevention
Ada, 1995.
@inproceedings{TRI-Ada-1995-Sanden95b, author = "Bo Sanden", booktitle = "{Tutorial Proceedings on Ada’s Role in Global Markets: Solutions for a Changing Complex World}", doi = "10.1145/216591.216597", pages = "70--103", publisher = "{ACM}", title = "{Resource Sharing Deadlock Prevention}", year = 1995, }