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

J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.)

(Lecture notes in computer science, 354)

Springer-Verlag, c1989

  • : gw
  • : us

大学図書館所蔵 件 / 57

この図書・雑誌をさがす

注記

"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

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ