TRANSITION SYSTEMS, INFINITARY LANGUAGES AND THE SEMANTICS OF UNIFORM CONCURRENCY.
- 著者名:
- DEBAKKER, J.W. ( AMSTERDAM UNIV. )
- 掲載資料名:
- NASA Technical Reports
- 発行年:
- 1985
- 号:
- IR-96
- ペーパー番号:
- N86-28640
- 開始ページ:
- 1
- 終了ページ:
- 11
- 総ページ数:
- 11
- 出版情報:
- National Aeronautics and Space Administration
- 言語:
- 英語
- 資料種別:
- テクニカルペーパー
類似資料:
National Aeronautics and Space Administration |
National Aeronautics and Space Administration |
National Aeronautics and Space Administration |
National Aeronautics and Space Adminstration |
National Aeronautics and Space Administration |
9
テクニカルペーパー
An infinitary Church-rosser property for non-collapsing prthogonal term rewriting systems
National Aeronautics and Space Adminstration |
National Aeronautics and Space Administration |
National Aeronautics and Space Adminstration |
National Aeronautics and Space Administration |
11
テクニカルペーパー
THE PAP PREPROCESSOR: A Precompiler for a language for concurrent processing on a multiprocessor system
National Aeronautics and Space Administration |
National Aeronautics and Space Adminstration |
Society of Automotive Engineers |