Sciweavers

Share
CONCUR
2005
Springer
9 years 7 months ago
The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation
Abstract. Delaying the synchronization of actions may reveal some hidden behavior that would not happen if the synchronization met the speciļ¬ed deadlines. This precise phenomenon...
Pedro R. D'Argenio, Biniam Gebremichael
books