SiLVer

swMATH45461MaRDI QIDQ5973464FDOQ5973464

Author name not available (Why is that?)

Cited In (2)

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

This page was built for software: SiLVer