SEARCH

SEARCH BY CITATION

REFERENCES

  • 1
    Lin S, Wellings A, Burns A. Supporting lock-based multiprocessor resource sharing protocols in real-time programming languages. Concurrency and Computation: Practice and Experience 2013; 25(16):22272251.
  • 2
    Meawad F, Iyer K, Schoeberl M, Vitek J. Micro-transactions for concurrent data structures. Concurrency and Computation: Practice and Experience 2013; 25(16):22522268.
  • 3
    Puffitsch W. Design and analysis of a hard real-time garbage collector for a java chip multi-processor. Concurrency and Computation: Practice and Experience 2013; 25(16):22692289.
  • 4
    Haddad G, Leavens GT. Specifying subtypes in Safety Critical Java programs. Concurrency and Computation: Practice and Experience 2013; 25(16):22902306.