Abstract | ||
---|---|---|
Duration Calculus (DC) [22] was introduced as a logic to specify real-time requirements of computing systems. It has been used successfully in a number of case studies. Moreover, many variants of DC were proposed to deal with various real-time systems, including communicating processes [24], sequential hybrid systems [19, 23] imperative programming languages [2,17,18,24] finite divergence [6] and liveness properties [1,25]. This paper aims to integrate those variants, and provides a logical framework for DC-based programming, and a design calculus for mixed hardware/software systems. |
Year | DOI | Venue |
---|---|---|
2004 | null | Lecture Notes in Computer Science |
DocType | Volume | Issue |
Conference | 3407 | null |
ISSN | ISBN | Citations |
null | 3-540-25304-1 | 2 |
PageRank | References | Authors |
0.38 | 9 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
He Jifeng | 1 | 1771 | 190.43 |
Naiyong Jin | 2 | 95 | 8.40 |