Relative Frequency in a Synchronous Calculus

Chris Tofts

Abstract: We present a weighted synchronous calculus that can be interpreted as reasoning over probabilistic processes . The abstraction from absolute weight to relative frequency is obtained semantically. We also add a notion of dominance which can be interpreted as priority. This notion is shown to be dual to that of "zero probability" [SST89,GSST90] and can be used to construct arbitrary priority structures. Finally, an equational system for reasoning about the weighted processes is presented.

LFCS report ECS-LFCS-90-108

Previous | Index | Next