Blank Cover Image

DISCRETE EVENT SIMULATION BASED ON COMMUNICATING SEQUENTIAL PROCESSES

著者名:
掲載資料名:
Theoretical foundations of programming methodology : lecture notes of an international summer school, directed by F.L. Bauer, E.W. Dijkstra and C.A.R. Hoare
シリーズ名:
NATO ASI series. Series C, Mathematical and physical sciences
シリーズ巻号:
91
発行年:
1982
開始ページ:
625
終了ページ:
642
総ページ数:
18
出版情報:
Dordrecht, Holland: D. Reidel
ISSN:
02582023
ISBN:
9789027714602 [9027714606]
言語:
英語
請求記号:
N11480/91
資料種別:
国際会議録

類似資料:

1 国際会議録 Notes on Communicating Sequential Processes

Hoare R. A. C.

Springer-Verlag
7 国際会議録 Sequential processing for content-based retrieval of composite objects

Li,C.-S., Smith,J.R., Bergman,L.D., Castelli,V.

SPIE-The International Society for Optical Engineering
2 国際会議録 Algebraic Specifications and Proofs for Communicating Sequential Processes

Hoare C. A. R.

Springer-Verlag
8 国際会議録 Discrete-Event Simulation of a Phosphoric Acid Tank Farm

Roth, Paul F., Stana, Regis R.

American Institute of Chemical Engineers
3 国際会議録 The effects of parallel processing architectures on discrete event simulation

Cave, W., Slatt, E., Wassmer, R. E.

SPIE - The International Society of Optical Engineering
9 国際会議録 Evoi at Marktoberdorf 1996

Hoare R. A. C.

Springer
4 国際会議録 Explorative research of methods for discrete space/time simulation integrated with the event-based approach and agent concept [6421-48]

Zhou, Y., de By, R., Augustijn, E.-W.

SPIE - The International Society of Optical Engineering
10 国際会議録 Unified Theories of Programming

Hoare R. A. C.

Springer
5 国際会議録 Supervisory Control of Discrete Event Processes with Arbitrary Controls

Golaszewski H. C., Ramadge J. P.

Springer-Verlag
11 国際会議録 Notes on an Approach to Category Theory for Computer Scientists

Hoare R. A. C.

Springer-Verlag
6 国際会議録 A Trace Model for Pointers and Objects

Hoare R. C. C., Jifeng H.

IOS Press
12 国際会議録 Algebra and Models

Hoare C. A. R.

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