An Adequate Logic for Heterogeneous Systems.

Marc Aiguier, Boris Golden, Daniel Krob

Browse the full ICECCS paper archive.