Norwellfounded sets and programming language semantics | 東京工業大学附属図書館文献データベース

Blank Cover Image

Norwellfounded sets and programming language semantics

著者名:: Rutten, J.J.M.M. ( Centrum voor Wiskunde en Informatica )
掲載資料名:: NASA Technical Reports
発行年:: 1990
通号:: N91-25665
ペーパー番号:: N91-25665
開始ページ:: 1
終了ページ:: 20
総ページ数:: 20
出版情報:: National Aeronautics and Space Adminstration
言語:: 英語
資料種別:: テクニカルペーパー

詳細

TDL書誌ID:

ZA00001427

類似資料:

1 テクニカルペーパー A layered semantics for a parallel object-oriented language America, P.H.M., Rutten, J.J.M.M. National Aeronautics and Space Adminstration	7 テクニカルペーパー A parallel object-oriented languate: design and semantic foundations America, P.H.M., Rutten, J.J.M.M. National Aeronautics and Space Adminstration
2 テクニカルペーパー Derving denotational models for bisimulation from structured operational semantics Rutten, J.J.M.M. National Aeronautics and Space Adminstration	8 テクニカルペーパー Semantic models for a version of Parlog de Boer, F.S., Kek, J.N., P, C., Rutten, J.J.M.M. National Aeronautics and Space Adminstration
3 テクニカルペーパー Conceurrency semantics based on metric domain equations de Bakker, J.W., Rutten, J.J.M.M. National Aeronautics and Space Adminstration	9 テクニカルペーパー The failure of failures: towards a paradigm for asychronous communication de Boer, F.S., Kok, J.N., Palamidessi, C., Rutten, J.J.M.M. National Aeronautics and Space Adminstration
4 テクニカルペーパー From failure to success: comparing a denotational and a declarative semantics for Horn clause logic de Boer, F.S., Kok, J.N., Palamidessi, C., Rutten, J.J.M.M. National Aeronautics and Space Adminstration	10 テクニカルペーパー COMPOUD SETS IN MATHEMATICAL PROGRAMMING MODELING LANGUAGES BISSCHOP, J.J., KUIP, C.A.C. 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 テクニカルペーパー Comarative semantics for a parallel contextual programming laugage Jacquet, J,-M., Monteiro, L. National Aeronautics and Space Adminstration
6 テクニカルペーパー Explicit canonical reprosentatives for weak bisimulation equivalence and congruence Rutten, J.J.M.M. National Aeronautics and Space Adminstration	12 テクニカルペーパー TRANSITION SYSTEMS, INFINITARY LANGUAGES AND THE SEMANTICS OF UNIFORM CONCURRENCY. DEBAKKER, J.W. National Aeronautics and Space Administration

1

2

3

4

5

6

7

8

9

10

11

12