Conformance, composition and behavioural types

Jakob Rehof, University of Dortmund, Germany

In this talk I will sketch the basic motivations and results of process algebraic conformance theory and its integration in behavioral type systems as developed in the Behave! project. I will then reflect on some of the subsequent developments and attempt to calibrate where we stand today.