Duration Calculus Specification of Scheduling for Tasks with Shared Resources (1995)

Cached

Download Links

by Philip Chan , Dang Van Hung
Venue:LNCS 1023, Springer-Verlag
Citations:6 - 4 self

Documents Related by Co-Citation

23 A Formal Proof of a Deadline Driven Scheduler – Zheng Yuhua, Zhou Chaochen - 1994
80 Duration calculus: Logical foundations – M R Hansen, Zhou Chaochen - 1997
9 Modelling and Verification of Biphase Mark Protocols in Duration Calculus Using PVS – Dang Van Hung
247 A Calculus of Durations – Z Chaochen, C Hoare, A Ravn - 1991
4 Huong and Dang Van Hung. Modelling Real-time Database Systems in Duration Calculus – Ho Van - 2002
3 Kwei-Jay Lin and Sang Hyuk Son. Real-Time Database Systems: Issues and Applications – Azer Bestavros - 1997
13 Real-Time Database Systems: Architecture and Techniques – K-Y Lam, T-W Kuo - 2000
7 Real-time Systems Development with Duration Calculus: an Overview – Dang Van Hung - 2002
4 A Formal Specification of the Concurrency Control in Real-Time Databases – Ekaterina Pavlova - 1999
2 Synthesizing Controllers of Duration Calculus – Franzle Martin - 1996
7 Prefix and Projection onto State in Duration Calculus – Dimitar P. Guelev, Dang Van Hung - 2001
12 A recursive duration calculus – P K Pandya, Y S Ramakrishna - 1995
8 On the Completeness and Decidability of Duration Calculus with Iteration. submitted – D P Guelev, Dang Van Hung - 2000
26 Complete Proof Systems for First Order Interval Temporal Logic – Bruno Dutertre - 1995
3 Some Results on the Decidability of Duration Calculus under Synchronous Interpretation – Manoranjan Satpathy, Dang Van Hung, Paritosh K. Pandya - 1996
55 A Kleene Theorem for Timed Automata – Eugene Asarin, Paul Caspi, Oded Maler - 1997
1 On the Complexity of Fixed Priority Scheduling of Real-Time Tasks, Performance Evaluation 2(4 – J Leung, J Whitehead - 1982
1 Tomasz Janowski, Verification of Schedulability for Real-Time Programs – Zhiming Liu, Mathai Joseph - 1995
7 and Zhou Chaochen. Duration calculus: Logical foundations. Formal Aspects of Computing – M R Hansen - 1983