SiLVer

MaRDI QIDQ5973464swMATHFDO

Official website http://subsell.logic.at/links/links-web/

Cited in

(2)

• A formal approach to open multiparty interactions
• A process algebraic approach to reaction systems

This page was built for software: SiLVer