Finite representations of CCS and TCSP programs by automata and Petri nets

Web Site CiNii Available at 54 libraries

Bibliographic Information

Title
"Finite representations of CCS and TCSP programs by automata and Petri nets"
Statement of Responsibility
Dirk Taubner
Publisher
  • Springer-Verlag
Publication Year
  • c1989
Book size
25 cm
Series Name / No
  • : gw
  • : us

Search this Book/Journal

Notes

Bibliography: p. [159]-164

Includes index

Related Books

See more

Details 詳細情報について

Back to top