Timed RSL
by Ri Hyon Sul, He Jifeng
http://www.iist.unu.edu/newrh/III/1/docs/techreports/report275.ps.gz
Add To MetaCart
Abstract:
Training Centre of the United Nations University (UNU). It is based in Macau, and was founded in
Citations
| 137 | Unifying Theories of Programming – Hoare, Jifeng - 1998 |
| 19 | Towards a time model for Circus – Sherif, Jifeng - 2002 |
| 18 | An Operational Semantics for Timed RAISE – Xia, George - 1999 |
| 17 | A Denotational Semantics of Timed RSL using Duration Calculus – Li, Jifeng - 1999 |
| 14 | Duration Calculus with Weakly Monotonic Time – Pandya, Hung - 1996 |
| 13 | Deriving real-time programs from duration calculus specifications – Siewe, Hung - 2000 |
| 5 | Introducing time in RSL: a simple case study – George - 1998 |
| 4 | Framework for the Specification, Verification and Development of Real Time Systems Using Circus – Sherif, Jifeng - 2002 |
| 4 | Advanced features of duration calculus and their applications – Jifeng, Qiwen - 1999 |
| 3 | The RAISE Justification Handbook – George, Prehn - 1993 |
| 2 | The RSL Semantics Course – Debabi - 1993 |
| 2 | Adding time to RSL – George, Hung - 1997 |
| 2 | A Note on Complete Lattices and Tarski's Fixed-point Theorem – Aceto, Larsen, et al. - 2001 |
