We propose an extension of the cones and foci proof technique that can be used to prove timed branching bisimilarity of states in timed transition systems. We prove the correctness of this technique and we give an example verification.

, ,
CWI
Software Engineering [SEN]

van der Zwaag, M.B. (2000). The cones and foci proof techniques for timed transition systems. Software Engineering [SEN]. CWI.