Gadducci , Term Graph Rewriting for the π-Calculus

ID: 507799cb-722b-428d-ae41-7493970748fe
REVIEW_SCORE: 0.0
MTIME: [2024-12-25 Wed 15:54]

This node is a singleton!