Blank Cover Image

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
資料種別:
国際会議録

類似資料:

Lamport L.

IOS Press

Lozes, Richard L.

American Chemical Society

Lamport L.

Springer-Verlag

DEBAKKER, J.W.

National Aeronautics and Space Administration

Rossi. F, Montanari. U

Springer-Verlag

Debakker, J.W.

National Aeronautics and Space Administration

Saraswat. V, Jagadeesan. R, Gupta. V

Springer-Verlag

de Bakker, J.W., Warmerdam, J.H.A.

National Aeronautics and Space Adminstration

Shapiro Ehud

Springer-Verlag

Rutten, J.J.M.M.

National Aeronautics and Space Adminstration

Hoare, Tony, Menzel, Galen, Misra, Jayadev

Springer

A.R. Weeks, H.R. Myler, L.D. Cinci

Society of Photo-optical Instrumentation Engineers

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12