ProBE

swMATH16238MaRDI QIDQ28108FDOQ28108

Author name not available (Why is that?)

Cited In (4)

• Enabling synchronous and asynchronous communications in CSP for SOC
• Symbolic Analysis Tools for CSP
• Rigorous development of component-based systems using component metadata and patterns
• Efficient symbolic computation of process expressions

This page was built for software: ProBE