Reactive Systems over Directed Bigraphs.

Davide Grohmann, Marino Miculan

Browse the full CONCUR paper archive.