We show that the proof-theoretic notion of logical preorder coincides with the process-theoretic notion of contextual preorder for a CCS-like process calculus obtained from the formula-as-process interpretation of a fragment of linear logic. The argument makes use of other standard notions in process algebra, namely simulation and labeled transition systems. This result establishes a connection...

A blind (non-data aided), open loop, joint frequency offset and delay estimation algorithm for a linearly modulated signal in additive stationary noise is developed by exploiting the cyclostationarity of the signal. By considering the sample cyclic autocorrelation function of the received signal and the probability distribution of the estimation error, a general linear model representation of t...