Research Catalog
Finite representations of CCS and TCSP programs by automata and Petri nets
- Title
- Finite representations of CCS and TCSP programs by automata and Petri nets / Dirk Taubner.
- Author
- Taubner, Dirk, 1959-
- Publication
- Berlin ; New York : Springer-Verlag, c1989.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSF 95-381 | Offsite |
Details
- Description
- x, 168 p. : ill.; 25 cm.
- Series Statement
- Lecture notes in computer science ; 369
- Subjects
- Bibliography (note)
- Includes bibliographical references (p. [159]-164) and index.
- Call Number
- JSF 95-381
- ISBN
- 0387515259 (U.S.)
- LCCN
- 89021604
- OCLC
- 20170933
- NYPG89-B67421
- Author
- Taubner, Dirk, 1959-
- Title
- Finite representations of CCS and TCSP programs by automata and Petri nets / Dirk Taubner.
- Imprint
- Berlin ; New York : Springer-Verlag, c1989.
- Series
- Lecture notes in computer science ; 369
- Bibliography
- Includes bibliographical references (p. [159]-164) and index.
- Research Call Number
- JSF 95-381