CSPsim

swMATH13312MaRDI QIDQ25227FDOQ25227

Author name not available (Why is that?)

Official website: https://www.scm.tees.ac.uk/p.j.brooke/cspsim/

Described by source

• A CSP model of Eiffel's SCOOP

Cited In (5)

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

This page was built for software: CSPsim