Specification Languages for Distributed Real-time Software
Colin Fidge, MJ Pilling · 1990
This paper summarises, in tabular form, the results of a wide-ranging survey of specification languages suited to formally describing distributed real-time systems. The languages are characterised in terms of their overall modelling technique, specific features for modelling concurrency and real-time concepts, and their suitability for formal timing analysis. Based on this survey some directions are indicated for future work. 1.