Specification and transformation of reactive systems with time restrictions and concurrency

Publisher Website

1 January 1994

book chapter
Published by Springer Nature

p. 605-620
https://doi.org/10.1007/3-540-58468-4_186

Abstract

No abstract available

Keywords

This publication has 7 references indexed in Scilit:

A predicative semantics for the refinement of real-time systems
Published by Springer Nature ,1994
Specifying and verifying requirements of real-time systems
IEEE Transactions on Software Engineering, 1993
Interfaces between languages for communicating systems
Published by Springer Nature ,1992
From ATP to timed graphs and hybrid systems
Published by Springer Nature ,1992
A calculus of durations
Information Processing Letters, 1991
Real time process algebra
Formal Aspects of Computing, 1991
Specification and Compositional Verification of Real-Time Systems
Published by Springer Nature ,1991