Abstract
In this paper we present the theory of Timed Modal Specifications (TMS) together with its implementation, the tool EPSILON. TMS and EPSILON are timed extensions of respectively Modal Specifications [7, 9] and the TAV system [6, 4]. Also, the theory of TMS is an extension of real-timed process calculi with the specific aim of allowing loose or partial specifications. This allows us to define a notion of refinement, generalizing in a natural way the classical notion of bisimnlation.
Cite
CITATION STYLE
Čerāns, K., Godskesen, J. C., & Larsen, K. G. (1993). Timed modal specification – Theory and tools. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 697 LNCS, pp. 253–267). Springer Verlag. https://doi.org/10.1007/3-540-56922-7_21
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
