CCS in nominal logic

From MaRDI portal


MaRDI QIDQ7361356FDO


Authors Jesper Bengtson

Publication date 29 May 2012



Cites work





This page was built for software: CCS in nominal logic

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