Equivalence and decomposition methods with application to a model of a time-sharing virtual memory system

• Authors:

• Alexandre Brandwajn

• Affiliations:

• -

• Venue:
• Operating Systems, Proceedings of an International Symposium
• Year:
• 1974