report

Formal Semantics of the PsyC Language

A formal semantic account of the PsyC real-time language, including its logical-time execution model and its relation to synchronous representations.

Fabien Siron, Dumitru Potop-Butucaru, Robert de Simone, Damien Chabrol, Amira Methni