×

找到14个文档(结果1-14)

PO对重新配置的描述。 (英语) 兹伯利07719824

Seidl,Helmut(编辑)等人,《计算的理论方面——ICTAC 2022》。第19届国际学术讨论会,格鲁吉亚第比利斯,2022年9月27日至29日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13572, 42-59 (2022).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于抑制器和激活器网络的区间语义。 (英语) Zbl 07796222号

Donatelli,Susanna(编辑)等人,《Petri网和并发的应用和理论》。第40届国际会议,2019年6月23日至28日,德国亚琛,PETRI NETS 2019,会议记录。查姆:斯普林格。莱克特。注释计算。科学。11522, 192-212 (2019).
MSC公司:68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
全文: 内政部

布尔网络:超越广义异步性。 (英语) Zbl 1511.37017号

Baetens,Jan M.(编辑)等人,《细胞自动机和离散复杂系统》。第24届IFIP工作组1.5国际研讨会,2018年6月20日至22日,比利时根特,AUTOMATA 2018。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10875, 29-42 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

上下文网络中的非原子转换触发。 (英语) Zbl 1432.68302号

Devillers,Raymond(编辑)等人,Petri网和并发的应用和理论。第36届国际会议,PETRI NETS 2015,比利时布鲁塞尔,2015年6月21日至26日,会议记录。查姆:斯普林格。莱克特。注释计算。科学。9115, 117-136 (2015).
MSC公司:68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

分布式计算的其他模型背景下的部分有序知识共享和分级系统。 (英语) Zbl 1407.68339号

Iida,Shusaku(编辑)等人,《规范、代数和软件》。专为Kokichi Futatsugi撰写的论文。柏林:斯普林格。莱克特。注释计算。科学。8373, 402-433 (2014).
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

软件