Categories
recording

Composition of Partially Observable Services Exporting their Behaviour