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 Willem de, Roever, W.-P. de, Rozenberg, Grzegorz, School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988

Web Site CiNii 所蔵館 57館

Bakker, Jacobus Willem de
Roever, W.-P. de
Rozenberg, Grzegorz
School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

書誌事項

タイトル: "Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988"

責任表示: J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.)

出版者

Springer-Verlag

出版年月

c1989

書籍サイズ: 25 cm

シリーズ名/番号

: gw
: us

この図書・雑誌をさがす

国立国会図書館サーチ
カーリル
WorldCat

注記

"Based on the 'School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency' organized by the editors"--Pref.

Includes bibliographical references

Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988

書誌事項

この図書・雑誌をさがす

注記

関連図書・雑誌

詳細情報詳細情報について

書き出し

Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988

書誌事項

この図書・雑誌をさがす

注記

関連図書・雑誌

詳細情報 詳細情報について

書き出し

詳細情報詳細情報について