A verified transformation: from polychronous programs to a variant of clocked guarded actions.

Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Dianfu Ma

Browse the full SCOPES paper archive.