Hennessy, Matthew; Merro, Massimo; Rathke, Julian Towards a behavioural theory of access and mobility control in distributed systems. (English) Zbl 1071.68009 Theor. Comput. Sci. 322, No. 3, 615-669 (2004). MSC: 68M14 68Q85 PDF BibTeX XML Cite \textit{M. Hennessy} et al., Theor. Comput. Sci. 322, No. 3, 615--669 (2004; Zbl 1071.68009) Full Text: DOI
Hennessy, M.; Rathke, J. Bisimulations for a calculus of broadcasting systems. (English) Zbl 0915.68065 Theor. Comput. Sci. 200, No. 1-2, 225-260 (1998). MSC: 68Q10 68T15 PDF BibTeX XML Cite \textit{M. Hennessy} and \textit{J. Rathke}, Theor. Comput. Sci. 200, No. 1--2, 225--260 (1998; Zbl 0915.68065) Full Text: DOI