首页> 外文学位 >The probabilistic asynchronous pi -calculus.

【24h】

The probabilistic asynchronous pi -calculus.

机译：概率异步pi演算。

获取原文

获取原文并翻译 | 示例

AI期刊论文写作 >>

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Herescu, Oltea Mihaela.;
展开▼
作者单位

The Pennsylvania State University.;

展开▼
授予单位 The Pennsylvania State University.;
学科 Computer science.
学位 Ph.D.
年度 2002
页码 116 p.
总页数 116
原文格式 PDF
正文语种 eng
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. Verifying concurrent probabilistic systems using probabilistic-epistemic logic specifications [J] . Wan Wei, Bentahar Jamal, Yahyaoui Hamdi, Applied Intelligence: The International Journal of Artificial Intelligence, Neural Networks, and Complex Problem-Solving Technologies . 2016,第3期

机译：使用概率论逻辑规范验证并发概率论系统
2. Model checking epistemic-probabilistic logic using probabilistic interpreted systems [J] . Wei Wan, Jamal Bentahar, Abdessamad Ben Hamza Knowledge-Based Systems . 2013,第sepa期

机译：使用概率解释系统对认知概率逻辑进行模型检查
3. Information spreading in a population modeled by continuous asynchronous probabilistic cellular automata [J] . Computer Communications . 2020,第Mara期

机译：通过连续异步概率细胞自动机建模的群体中的信息传播
4. Probabilistic Asynchronous #pi#-Calculus [C] . Oltea Mihaela Herescu, Catuscia Palamidessi International conference on foundations of software science and computation structure . 2000

机译：概率异步＃pi＃-calculus
5. Learning, probabilistic, and asynchronous technologies for an ultra efficient datapath. [D] . Marr, Bo. 2009

机译：学习，概率和异步技术，可实现超高效的数据路径。
6. Synchronous and Asynchronous Theta and Gamma Activity during Episodic Memory Formation [O] . John F. Burke, Kareem A. Zaghloul, Joshua Jacobs, 2013

机译：情景记忆形成过程中的同步和异步Theta和Gamma活动
7. Probabilistic asynchronous pi-calculus [O] . Herescu, Oltea Mihaela, Palamidessi, Catuscia 2001

机译：概率异步pi演算

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号