CSPsim

MaRDI QIDQ25227swMATHFDO

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)

• SCOOP
• TCOZ
• 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