| タイトル | Concurrency and discrete event control |
| 著者（英） | Heymann, Michael |
| 著者所属（英） | NASA Ames Research Center|Technion - Israel Inst. of Tech. |
| 発行日 | 1990-06-01 |
| 言語 | eng |
| 内容記述 | Much of discrete event control theory has been developed within the framework of automata and formal languages. An alternative approach inspired by the theories of process-algebra as developed in the computer science literature is presented. The framework, which rests on a new formalism of concurrency, can adequately handle nondeterminism and can be used for analysis of a wide range of discrete event phenomena. |
| NASA分類 | CYBERNETICS |
| レポートNO | 90A45421 |
| 権利 | Copyright |
| URI | https://repository.exst.jaxa.jp/dspace/handle/a-is/354603 |
|
