Metric semantics for reactive probabilistic processes (1997)

by Gethin Josiah Norman
Citations:6 - 1 self