TRANSITION SYSTEMS, INFINITARY LANGUAGES AND THE SEMANTICS OF UNIFORM CONCURRENCY. | 東京工業大学附属図書館文献データベース

Blank Cover Image

TRANSITION SYSTEMS, INFINITARY LANGUAGES AND THE SEMANTICS OF UNIFORM CONCURRENCY.

著者名:: Debakker, J.W. ( CENTER FOR MATH. AND COMPUTER SCI., AMSTERDAM )
掲載資料名:: NASA Technical Reports
発行年:: 1985
号:: CWI-CS-R8506
ペーパー番号:: N86-18034
開始ページ:: 1
終了ページ:: 14
総ページ数:: 14
出版情報:: National Aeronautics and Space Administration
言語:: 英語
資料種別:: テクニカルペーパー

詳細

TDL書誌ID:

ZA00001422

類似資料:

1 テクニカルペーパー TRANSITION SYSTEMS, INFINITARY LANGUAGES AND THE SEMANTICS OF UNIFORM CONCURRENCY. DEBAKKER, J.W. National Aeronautics and Space Administration	7 テクニカルペーパー INFINITE STREAMS AND FINITE OBSERVATIONS IN THE SEMANTICS OF UNIFORM CURRENCY. DEBAKKER, J.M. National Aeronautics and Space Administration
2 テクニカルペーパー INFINITE STREAMS AND FINITE OBSERVATIONS IN THE SEMANTICS OF UNIFORM CONCURRENCY… Debakker, J.W. National Aeronautics and Space Administration	8 テクニカルペーパー Bisimulation semantics for concurrency with atomicity and action refinement de Bakke, J.W., de Vink, E.P. National Aeronautics and Space Adminstration
3 テクニカルペーパー TRANSITION SYSTEMS, METRIC SPACES AND READY SETS IN THE SEMANTICS... DEBAKKER, J.W. National Aeronautics and Space Administration	9 テクニカルペーパー An infinitary Church-rosser property for non-collapsing prthogonal term rewriting systems Kennaway, J.R., Klop, J.W., Sleep, M.R., de Vries, F.J. National Aeronautics and Space Adminstration
4 テクニカルペーパー CONTRASTING THEMES IN THE SEMANTICS OF IMPERATIVE CONCURRENCY DEBAKKER, J.W. National Aeronautics and Space Administration	10 テクニカルペーパー Fully abstract denotational models for nonumitorm concurrent languages Horita, E., de Bakker, J.W., Rutten, J.J.M.M. National Aeronautics and Space Adminstration
5 テクニカルペーパー METRIC SEMANTICS FOR CONCURRENCY. DEBAKKER, J. et al. National Aeronautics and Space Administration	11 テクニカルペーパー THE PAP PREPROCESSOR: A Precompiler for a language for concurrent processing on a multiprocessor system Lemmens, W. J. M. National Aeronautics and Space Administration
6 テクニカルペーパー Metric pomset semantics for a concurrent language with recursion de Bakker, J.W., Warmerdam, J.H.A. National Aeronautics and Space Adminstration	12 テクニカルペーパー Flow Uniformity Optimization for Diesel Aftertreatment Systems. Girard, J.W., Lacin, F., Hass, C.J., Hodonsky, J. Society of Automotive Engineers

1

2

3

4

5

6

7

8

9

10

11

12