Phillips, Iain; Ulidowski, Irek Event identifier logic. (English) Zbl 1342.68240 Math. Struct. Comput. Sci. 24, No. 2, Article ID e240204, 51 p. (2014). MSC: 68Q85 03B45 PDFBibTeX XMLCite \textit{I. Phillips} and \textit{I. Ulidowski}, Math. Struct. Comput. Sci. 24, No. 2, Article ID e240204, 51 p. (2014; Zbl 1342.68240) Full Text: DOI
Phillips, Iain; Ulidowski, Irek A hierarchy of reverse bisimulations on stable configuration structures. (English) Zbl 1238.68102 Math. Struct. Comput. Sci. 22, No. 2, 333-372 (2012). MSC: 68Q85 PDFBibTeX XMLCite \textit{I. Phillips} and \textit{I. Ulidowski}, Math. Struct. Comput. Sci. 22, No. 2, 333--372 (2012; Zbl 1238.68102) Full Text: DOI