Keynote talk III: A framework for modeling architectures and their properties.

Joseph Sifakis

Browse the full MEMOCODE paper archive.