The simulation preorder for labeled transition systems is defined locally as a game that
relates states with their immediate successor states. Liveness assumptions about transition …

During the last decade, CCS has been extended in di erent directions, among them priority
and real time. One of the most satisfactory results for CCS is Milner's complete proof system …

We propose a general approach to define behavioural preorders over process terms by
considering the pre-congruences induced by three basic observables. These observables …

We present a new testing semantics, called friendly testing, whose main property is that the
induced preorder between processes vfr is consistent with the conformance relation, and so …