An interactive system for the analysis of communicating processes.

Günter Karjoth An interactive system for the analysis of communicating processes. 91-102 1985 conf/pstv/1985 PSTV db/conf/pstv/pstv1985.html#Karjoth85