里扎德·贾尼基;码头Kleijn;马西耶·库特尼;乌卡斯·米库尔斯基 台阶痕迹。 (英语) Zbl 1335.68173号 学报信息。 53,第1期,35-65(2016).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Janicki}等人,Acta Inf.53,No.1,35-65(2016;Zbl 1335.68173) 全文: 内政部
里扎德·贾尼基 并发的关系结构模型。 (英语) Zbl 1147.68054号 学报信息。 45,第4号,279-320(2008).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Janicki},Acta Inf.45,No.4,279--320(2008;Zbl 1147.68054) 全文: 内政部
里扎德·贾尼基;马西耶·库特尼 使用离散关系结构建模并发的基础知识。 (英语) Zbl 0934.68047号 学报信息。 34,第5期,367-388(1997).MSC公司:第68季度10 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Janicki}和\textit{M.Koutny},Acta Inf.34,第5367-388号(1997年;Zbl 0934.68047) 全文: 内政部
里扎德·贾尼基 具有优先级关系的并发系统的形式化语义。 (英语) Zbl 0589.68021号 学报信息。 24, 33-55 (1987).MSC公司:第68页第25页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Janicki},Acta Inf.24,33--55(1987;Zbl 0589.68021) 全文: 内政部