Baeten, J. C. M
Process algebra with timing
- Berlin: Springer, 2002
- xvii, 287 p. : ill. ; 24 cm.
- Monographs in theoretical computer science .
Includes bibliographical references (p. [275]-278) and index.
354043447X hbk
Computer science - Mathematics
Discrete-time systems
System design
Algebra
Algebra - Data processing
Data structures (Computer science)
003.83 / BAE