A Tree Semantics of an Orchestration Language

A Tree Semantics of an Orchestration Language

著者名:

掲載資料名:

Engineering theories of software intensive systems

シリーズ名:

NATO science series. Series 2, Mathematics, physics and chemistry

シリーズ巻号:

195

発行年:

2005

開始ページ:

331

終了ページ:

352

総ページ数:

22

出版情報:

Dordrecht: Springer

ISBN:

9781402035302 [1402035306]

言語:

英語

請求記号:

N17050/195

資料種別:

国際会議録

詳細

TDL書誌ID:	ZA00014367
シリーズID:	PA00000025
会議名:	NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems
回次:	2004
会議開催地:	Marktoberdorf, Germany
会議開催年:	2004.08.03-2004.08.15

類似資料:

1 国際会議録 Computation Orchestration Misra, Jayadev Springer	7 国際会議録 Jinja: Towards a Comprehensive Formal Semantics for a Java-like Language Nipkow Tobias IOS Press
2 国際会議録 Process Algebra: a Unifying Approach Hoare, Tony Springer	8 国際会議録 Formalizing natural-language spatial relations descriptions with fuzzy decision tree algorithm J. Xu, C. Yao SPIE - The International Society of Optical Engineering
3 国際会議録 Assertions Hoare, Tony IOS Press	9 国際会議録 A Lexicalized Tree Adjoining Grammar for French and its Relevance to Language Teaching Abeille Anne Springer-Verlag
4 国際会議録 An axiomatic semantics of concurrent programming languages Lamport L. Springer-Verlag	10 国際会議録 STRAIN AND DAMAGE IN SILICON DUE TO A DEEP OXYGEN IMPLANTATION Vreeland, Jr., T., Jayadev, T.S. Materials Research Society
5 国際会議録 Algebraic classifications of regular tree languages Steinby Magnus Springer	11 国際会議録 (199h) Genome-Scale Flux Balance Analysis of Tree Metabolism Ashish Misra, Margaret Simons, Matthew Conway, Gary D. Coleman, Ganesh Sriram American Institute of Chemical Engineers
6 国際会議録 (488a) Multiscale Modeling of Motor-Driven Microtubules Tony Ladd, Gaurav Misra, Richard Dickinson American Institute of Chemical Engineers	12 国際会議録 Large Scale Statistics For Computational Verification Of Grain Growth Simulations With Experiments Demirel, Melik C., Kuprat, Andrew P., George, Denise C., Straub, Galen K., Misra, Amit, Alexander, Kathleen, Rollett, … Materials Research Society

1

2

3

4

5

6

7

8

9

10

11

12