Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 1991 · 19 citations · 0 references
Open access
EngineeringComputer EngineeringComputer ScienceAlgebraReal-time SystemsStochastic ProcessesProcess AlgebraProcess ModelingReal-time Systems ArchitectureReal-time Systems DesignState-space RepresentationTemporal LogicReal-time System ModelsTemporal AlgebraTimed Process Algebra
In this paper we extend Real Time Process Algebra by the silent step r.We start by giving the operational semantics and we find a characterizing law of which the soundness and the completeness is proven.By adding the integral construct we can in- terpret symbolic (untimed) process terms as timed processes.We investigate the resulting r-equivalence and come to a delay bisirnulation with a stronger root condition.Finally we test the applicability of this notion of real time abstraction by proving the PAR protocol (Positive Acknowledgement with Retransmission) correct.