Metric pomset semantics for a concurrent language with recursion | 東京工業大学附属図書館文献データベース

Blank Cover Image

Metric pomset semantics for a concurrent language with recursion

著者名:

de Bakker, J.W. ( Centre for Mathematics and Computer Science )
Warmerdam, J.H.A.

掲載資料名:

NASA Technical Reports

発行年:

1990

通号:

N91-18656

ペーパー番号:

N91-18656

開始ページ:

1

終了ページ:

23

総ページ数:

23

出版情報:

National Aeronautics and Space Adminstration

言語:

英語

資料種別:

テクニカルペーパー

詳細

TDL書誌ID:

ZA00001427

類似資料:

1 テクニカルペーパー Four domains for concurrency de Bakker, J.W., Warmerdam, J.H.A. National Aeronautics and Space Adminstration	7 テクニカルペーパー INFINITE STREAMS AND FINITE OBSERVATIONS IN THE SEMANTICS OF UNIFORM CONCURRENCY… Debakker, J.W. National Aeronautics and Space Administration
2 テクニカルペーパー TRANSITION SYSTEMS, INFINITARY LANGUAGES AND THE SEMANTICS OF UNIFORM CONCURRENCY. DEBAKKER, J.W. National Aeronautics and Space Administration	8 テクニカルペーパー TRANSITION SYSTEMS, METRIC SPACES AND READY SETS IN THE SEMANTICS... DEBAKKER, J.W. National Aeronautics and Space Administration
3 テクニカルペーパー TRANSITION SYSTEMS, INFINITARY LANGUAGES AND THE SEMANTICS OF UNIFORM CONCURRENCY. Debakker, J.W. National Aeronautics and Space Administration	9 テクニカルペーパー METRIC SEMANTICS FOR CONCURRENCY. DEBAKKER, J. et al. National Aeronautics and Space Administration
4 テクニカルペーパー Conceurrency semantics based on metric domain equations de Bakker, J.W., Rutten, J.J.M.M. National Aeronautics and Space Adminstration	10 テクニカルペーパー Bisimulation semantics for concurrency with atomicity and action refinement de Bakke, J.W., de Vink, E.P. National Aeronautics and Space Adminstration
5 テクニカルペーパー Fully abstract denotational models for nonumitorm concurrent languages Horita, E., de Bakker, J.W., Rutten, J.J.M.M. National Aeronautics and Space Adminstration	11 テクニカルペーパー A layered semantics for a parallel object-oriented language America, P.H.M., Rutten, J.J.M.M. National Aeronautics and Space Adminstration
6 テクニカルペーパー CONTRASTING THEMES IN THE SEMANTICS OF IMPERATIVE CONCURRENCY DEBAKKER, J.W. National Aeronautics and Space Administration	12 テクニカルペーパー A COMPOSITIONAL SEMANTICS FOR CONCURRENT PROLOG. KOK, J. National Aeronautics and Space Administration

1

2

3

4

5

6

7

8

9

10

11

12