Linear time, branching time and partial order in logics and models for concurrency :
Material type: TextSeries: Lecture notes in computer science ; 00354Publication details: Berlin ; Springer-Verlag ; 1989Description: 7132ISBN: 354051080XSubject(s): Logic Concurrency ModelsCurrent library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 681 LNCS (Browse shelf (Opens below)) | Available | 47780 |
There are no comments on this title.