SCOOP
From MaRDI portal
Software:14983
swMATH2443MaRDI QIDQ14983FDOQ14983
Author name not available (Why is that?)
Cited In (10)
- 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
- Title not available (Why is that?)
This page was built for software: SCOOP
