Towards a denotational semantics of timed RSL using duration calculus

DOI10.1007/BF02948854zbMath0974.68114MaRDI QIDQ5934292

Li Li

Publication date: 19 June 2001

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

zbMATH Keywords

duration calculustimed RAISE specification language

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

A Formal Model for a Hybrid Programming Language

Cites Work

• Unnamed Item
• Unnamed Item
• A calculus of durations

This page was built for publication: Towards a denotational semantics of timed RSL using duration calculus