Testing Theories for Asynchronous Languages
I. Castellani and M. Hennessy. In Proc. FST-TCS 98, LNCS 1530 (1998).

Abstract:
We study testing preorders for an asynchronous version of CCS called TACCS, where message emission is non blocking. We first give a labelled transition system semantics for this language, which includes both external and internal choice operators. By applying the standard definitions of may and must testing to this semantics we obtain two behavioural preorders based on asynchronous observations. We present alternative behavioural characterisations of these preorders, which are subsequently used to obtain equational theories for the finite fragment of the language.

[ Postscript ]


Ilaria Castellani
Last modified: Fri Dec 17 17:33:27 MET 1999