Abstracting Timed Preemption with Engines

Christopher T. Haynes, Daniel P. Friedman. Abstracting Timed Preemption with Engines. Computer Languages, Systems \& Structures, 12(2):109-121, 1987.

@article{HaynesF87:0,
  title = {Abstracting Timed Preemption with Engines},
  author = {Christopher T. Haynes and Daniel P. Friedman},
  year = {1987},
  researchr = {https://researchr.org/publication/HaynesF87%3A0},
  cites = {0},
  citedby = {0},
  journal = {Computer Languages, Systems \& Structures},
  volume = {12},
  number = {2},
  pages = {109-121},
}