Linear time, branching time and partial order in logics and models for concurrency

Editor

J. W. de Bakker ¶ W. P. de Roever ¶ G. Rozenberg, eds

Publication

Springer

Publication Year

c 1989

Collation

viii, 713 p.: diagrs

Series

Lecture notes in computer science; v. 354

Bibliography

Includes bibliographies

Subject

Linear time invariant systems , Linear systems

ADDED ENTRIES

Bakker, J. W. de, ed , ^dSeries: Lecture notes in computer science; v. 354

Main Class

003

Sub Class

.74

Cutter no

L754

وارد كنندة اطلاعات

fazel^d//

Link To Document