A Decade of Concurrency: Reflections and Perspectives : Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The Netherlands, June 1 - 4, 1993. Proceedings

>> Google Books

A Decade of Concurrency: Reflections and Perspectives : Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The Netherlands, June 1 - 4, 1993. Proceedings / edited by J.W.de Bakker, W.-P.de Roever, G. Rozenberg

版:

1st ed. 1994

資料種別:

電子ブック

形態:

VIII, 692 p.

シリーズ名:

Lecture Notes in Computer Science ; 803

著者名:

ISBN:

9783540484233 [354048423X]
9783662162989 [3662162989]
9783540580430 [3540580433]

書誌ID:

EB00002929

子書誌情報

フルテキスト

所蔵情報

書誌詳細

注記:

The REX School/Symposium "A Decade of Concurrency - Reflections and Perspectives" was the final event of a ten-year period of cooperation between three Dutch research groups working on the foundations of concurrency. Ever since its inception in 1983, the goal of the project has been to contribute to the cross-fertilization between formal methods from the fields of syntax, semantics, and proof theory, aimed at an improved understanding of the nature of parallel computing. The material presented in this volume was prepared by the lecturers (and their coauthors) after the meeting took place. In total, the volume constitutes a thorough state-of-the-art report of the research activities in concurrency.

主題:

Compilers and Interpreters; Computer System Implementation; Operating Systems; Programming Techniques; Software Engineering; Theory of Computation

目次情報:

東工大ブックレビュー

類似資料:

1 電子ブック Foundations of Object-Oriented Languages : REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990 Bakker, J.W. de., Roever, W.P. de., Rozenberg, G., SpringerLink (Online service)	7 電子ブック Coordination Languages and Models : Third International Conference, COORDINATION'99, Amsterdam, The Netherlands, April 26-28, 1999, Proceedings Ciancarini, Paolo., Wolf, Alexander L., SpringerLink (Online service)
2 電子ブック Semantics: Foundations and Applications : REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings Bakker, J.W.de., Roever, W.-P.de., Rozenberg, G., SpringerLink (Online service)	8 電子ブック Perspectives of System Informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised … Bjørner, Dines., Broy, Manfred., Zamulin, Alexandre., SpringerLink (Online service)
3 電子ブック Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency : School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988 Bakker, Jacobus W. de., Roever, Willem-Paul de., Rozenberg, Grzegorz., SpringerLink (Online service)	9 電子ブック Object-Based Parallel and Distributed Computation : France-Japan Workshop, OBPDC'95, Tokyo, Japan, June 21 - 23, 1995, Selected Papers Briot, Jean-Pierre., Geib, Jean-Marc., Yonezawa, Akinori., SpringerLink (Online service)
4 図書 A decade of concurrency : reflections and perspectives : REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993 : proceedings (: gw ; : us) REX School/Symposium, Bakker, Jacobus Willem de, 1939-, Roever, W.-P. de, 1943-, Rozenberg, Grzegorz Springer-Verlag	10 電子ブック High-Level Parallel Programming Models and Supportive Environments : 6th International Workshop, HIPS 2001 San Francisco, CA, USA, April 23, 2001 Proceedings Mueller, Frank., SpringerLink (Online service)
5 電子ブック Real-Time: Theory in Practice : REX Workshop, Mook, The Netherlands, June 3-7, 1991. Proceedings Bakker, J.W.de., Huizing, C., Roever, W.P.de., Rozenberg, G., SpringerLink (Online service)	11 電子ブック Grid Computing - GRID 2001 : Second International Workshop, Denver, CO, USA, November 12, 2001. Proceedings Lee, Craig A., SpringerLink (Online service)
6 電子ブック Object-Based Models and Languages for Concurrent Systems : ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Bologna, … Ciancarini, Paolo., Nierstrasz, Oscar., Yonezawa, Akinori., SpringerLink (Online service)	12 電子ブック Stepwise Refinement of Distributed Systems : Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings Bakker, Jaco W. de., Roever, Willem-Paul de., Rozenberg, Grzegorz., SpringerLink (Online service)

1

2

3

4

5

6

7

8

9

10

11

12