Nets, terms and formulas : three views of concurrent processes and their relationship / E.-R. Olderog.
| Author/creator | Olderog, E.-R. |
| Format | Book |
| Publication Info | Cambridge : Cambridge University Press, 1991. |
| Description | x, 267 pages : illustrations ; 26 cm. |
| Subjects |
| Series | Cambridge tracts in theoretical computer science ; 23 Cambridge tracts in theoretical computer science ; 23. ^A221007 |
| General note | Includes indexes. |
| Bibliography note | Bibliography: p. 241-252. |
| LCCN | gb 91062385 |
| ISBN | 0521400449 : |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.6.O4X 1991 | ✔ Available | Place Hold |