An axiomatic semantics of concurrent programming languages
- 著者名:
- Lamport L.
- 掲載資料名:
- Logics and models of concurrent systems
- シリーズ名:
- NATO ASI series. Series F, Computer and systems sciences
- シリーズ巻号:
- 13
- 発行年:
- 1985
- 開始ページ:
- 77
- 終了ページ:
- 122
- 総ページ数:
- 46
- 出版情報:
- Berlin: Springer-Verlag
- ISSN:
- 02581248
- ISBN:
- 9783540151814 [3540151818]
- 言語:
- 英語
- 請求記号:
- N11483/13
- 資料種別:
- 国際会議録
類似資料:
IOS Press |
American Chemical Society |
Springer-Verlag |
National Aeronautics and Space Administration |
Springer-Verlag |
National Aeronautics and Space Administration |
Springer-Verlag |
National Aeronautics and Space Adminstration |
Springer-Verlag |
National Aeronautics and Space Adminstration |
Springer |
Society of Photo-optical Instrumentation Engineers |