Towards a denotational semantics of timed RSL using duration calculus

  title={Towards a denotational semantics of timed RSL using duration calculus},
  author={Li Li},
  journal={Journal of Computer Science and Technology},
The Timed RAISE Specification Language (Timed RSL) is an extension of RAISE Specification Language by adding time constructors for specifying real-time applications. Duration Calculus (DC) is a real-time interval logic, which can be used to specify and reason about timing and logical constraints on duration properties of Boolean states in a dynamic system. This paper gives a denotational semantics to a subset of Timed RSL expressions, using Duration Calculus extended with super-dense chop… CONTINUE READING


Publications citing this paper.
Showing 1-4 of 4 extracted citations

"UML-ising' Formal Techniques

SoftSpez Final Report • 2004
View 15 Excerpts
Highly Influenced

Formal Description of Network Protocols Using RAISE Specification Language

2011 International Conference on Network Computing and Information Security • 2011

Real-Time Systems Development with Duration Calculi: An Overview

10th Anniversary Colloquium of UNU/IIST • 2002
View 1 Excerpt


Publications referenced by this paper.
Showing 1-6 of 6 references

An Operational Semantics for Timed RAISE

World Congress on Formal Methods • 1999
View 1 Excerpt

Towards a theory of sequential hybrid programs

K PandyaP, Wang H-P, Xu Q-W
In Programming Concepts and Methods (Procomet'98), • 1998

Chopping a Point

Zhou Chaochen, R HansenM
In Proc. BCS FACS 7th Refinement Workshop, Electronic Workshops in Computing, He J-F et al. (eds.), Springer-Verlag, • 1996
View 2 Excerpts

A Calculus of Durations

Inf. Process. Lett. • 1991
View 2 Excerpts

Similar Papers

Loading similar papers…