首页> 外文学位 >Systems of communicating finite-state machines as a distributed alternative to finite-state machines.

【24h】

Systems of communicating finite-state machines as a distributed alternative to finite-state machines.

机译：通信有限状态机的系统，作为有限状态机的分布式替代方案。

获取原文

获取原文并翻译 | 示例

页面导航

著录项
相似文献
相关主题

著录项

作者
Klemm, Reinhard Peter.;
展开▼
作者单位

The Pennsylvania State University.;

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

相似文献

外文文献
中文文献
专利

1. Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic [J] . Benedikt Bollig, Marie Fortin, Paul Gastin Journal of computer and system sciences . 2021,第Feba期

机译：沟通有限状态机，一阶逻辑和无星际命题动态逻辑
2. Communicating Finite-State Machines and Two-Variable Logic [J] . Benedikt Bollig, Marie Fortin, Paul Gastin LIPIcs : Leibniz International Proceedings in Informatics . 2018,第2015期

机译：通信有限状态机和二变量逻辑
3. It Is Easy to Be Wise After the Event: Communicating Finite-State Machines Capture First-Order Logic with "Happened Before" [J] . Benedikt Bollig, Marie Fortin, Paul Gastin LIPIcs : Leibniz International Proceedings in Informatics . 2018,第2015期

机译：事件发生后很容易明智：通信有限状态机以“之前发生”捕获一阶逻辑
4. Knowledge-driven finite-state machines. Study case in monitoring industrial equipment [C] . Moctezuma Luis E.Gonzalez, Ferrer Borja Ramis, Xu Xiangbin, IEEE International Conference on Industrial Informatics . 2015

机译：知识驱动的有限状态机。工业设备监控研究案例
5. Verification of Well-Formedness in Message-Passing Asynchronous Systems Modeled as Communicating Finite-State Machines [D] . Nalla, Shiva Shankar. 2017

机译：验证为通信有限状态机的消息传递异步系统中格式正确的验证
6. Chemical implementation of finite-state machines. [O] . A Hjelmfelt, E D Weinberger, J Ross 1992

机译：有限状态机的化学实现。
7. Algebraic representations for finite-state machines. I. Monoid-ring formulation [O] . Moeller Thomas L., Milstein Jaime 1996

机译：有限状态机的代数表示。一，单环设计
8. Lower Bounds on the Area of Finite-State Machines. [R] . Foster, M. J., Greenberg, R. I. 1989

机译：有限状态机区域的下界。

Systems of communicating finite-state machines as a distributed alternative to finite-state machines.

著录项

相似文献

相关主题

期刊订阅