Samuel Canham

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
We explore different approaches to modelling external choice as a reactive process in a UTP semantics with discrete time. The standard definition of external choice can not be simply reused in a timed semantics, since it can introduces behaviours which are not prefix-closed and urgent events which occur instantly. We first examine unstable states and urgent(More)
  • 1