Encodability_Process_Calculi

MaRDI QIDQ53717swMATHFDO

Official website https://www.isa-afp.org/entries/Encodability_Process_Calculi.html

Cited in

(1)

• Coupled similarity: the first 32 years

This page was built for software: Encodability_Process_Calculi