Paper Info
Title
Timed Modal Specification - Theory and Tools
Abstract
. In this paper we present the theory of Timed Modal Specifications (TMS) together with its implementation, the tool Epsilon. TMSand Epsilon are timed extensions of respectively Modal Specifications[7, 9] and the Tav system [6, 4]. Also, the theory of TMS is an extensionof real--timed process calculi with the specific aim of allowing loose orpartial specifications. This allows us to define a notion of refinement,generalizing in a natural way the classical notion of bisimulation.1...
Year
DOI
Venue
1993
10.1007/3-540-56922-7_21
CAV
Keywords
Field
DocType
timed modal specification,real time processing
Programming language,Computer science,Generalization,Theoretical computer science,Bisimulation,Process calculus,Modal
Conference
ISBN
Citations 
PageRank 
3-540-56922-7
42
3.66
References 
Authors
15
3
Name
Order
Citations
PageRank
Karlis Cerans131448.74
Jens Chr. Godskesen221418.01
Kim Guldstrand Larsen34434346.88