Handbook of Process Algebra

GPTKB entity