DeltaCCS: A Core Calculus for Behavioral Change.

Malte Lochau, Stephan Mennicke, Hauke Baller, Lars Ribbeck

Browse the full ISoLA paper archive.