• The Computation Time Process Model 

      Korsgaard, Martin; Hendseth, Sverre (Concurrent Systems Engineering Series, 1383-7575; 68, Chapter, 2011)
      In traditional real-time multiprocessor schedulability analysis it is required that all tasks are entirely serial. This implies that if a task is written in a parallel language such as occam, all parallelism in the task ...