A CSP model of Eiffel's SCOOP (Q2461537)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A CSP model of Eiffel's SCOOP |
scientific article |
Statements
A CSP model of Eiffel's SCOOP (English)
0 references
28 November 2007
0 references
Concurrency
0 references
Formal methods
0 references
Programming languages
0 references
Eiffel
0 references
SCOOP
0 references
