Nets, terms and formulas : three views of concurrent processes and their relationship / E.-R. Olderog.
Author/creator |
Olderog, E.-R. |
Format | Book and Print |
Publication Info | Cambridge : Cambridge University Press, 1991. |
Description | x, 267 pages : illustrations ; 26 cm. |
Subject(s) |
Click here for more information about this title
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 : |
Available Items
Library | Location | Call Number | Status | Item Actions | |
Joyner | General Stacks | QA76.6.O4X 1991 | ✔ Available | Place Hold |