Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo Bisimulations in calculi modelling membranes. (English) Zbl 1152.68035 Formal Asp. Comput. 20, No. 4-5, 351-377 (2008). MSC: 68Q85 68Q10 68Q42 68Q55 68Q60 92C37 PDFBibTeX XMLCite \textit{R. Barbuti} et al., Formal Asp. Comput. 20, No. 4--5, 351--377 (2008; Zbl 1152.68035) Full Text: DOI
Inverardi, Paola; Priami, Corrado; Yankelevich, Daniel Automatizing parametric reasoning on distributed concurrent systems. (English) Zbl 0829.68052 Formal Asp. Comput. 6, No. 6, 676-695 (1994). MSC: 68Q10 68Q60 PDFBibTeX XMLCite \textit{P. Inverardi} et al., Formal Asp. Comput. 6, No. 6, 676--695 (1994; Zbl 0829.68052) Full Text: DOI
Cleaveland, Rance; Hennessy, Matthew Testing equivalence as a bisimulation equivalence. (English) Zbl 0797.68058 Formal Asp. Comput. 5, No. 1, 1-20 (1993). Reviewer: M.Křetínský (Brno) MSC: 68Q10 68Q55 68Q85 68Q60 PDFBibTeX XMLCite \textit{R. Cleaveland} and \textit{M. Hennessy}, Formal Asp. Comput. 5, No. 1, 1--20 (1993; Zbl 0797.68058) Full Text: DOI