An old-fashioned recipe for real time, ACM Transactions on Programming Languages and Systems, vol.16, issue.5, pp.1543-1571, 1994. ,
DOI : 10.1145/186025.186058
Guaranteeing temporal validity with a real-time logic of knowledge, 23rd International Conference on Distributed Computing Systems Workshops, 2003. Proceedings., pp.178-183, 2003. ,
DOI : 10.1109/ICDCSW.2003.1203551
Data consistency in hard real-time systems, 1993. ,
THE OBSERVATION: AN ABSTRACT COMMUNICATION MECHANISM, Parallel Processing Letters, vol.09, issue.03, pp.437-450, 1999. ,
DOI : 10.1142/S0129626499000402
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers, 2002. ,
A framework for comparing models of computation, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.17, issue.12, pp.1217-1229, 1998. ,
DOI : 10.1109/43.736561
Allen Linear (Interval) Temporal Logic ? Translation to LTL and Monitor Synthesis, International Conference on Computer-Aided Verification (CAV'06), number 4144 in Lecture Notes in Computer Science, pp.263-277, 2006. ,
Maintaining temporal consistency: pessimistic vs. optimistic concurrency control, IEEE Transactions on Knowledge and Data Engineering, vol.7, issue.5, pp.786-796, 1995. ,
DOI : 10.1109/69.469820
Holistic schedulability analysis for distributed hard real-time systems, Microprocessing and Microprogramming, vol.40, issue.2-3, pp.117-134, 1994. ,
DOI : 10.1016/0165-6074(94)90080-9
Scheduling transactions with temporal constraints: exploiting data semantics, RTSS '96: Proc. of the 17th IEEE Real-Time Systems Symposium, pp.240-253, 1996. ,