In this paper an event-based operational interleaving semantics is proposed for real-time processes, for which action refinement and a denotational true concurr
With the purpose of making the verification of parameterized system more general and easier, in this paper, a new and intuitive language PSL (Parameterized-syst