Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency : School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988

>> Google Books

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency : School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988 / edited by Jacobus W. de Bakker, Willem-Paul de Roever, Grzegorz Rozenberg

版:

1st ed. 1989

資料種別:

電子ブック

形態:

X, 718 p.

シリーズ名:

Lecture Notes in Computer Science ; 354

著者名:

ISBN:

9783540461470 [3540461477]
9783662173268 [3662173263]
9783540510802 [354051080X]

書誌ID:

EB00001366

子書誌情報

フルテキスト

所蔵情報

書誌詳細

注記:

This volume is based on the "School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency" organized by the editors and held in the period May 30-June 3, 1988 at Noordwijkerhout, The Netherlands. The School/Workshop was an activity of the project REX - Research and Education in Concurrent Systems. The volume contains tutorials and research contributions to the three approaches - linear time, - branching time, and - partial order in semantics and proof theory of concurrent programs by the main specialists in this field. It promotes an in-depth understanding of the relative merits and disadvantages of these three approaches. An introduction to the recent literature on the subject is provided by the invited research contributions.

主題:

Computer Communication Networks; Control Structures and Microprogramming; Data Science; Operating Systems; Processor Architectures; Programming Techniques

目次情報:

東工大ブックレビュー

類似資料:

1 図書 Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988 (: gw ; : us) Bakker, Jacobus Willem de, 1939-, Roever, W.-P. de, 1943-, Rozenberg, Grzegorz, School/Workshop on Linear Time, … Springer-Verlag	7 図書 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
2 電子ブック PARLE '89 - Parallel Architectures and Languages Europe : Volume II: Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989; Proceedings Odijk, Eddy., Rem, Martin., Syre, Jean-Claude., SpringerLink (Online service)	8 電子ブック Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency Bakker SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
3 電子ブック Current Trends in Concurrency : Overviews and Tutorials Bakker, Jacobus W. De., Roever, Willem-Paul De., Rozenberg, Grzegorz., SpringerLink (Online service)	9 電子ブック Algebraic and Logic Programming : International Workshop, Gaussig, GDR, November 14-18, 1988. Proceedings Grabowski, Jan., Lescanne, Pierre., Wechler, Wolfgang., SpringerLink (Online service)
4 電子ブック Parallel Computing 1988 : Shell Conference, Amsterdam, The Netherlands, June 1/2, 1988; Proceedings Zee, Gerrit A. van., Vorst, Johannes G.G. van de., SpringerLink (Online service)	10 図書 Foundations of object-oriented languages : REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : proceedings (: gw ; : us) REX School/Workshop, Bakker, Jacobus Willem de, 1939-, Roever, W.-P. de, 1943-, Rozenberg, Grzegorz Springer-Verlag
5 電子ブック Advances in Petri Nets 1988 Rozenberg, Grzegorz., SpringerLink (Online service)	11 電子ブック Distributed Algorithms : 2nd International Workshop, Amsterdam, The Netherlands, July 8-10, 1987. Proceedings Leeuwen, Jan van., SpringerLink (Online service)
6 電子ブック PARLE '89 - Parallel Architectures and Languages Europe : Volume I: Parallel Architectures, Eindhoven, The Netherlands, June 12-16, 1989; Proceedings Odijk, Eddy., Rem, Martin., Syre, Jean-Claude., SpringerLink (Online service)	12 電子ブック A Decade of Concurrency Reflections and Perspectives Bakker, Bakker, Jacobus Willem, Roever, W.-P de, Rozenberg, Grzegorz SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12