An Axiomatization for Regular Processes in Timed Branching Bisimulation (1998)

Cached

Download Links

by Wan Fokkink
Venue:Fundamenta Informaticae
Citations:5 - 0 self