The cones and foci proof technique for timed transition systems

✍ Scribed by Mark B. van der Zwaag

• Book ID: 104136626
• Publisher: Elsevier Science
• Year: 2001
• Tongue: English
• Weight: 104 KB
• Volume: 80
• Category: Article
• ISSN: 0020-0190
• DOI: 10.1016/s0020-0190(01)00215-0

✦ Synopsis

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.