阿克西,S。;洛依茨海露;拉姆昌德拉·帕瓦德 在Petri网中结合了自由选择和时间。 (英语) Zbl 1451.68190号 J.日志。阿尔盖布。方法计划。 110,文章ID 100426,29 p.(2020).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Akshay}等人,J.Log。阿尔盖布。方法计划。110,文章ID 100426,29 p.(2020;Zbl 1451.68190) 全文: 内政部 哈尔
卡马尔·洛达亚;马达瓦恩·穆昆德;拉姆昌德拉·帕瓦德 乘积系统的Kleene定理。 (英语) Zbl 1341.68132号 Holzer,Markus(编辑)等人,《形式系统的描述复杂性》。第13届国际研讨会,DCFS 2011,2011年7月25日至27日,德国林堡Gießen。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22599-4/pbk)。计算机科学讲义6808235-247(2011)。MSC公司:68问题85 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Lodaya}等人,Lect。注释计算。科学。6808235-247(2011;Zbl 1341.68132) 全文: 内政部 链接