𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Decidability of Branching Bisimulation on Normed Commutative Context-Free Processes

✍ Scribed by Czerwiński, Wojciech; Hofman, Piotr; Lasota, Sławomir


Book ID
121620314
Publisher
Springer
Year
2013
Tongue
English
Weight
977 KB
Volume
55
Category
Article
ISSN
1433-0490

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES