A Guide to Specifying Concurrent Behaviour with Abacus (1990)

by Oscar Nierstrasz
Citations:9 - 5 self

Document Versions

A Guide to Specifying Concurrent Behaviour with Abacus –Oscar Nierstrasz — 1990