Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
Affiliation:
1
0
3
0
It is proved that slice equivalence implies weak timed bisimulation under the selected observations, which preserves observable actions and total elapsed time across internal transitions, allowing the existing tiny twin to be reused.