IS-DAAD-Forskerutveksl. Norge-Tyskland
Synthesis and analysis for concurrent programs (Syncopia)
A strong persisting trend in computer and software systems is the
omni-presence of distributed and concurrent systems, as witnessed by
multi-core architectures, networks and multiprocessor systems on chip,
cloud computing, IoT, smartdust, blockchain, etc. The speed at which these
innovations tak...