Response time prediction for distributed processes specified in CaRT-Spec

This publication has 9 references indexed in Scilit:

• A model for scheduling of object-based, distributed real-time systems
  Real-Time Systems, 1995
• Response time prediction in object-based, parallel embedded systems
  Microprocessing and Microprogramming, 1994
• A parallel virtual machine for programs composed of abstract data types
  IEEE Transactions on Computers, 1994
• Analyzing hard-real-time programs for guaranteed schedulability
  IEEE Transactions on Software Engineering, 1991
• Scheduling processes with release times, deadlines, precedence and exclusion relations
  IEEE Transactions on Software Engineering, 1990
• A timed model for communicating sequential processes
  Theoretical Computer Science, 1988
• Guaranteed response times in a distributed hard-real-time environment
  IEEE Transactions on Software Engineering, 1986
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• Multiprocessor Scheduling with the Aid of Network Flow Algorithms
  IEEE Transactions on Software Engineering, 1977