CSPsim

swMATH13312MaRDI QIDQ25227FDOQ25227

Author name not available (Why is that?)

Described by source

• A CSP model of Eiffel's SCOOP

Cited In (3)

• Beyond contracts for concurrency
• Cameo: an alternative model of concurrency for Eiffel
• Flexible access control policy for SCOOP

This page was built for software: CSPsim