Encodability_Process_Calculi

From MaRDI portal
Encodability Process Calculi


MaRDI QIDQ53717swMATHFDO


Authors Kirstin Peters, Rob van Glabbeek

Publication date 10 August 2015

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






Cited in
(1)


This page was built for software: Encodability_Process_Calculi

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Encodability_Process_Calculi&oldid=56410197"
Powered by MediaWiki