SSP: A semantics-based protocol for real-time data access

This publication has 14 references indexed in Scilit:

• Application semantics and concurrency control of real-time data-intensive applications
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Applying formal methods to an embedded real-time avionics system
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• On using priority inheritance in real-time databases
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Load adjustment in adaptive real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Building a predictable avionics platform in Ada: a case study
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A stack-based resource allocation policy for realtime processes
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1990
• Enhancing availability in distributed real-time databases
  ACM SIGMOD Record, 1988
• Sagas
  Published by Association for Computing Machinery (ACM) ,1987
• Read-only transactions in a distributed database
  ACM Transactions on Database Systems, 1982
• Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
  Journal of the ACM, 1973