✦ LIBER ✦
Symbolic transition graph and its early bisimulation checking algorithms for the π-calculus
✍ Scribed by Zhoujun Li; Huowang Chen; Bingshan Wang
- Publisher
- SP Science China Press
- Year
- 1999
- Tongue
- English
- Weight
- 653 KB
- Volume
- 42
- Category
- Article
- ISSN
- 1006-9321
No coin nor oath required. For personal study only.