Old Web
English
Sign In
Acemap
>
Paper
>
Abstractions of Distributed Cooperation, their Refinement and Implementation
Abstractions of Distributed Cooperation, their Refinement and Implementation
1998
Reino Kurki-Suonio
Tommi Mikkonen
Keywords:
Concurrent computing
Computer architecture
Software system
Formal specification
Inter-process communication
Abstraction
Software development
Distributed computing
Computer science
Computer-aided software engineering
Formal verification
Design methods
Software engineering
Programming language
Correction
Source
Cite
Save
Machine Reading By IdeaReader
21
References
10
Citations
NaN
KQI
[]