swMATH2443MaRDI QIDQ14983FDOQ14983
Author name not available (Why is that?)
Official website: http://sourceforge.net/projects/scoop/
Cited In (13)
- A CSP model of Eiffel's SCOOP
- Beyond contracts for concurrency
- Cameo: an alternative model of concurrency for Eiffel
- Contracts for concurrency
- Flexible access control policy for SCOOP
- Research on techniques for browsing visualized information based on ZoomingPanning mode
- Composing atomic features
- Numerical and physical comparisons of two models of a gas centrifuge
- A scoop from groups: equational foundations for loops.
- TCOZ
- CSPsim
- SmallEiffel
- Title not available (Why is that?)
This page was built for software: SCOOP
