卢德米拉·切尔卡索娃;Rodney R.豪厄尔。;路易斯·罗西尔(Louis E.Rosier)。 有界自稳定Petri网。 (英语) Zbl 0826.68084号 学报信息。 189-207年第3号第32页(1995年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Cherkasova}等人,《信息学报》32,第3期,189--207(1995;Zbl 0826.68084) 全文: DOI程序
最好的,艾克;卢德米拉·切尔卡索娃;德塞尔,约格 自由选择网中母国的组合生成。 (英语) Zbl 0782.68087号 正式Asp。计算。 4,第6号,572-581(1992).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Best}等人,正式Asp。计算。4,编号6,572--581(1992;Zbl 0782.68087) 全文: DOI程序
最好的,艾克;卢德米拉·切尔卡索娃;德塞尔,约格 自由选择体系中母国的组成。 (英语) Zbl 0773.68055号 计算机科学的理论方面,Proc。第8年。交响乐团。,德国汉堡STACS’91。1991年,法律。注释计算。科学。480, 398-409 (1991).MSC公司:68问题85 第68季度10 PDF格式BibTeX公司 XML格式引用 \textit{E.Best}等人,Lect。注释计算。科学。480398--409(1991年;Zbl 0773.68055)
Ludmila A.Cherkasova。;费林,亚历山大·S·。 同步并发进程:网络和代数方法。 (英语) Zbl 0688.68057号 Botik的逻辑,Proc。计算机科学逻辑基础研讨会,佩雷斯拉夫·泽莱斯基/苏联1989年,Lect。注释计算。科学。363, 63-80 (1989). 审核人:H.保险丝 MSC公司:68问题85 68卢比99 93C55美元 08C99号 PDF格式BibTeX公司 XML格式
科托夫,V.E。;洛杉矶切尔卡索娃。 从网络到逻辑,再到过程规范。 (英语) Zbl 0676.68021号 并发与网络,Petri网进展,253-268(1987)。 审核人:H.保险丝 MSC公司:99年第68季度 03B60号 03G25号 93年2月25日 PDF格式BibTeX公司 XML格式
科托夫,V.E。;洛杉矶切尔卡索娃。 连接网络和逻辑方法来描述过程。 (俄语) Zbl 0664.03027号 维奇尔。修女。 122, 97-109 (1987). 审核人:S.V.索洛维耶夫 MSC公司:03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{V.E.Kotov}和\textit{L.A.Cherkasova},Vychils。修女。122、97--109(1987年;Zbl 0664.03027)
Ludmila A.Cherkasova。;瓦迪姆·科托夫(Vadim E.Kotov)。 Petri网命题时态逻辑的不可判定性。 (英语) Zbl 0633.03018号 计算。Artif公司。智力。 6, 123-130 (1987). 审核人:J.塞夫拉内克 MSC公司:03B70号 68问题85 03B25号 03B45号 68问题65 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.A.Cherkasova}和\textit{V.E.Kotov},计算。Artif公司。智力。6123--130(1987年;Zbl 0633.03018)
S.A.斯塔科娃。;洛杉矶切尔卡索娃。 证明树在并行程序综合中的应用。 (俄语) Zbl 0618.68014号 计算。Artif公司。智力。 6, 41-50 (1987).MSC公司:60年第68季度 68N25号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Starkova}和\textit{L.A.Cherkasova}.计算。Artif公司。智力。6、41-50(1987年;Zbl 0618.68014)
科托夫,V.E。;洛杉矶切尔卡索娃。 Petri网命题时态逻辑的不确定性。 (俄语) Zbl 0614.68046号 维奇尔。修女。 107, 124-136 (1985). 审核人:J.兹拉图斯卡 MSC公司:68问题85 03B70号 03B25号 03天35分 PDF格式BibTeX公司 XML格式引用 \textit{V.E.Kotov}和\textit{L.A.Cherkasova},Vychils。修女。107、124--136(1985年;Zbl 0614.68046)
科托夫,V.E。;切尔卡索娃,L.A。 关于广义过程的结构性质。 (英语) Zbl 0574.68055号 1984年Petri网进展,Lect。注释计算。科学。188, 288-306 (1985).MSC公司:68问题85 68N25号 PDF格式BibTeX公司 XML格式
洛杉矶切尔卡索娃。 关于非循环网中的并行性和KA-密度的关系。 (俄语) Zbl 0533.68060号 并行计算和编程系统,收集。科学。作品,新西伯利亚,1981,13-28(1981)。 审核人:W.夸索维奇 MSC公司:68问题85 PDF格式BibTeX公司 XML格式
科托夫,V.E。;洛杉矶切尔卡索娃。 结构化网络。 (英语。俄文原件) 兹伯利0494.68067 控制论 17, 464-473 (1982); 译自Kibernetika 1981,第4期,33-41(1981)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{V.E.Kotov}和\textit{L.A.Cherkasova},控制论17,464--473(1981;Zbl 0494.68067);译自Kibernetika 1981,No.4,33-41(1981) 全文: DOI程序
洛杉矶切尔卡索娃。;科托夫,V.E。 结构化网络。 (英语) Zbl 0481.68057号 计算机科学数学基础1981,Proc。第十交响曲。,Strbske Pleso/捷克。1981年,Lect。注释计算。科学。118, 242-251 (1981).MSC公司:68问题85 68N25号 PDF格式BibTeX公司 XML格式