2000
The cones and foci proof techniques for timed transition systems
Publication
Publication
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.
| Additional Metadata | |
|---|---|
| , , | |
| CWI | |
| Software Engineering [SEN] | |
|
van der Zwaag, M. B. (2000). The cones and foci proof techniques for timed transition systems. Software Engineering [SEN]. CWI. |
|
