Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series)
Intro to process algebra concepts within theoretical computer science. Includes foundational methods and formal reasoning. Customer insight: neutral/limited feedback
Highlights
- academic series in theory
- formal methods focus
- authoritative author name
Pros
- clear coverage of process algebra basics
- authoritative academic source
- suitable for theoretical CS study
Cons
- limited customer feedback available
- no feature list provided
