CO-OPN/2 Specification of the DSGamma System Designed Using Co-ordinated Atomic Actions
MandatorDepartment of Computing Science, University of Newcastle upon Tyne
Number of pages29
PublisherNewcastle : Department of Computing Science, University of Newcastle upon Tyne
Collection
- Department of Computing Science Technical Report Series
Publication date1998
Abstract
Keywords
- CO-OPN2
- Co-ordinated atomic action
- Design for validation
- Formal development
- Gamma computation
- Java
- Structuring complex concurrent systems
Citation (ISO format)
DI MARZO SERUGENDO, Giovanna et al. CO-OPN/2 Specification of the DSGamma System Designed Using Co-ordinated Atomic Actions. 1998
Main files (1)
Report
Identifiers
- PID : unige:55429
Commercial URLhttp://www.cs.ncl.ac.uk/publications/trs/papers/641.pdf